2 papers
cs.LO2020
Automata and Fixpoints for Asynchronous Hyperproperties
Jens Oliver Gutsfeld, Markus Müller-Olm, Christoph Ohrem
Hyperproperties have received increasing attention in the last decade due to their importance e.g. for security analyses. Past approaches have focussed on synchronous analyses, i.e…
cs.LO2019
Propositional Dynamic Logic for Hyperproperties
Jens Oliver Gutsfeld, Markus Müller-Olm, Christoph Ohrem
Information security properties of reactive systems like non-interference often require relating different executions of the system to each other and following them simultaneously.…