research
∙
05/17/2023
Automatic and Incremental Repair for Speculative Information Leaks
We present CureSpec, the first model-checking based framework for automa...
share
research
∙
04/25/2023
Hyperproperty Verification as CHC Satisfiability
Hyperproperties govern the behavior of a system or systems across multip...
research
∙
07/01/2021
Verifying Verified Code
A recent case study from AWS by Chong et al. proposes an effective metho...
research
∙
06/01/2021
Quantifiers on Demand
Automated program verification is a difficult problem. It is undecidable...
research
∙
06/04/2019
Interpolating Strong Induction
The principle of strong induction, also known as k-induction is one of t...
research
∙
05/19/2019
Property Directed Self Composition
We address the problem of verifying k-safety properties: properties that...
research
∙
01/03/2018