Publications &
Talks
We research cyber security and teach future’s experts
to ensure secure technology in everyone’s life.
Omolola O., More S., Fasllija E., Wagner G., Alber L.
Open Identity Summit 2019, Proceedings, Open Identity Summit 2019, 157-163, (Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI); vol. P-293)
Wagner G., Wagner S., More S., Hoffmann M.
Open Identity Summit 2019, Proceedings, Open Identity Summit 2019, 49-58, (Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI); vol. P-293)
Gruß D.
Ausgezeichnete Informatikdissertationen 2017, 81-90
Dobraunig C., Mangard S., Mendel F., Primas R.
Selected Areas in Cryptography – SAC 2018, The 33rd ACM/SIGAPP Symposium On Applied Computing, 257-277, (Lecture Notes in Computer Science; vol. 11349)
Weiser S., Werner M., Brasser F., Malenko M., Mangard S., Sadeghi A.
Proceedings 2019 - Network and Distributed System Security Symposium (NDSS)
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)
Werner M., Schilling R., Unterluggauer T., Mangard S.
Design, Automation & Test in Europe Conference - DATE 2019, 2019 Design, Automation & Test in Europe Conference & Exhibition , 1136-1141
Hörandner F., Rabensteiner C.
18th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (IEEE Trustcom-19), 18th IEEE International Conference On Trust, Security And Privacy In Computing And Communications/13th IEEE International Conference On Big Data Science And Engineering, 50-57
Hörandner F., Ramacher S., Roth S.
15th International Conference on Information Systems Security, ICISS 2019, 15th International Conference on Information Systems Security, 175-195, (Lecture Notes in Computer Science; vol. 11952)
Hörandner F., Nieddu F.
15th International Conference on Information Systems Security, ICISS 2019, 15th International Conference on Information Systems Security, 196-217, (Information Systems Security; vol. 11952)
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
Leitold H., Konrad D.
Proceedings of 29th SmartCard Workshop, 219-231
Feichtner J.
Proceedings of the 16th International Joint Conference on e-Business and Telecommunications - Volume 2: SECRYPT, 16th International Conference on Security and Cryptography, 96-108
Feichtner J., Neugebauer L., Ziegler D.
Proceedings of the 16th International Joint Conference on e-Business and Telecommunications - Volume 2: SECRYPT, 16th International Conference on Security and Cryptography, 306-313
Feichtner J., Rabensteiner C.
14th International Conference on Availability, Reliability and Security (ARES 2019), International Conference on Availability, Reliability and Security
Dinur I., Promitzer A., Kales D., Ramacher S., Rechberger C.
Advances in Cryptology – EUROCRYPT 2019 - 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Proceedings, 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Darmstadt, Germany, May 19-23, 2019, Proceedings, Part I, EUROCRYPT 2019, 343-372, (Lecture Notes in Computer Science; vol. 11476)
Albrecht M., Grassi L., Perrin L., Ramacher S., Rechberger C., Rotaru D., Roy A., Schofnegger M.
Computer Security – ESORICS 2019, ESORICS 2019, 151-171, (Lecture Notes in Computer Science; vol. 11736)