research
∙
01/18/2021
Efficient Monitoring of Hyperproperties using Prefix Trees
Hyperproperties, such as non-interference and observational determinism,...
research
∙
05/31/2019
RVHyper: A Runtime Verification Tool for Temporal Hyperproperties
We present RVHyper, a runtime verification tool for hyperproperties. Hyp...
research
∙
05/31/2019
Constraint-Based Monitoring of Hyperproperties
Verifying hyperproperties at runtime is a challenging problem as hyperpr...
research
∙
05/31/2019
Synthesizing Reactive Systems from Hyperproperties
We study the reactive synthesis problem for hyperproperties given as for...
research
∙
07/02/2018