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

Export 5 results:
Author Title [ Type(Desc)] Year
Filters: Author is Bernd Finkbeiner  [Clear All Filters]
Conference Paper
B. Finkbeiner, Rabe, M., and Sánchez, C., Algorithms for Model Checking HyperLTL and HyperCTL*, in Proceedings of the 27th International Conference on Computer Aided Verification (CAV), 2015.
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, Hahn, C., Stenger, M., and Tentrup, L., Monitoring Hyperproperties, in Proceedings of the 17th International Conference on Runtime Verification (RV), 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.