Reliably Secure Software Systems (RS3) –
DFG Priority Programme 1496

B. Finkbeiner and Zimmermann, M., “The First-Order Logic of Hyperproperties”, in Proceedings of the 34th Symposium on Theoretical Aspects of Computer Science (STACS), 2017.