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

Export 2 results:
Author Title [ Type(Desc)] Year
Filters: First Letter Of Last Name is Z  [Clear All Filters]
Conference Paper
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.
B. Finkbeiner, Müller, C., Seidl, H., and Zalinescu, E., “Verifying Security Policies in Multi-agent Workflows with Loops”, in Proceedings of the 24th ACM Conference on Computer and Communications Security (CCS), 2017.