research
∙
08/15/2022
Smart Contract Synthesis Modulo Hyperproperties
Smart contracts are small but highly security-critical programs that imp...
share
research
∙
06/04/2022
Explaining Hyperproperty Violations
Hyperproperties relate multiple computation traces to each other. Model ...
research
∙
03/08/2022
Runtime Enforcement of Hyperproperties
An enforcement mechanism monitors a reactive system for undesired behavi...
research
∙
08/08/2021
Visual Analysis of Hyperproperties for Understanding Model Checking Results
Model checkers provide algorithms for proving that a mathematical model ...
research
∙
05/29/2021
Causality-Based Game Solving
We present a causality-based algorithm for solving two-player reachabili...
research
∙
04/28/2021
A Temporal Logic for Asynchronous Hyperproperties
Hyperproperties are properties of computational systems that require mor...
research
∙
05/15/2020
Verifying Hyperliveness
HyperLTL is an extension of linear-time temporal logic for the specifica...
research
∙
05/12/2020