research
∙
05/29/2023
Second-Order Hyperproperties
We introduce Hyper^2LTL, a temporal logic for the specification of hyper...
share
research
∙
01/26/2023
AutoHyper: Explicit-State Model Checking for HyperLTL
HyperLTL is a temporal logic that can express hyperproperties, i.e., pro...
research
∙
06/07/2022
Software Verification of Hyperproperties Beyond k-Safety
Temporal hyperproperties are system properties that relate multiple exec...
research
∙
06/03/2022
Prophecy Variables for Hyperproperty Verification
Temporal logics for hyperproperties like HyperLTL use trace quantifiers ...
research
∙
05/30/2022
Deciding Hyperproperties Combined with Functional Specifications
We study satisfiability for HyperLTL with a ∀^*∃^* quantifier prefix, kn...
research
∙
04/06/2022
Guaranteed Bounds for Posterior Inference in Universal Probabilistic Programming
We propose a new method to approximate the posterior distribution of pro...
research
∙
03/14/2022
A Logic for Hyperproperties in Multi-Agent Systems
Hyperproperties are commonly used in computer security to define informa...
research
∙
07/06/2021
A Temporal Logic for Strategic Hyperproperties
Hyperproperties are commonly used in computer security to define informa...
research
∙
04/11/2021
On Probabilistic Termination of Functional Programs with Continuous Distributions
We study termination of higher-order probabilistic functional programs w...
research
∙
07/01/2019