explore Our
Publications
We research cyber security and teach future’s experts
to ensure secure technology in everyone’s life.
Leitold H., Konrad D.
Proceedings of 29th SmartCard Workshop, 219-231
Aichernig B., Bloem R., Ebrahimi M., Horn M., Pernkopf F., Roth W., Rupp A., Tappler M., Tranninger M.
Testing Software and Systems, 31st IFIP International Conference on Testing Software and Systems, 3-21, (Lecture Notes in Computer Science; vol. 11812)
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
Aichernig B., Maderbacher B., Tiran S.
2019 IEEE International Conference on Software Testing, Verification and Validation Workshops, {ICST} Workshops 2019, Xi'an, China, April 22-23, 2019, IEEE Publications, 52-60
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, 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)
Albrecht M., Cid C., Grassi L., Khovratovich D., Lüftenegger R., Rechberger C., Schofnegger M.
Advances in Cryptology - ASIACRYPT 2019, ASIACRYPT 2019, 371-397, (Lecture Notes in Computer Science; vol. 11923)
Tappler M., Aichernig B., Bacci G., Eichlseder M., Larsen K.
Formal Methods - The Next 30 Years , International Symposium on Formal Methods, 651 - 669, (Lecture Notes in Computer Science; vol. 11800)
Eichlseder M., Nageler M., Primas R.
IACR Transactions on Symmetric Cryptology, Vol. 2019(4), 348-368
Hadipour H., Sadeghi S., Niknam M., Bagheri N.
IACR Transactions on Symmetric Cryptology, Vol. 2019(4), 290-317
Gruß D., Hansen D., Gregg B.
;login: , Vol. 43(4), 10-14
Gruß D.
Information Technology
Groß H., Iusupov R., Bloem R.
IACR Transactions on Cryptographic Hardware and Embedded Systems, Vol. 2018(2), 1-21
Lipp M., Schwarz M., Gruß D., Prescher T., Haas W., Fogh A., Horn J., Mangard S., Kocher P., Genkin D., Yarom Y., Hamburg M.
27th USENIX Security Symposium, 27th USENIX Security Symposium, 973-990
Leitold H., Konrad D.
Datenschutz und Datensicherheit, Vol. 42(7), 429-433
More S.
, Master's Thesis
Schwarz M., Gruß D., Lipp M., Maurice C., Schuster T., Fogh A., Mangard S.
AsiaCCS' 18, Proceedings of the 2018 on Asia Conference on Computer and Communications Security , 13th ACM ASIA Conference on Information, Computer and Communications Security, 587-600
Gruß D., Schwarz M., Wübbeling M., Guggi S., Malderle T., More S., Lipp M.
ASIACCS 2018 - Proceedings of the 2018 ACM Asia Conference on Computer and Communications Security, 13th ACM Symposium on Information, Computer and Communications Security, ASIACCS 2018, 297-311
Zefferer T., Ziegler D., Reiter A.
2017 12th International Conference for Internet Technology and Secured Transactions (ICITST), 396-401
Groß H., Mangard S.
Journal of Cryptographic Engineering