research
∙
06/27/2023
DrNLA: Extending Verification to Non-linear Programs through Dual Re-writing
For many decades, advances in static verification have focused on linear...
share
research
∙
01/13/2023
The Commutativity Quotients of Concurrent Objects
Concurrent objects form the foundation of many applications that exploit...
research
∙
03/11/2022
Veracity: Declarative Multicore Programming with Commutativity
There is an ongoing effort to provide programming abstractions that ease...
research
∙
02/09/2022
An algebra of alignment for relational verification
Relational verification encompasses information flow security, regressio...
research
∙
11/04/2021
Source-Level Bitwise Branching for Temporal Verification
There is increasing interest in applying verification tools to programs ...
research
∙
06/04/2021
Constraint-based Relational Verification
In recent years they have been numerous works that aim to automate relat...
research
∙
05/11/2021
Proving LTL Properties of Bitvector Programs and Decompiled Binaries (Extended)
There is increasing interest in applying verification tools to programs ...
research
∙
04/07/2021
Towards Optimal Use of Exception Handling Information for Function Detection
Function entry detection is critical for security of binary code. Conven...
research
∙
10/12/2020
DynamiTe: Dynamic Termination and Non-termination Proofs
There is growing interest in termination reasoning for non-linear progra...
research
∙
07/28/2020
SoK: All You Ever Wanted to Know About x86/x64 Binary Disassembly But Were Afraid to Ask
Disassembly of binary code is hard, but necessary for improving the secu...
research
∙
07/07/2020
Program Verification via Predicate Constraint Satisfiability Modulo Theories
This paper presents a verification framework based on a new class of pre...
research
∙
04/17/2020
Reducing Commutativity Verification to Reachability with Differencing Abstractions
Commutativity of data structure methods is of ongoing interest, with roo...
research
∙
03/18/2019
Specification and Inference of Trace Refinement Relations
Modern software is constantly changing. Researchers and practitioners ar...
research
∙
02/23/2018