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

Export 5 results:
Author Title Type [ Year(Asc)]
Filters: Author is Bernd Finkbeiner  [Clear All Filters]
2017
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.
2015
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.
T. Bauereiss, Bichhawat, A., Bolosteanu, I., Faymonville, P., Finkbeiner, B., Garg, D., Gay, R., Grebenshchikov, S., Hammer, C., Hutter, D., Kunčar, O., Lammich, P., Mantel, H., Müller, C., Popescu, A., Rabe, M., Rajani, V., Seidl, H., Tasch, M., and Tentrup, L., “Security in Web-Based Workflows”, Poster at the IEEE Symposium on Security and Privacy (S&P). 2015.