3 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
Temporal Logics with Language Parameters
Jens Oliver Gutsfeld, Markus Müller-Olm, Christian Dielitz
Computation Tree Logic (CTL) and its extensions CTL* and CTL+ are widely used in automated verification as a basis for common model checking tools. But while they can express many…
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.…