Bernd Finkbeiner

A Temporal Logic for Strategic Hyperproperties

2021 · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)

Hyperproperties are commonly used in computer security to define information-flow policies and other requirements that reason about the relationship between multiple computations. In this paper, we study a novel class of hyperproperties where the individual …