Publications &
Talks
We research cyber security and teach future’s experts
to ensure secure technology in everyone’s life.
We research cyber security and teach future’s experts
to ensure secure technology in everyone’s life.
Gigerl B., Hadzic V., Primas R., Mangard S., Bloem R.
Proceedings of the 30th USENIX Security Symposium, 30th USENIX Security Symposium
Könighofer B., Bloem R., Tappler M., Rudolf J., Palmisano A.
NASA Formal Methods, 13th NASA Formal Methods Symposium
Vaandrager F., Bloem R., Ebrahimi M.
14th-15th International Conference on Language and Automata Theory and Applications
Bartocci E., Bloem R., Maderbacher B., Manjunath N., Nickovic D.
7th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2021, 7th IFAC Conference on Analysis and Design of Hybrid Systems
Könighofer B., Bloem R., Jansen N., Lorber F.
Leveraging Applications of Formal Methods, Verification and Validation, Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings, 2020 International Symposium on Leveraging Applications of Formal Methods, 290-306, (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12476 LNCS)
Pranger S., Könighofer B., Tappler M., Deixelberger M., Jansen N., Bloem R.
arXiv.org e-Print archive
Maderbacher B., Karl A., Bloem R.
Runtime Verification - 20th International Conference, RV 2020, Proceedings, 20th International Conference, RV 2020, 20th International Conference on Runtime Verification, 241-258, (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12399 LNCS)
Bloem R., Jensen P., Könighofer B., Larsen K., Lorber F., Palmisano A.
arXiv.org e-Print archive
Jansen N., Könighofer B., Junges S., Serban A., Bloem R.
31st International Conference on Concurrency Theory, CONCUR 2020, 31st CONCUR 2020: Vienna, Austria (Virtual Conference), 31st International Conference on Concurrency Theory, 31-316
Avni G., Bloem R., Chatterjee K., Henzinger T., Könighofer B., Pranger S.
Computer Aided Verification (CAV), 31st International Conference on Computer Aided Verification, 630-649, ( Lecture Notes in Computer Science; vol. 11561)
Bharadwaj S., Bloem R., Dimitrova R., Könighofer B., Topcu U.
2019 American Control Conference (ACC), 2019 American Control Conference, 1048-1055
Römer K., Witrisal K., Baunach M., Bloem R., Horn M.
Proceedings of the International Conference on Sensor Networks (SENSORNETS) 2019
Karl A., Schilling R., Bloem R., Mangard S.
Verification, Model Checking, and Abstract Interpretation - 20th International Conference, VMCAI 2019, Proceedings, 2019 International Conference on Verification, Model Checking, and Abstract Interpretation , 183-204, (Lecture Notes in Computer Science; vol. 11388)
Bloem R., Chockler H., Ebrahimi M., Strichman O.
2019 Formal Methods in Computer Aided Design, FMCAD 2019, FMCAD 2019, 147-151
Aichernig B., Bloem R., Ebrahimi M., Horn M., Pernkopf F., Roth W., Rupp A., Tappler M., Tranninger M.
Testing Software and Systems, 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings, IFIP-ICTSS 2019, 3-21, (Lecture Notes in Computer Science; vol. 11812)
Bloem R., Jacobs S., Vizel Y.
Efficient Information-Flow Verification Under Speculative Execution
Bloem R., Fey G., Greif F., Könighofer R., Pill I., Riener H., Röck F.
Formal methods in system design, Vol. 55(2), 103-135
Groß H., Iusupov R., Bloem R.
IACR Transactions on Cryptographic Hardware and Embedded Systems, Vol. 2018(2), 1-21
Lazić M., Konnov I., Widder J., Bloem R.
21st International Conference on Principles of Distributed Systems, OPODIS 2017, 21st International Conference on Principles of Distributed Systems, OPODIS 2017