2 citations · 3 across the 7 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.LO2026
Logics for Context-free Hyperproperties
Dietrich Kuske, Sarah Winter, Martin Zimmermann
We introduce a novel logic for the specification of context-free hyperproperties, which capture, e.g., the flow of information in security-critical recursive systems. Intuitively,…
cs.LO2026
The Complexity of Asynchronous HyperLTL
Gaëtan Regaud, Martin Zimmermann
Hyperproperties express, e.g., information-flow properties of systems, which involves the simultaneous reasoning about multiple execution traces of a system. Consequently, HyperLTL…