Publications and Talks

Authenticated Encryption Schemes

Eichlseder M.
Symmetric Cryptography, Volume 1: Design and Security Proofs, ISTE; Wiley, 87-97

Security Aspects of Masking on FPGAs

Gigerl B., Pretterhofer K., Mangard S.
Proceedings of the 2024 IEEE International Symposium on Hardware Oriented Security and Trust, HOST 2024, 2024 IEEE International Symposium on Hardware Oriented Security and Trust

Welcome Remarks from AISoLA 2023/Track C2 Chairs

Jansen N., Könighofer B., Křetínský J., Larsen K.
Bridging the Gap Between AI and Reality - 1st International Conference, AISoLA 2023, Proceedings, 1st International Conference on Bridging the Gap between AI and Reality, 25-32, (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14380 LNCS)

Memory Tagging using Cryptographic Integrity on Commodity x86 CPUs

Schrammel D., Unterguggenberger M., Lamster L., Sultana S., Grewal K., LeMay M., Durham D., Mangard S.
Proceedings - 9th IEEE European Symposium on Security and Privacy, Euro S and P 2024, 9th IEEE European Symposium on Security and Privacy, 311-326

COMPRESS: Generate Small and Fast Masked Pipelined Circuits

Cassiers G., Gigerl B., Mangard S., Momin C., Nagpal R.
IACR Transactions on Cryptographic Hardware and Embedded Systems, Vol. 2024(3)

Voodoo: Memory Tagging, Authenticated Encryption, and Error Correction through MAGIC

Lamster L., Unterguggenberger M., Schrammel D., Mangard S.
Voodoo: Memory Tagging, Authenticated Encryption, and Error Correction through MAGIC, 33rd USENIX Security Symposium: USENIX Security 2024

Exact Soft Analytical Side-Channel Attacks using Tractable Circuits

Wedenig T., Nagpal R., Cassiers G., Mangard S., Peharz R.
Proceedings of Machine Learning Research, Vol. 235, 52472-52483

Continuous Engineering for Trustworthy Learning-Enabled Autonomous Systems

Bensalem S., Katsaros P., Nickovic D., Liao B., Nolasco R., Ahmed M., Beyene T., Cano Cordoba F., Delacourt A., Esen H., Forrai A., He W., Huang X., Kekatos N., Könighofer B., Paulitsch M., Peled D., Ponchant M., Sorokin L., Tong S., Wu C.
Bridging the Gap Between AI and Reality - 1st International Conference, AISoLA 2023, Proceedings, 1st International Conference on Bridging the Gap between AI and Reality, 256-278, (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14380 LNCS)

Tools at the Frontiers of Quantitative Verification

Andriushchenko R., Bork A., Budde C., Češka M., Grover K., Hahn E., Hartmanns A., Israelsen B., Jansen N., Jeppson J., Junges S., Köhl M., Könighofer B., Křetínský J., Meggendorfer T., Parker D., Pranger S., Quatmann T., Ruijters E., Taylor L., Volk M., Weininger M., Zhang Z.
International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems

Test Where Decisions Matter: Importance-driven Testing for Deep Reinforcement Learning

Pranger S., Chockler H., Tappler M., Könighofer B.
Conference on Neural Information Processing Systems (NeurIPS), 38th International Conference On Neural Information Processing Systems, NIPS 2024

Politics in Games - An Overview and Classification

Gutwenger L., Keller S., Dolezal M., Schnogl B., Rous S., Poier K., Pirker J.
2024 IEEE Gaming, Entertainment, and Media Conference, GEM 2024, 2024 IEEE Gaming, Entertainment, and Media Conference

Towards Private Deep Learning-Based Side-Channel Analysis Using Homomorphic Encryption

Schmid F., Mukherjee S., Picek S., Stöttinger M., De Santis F., Rechberger C.
Constructive Side-Channel Analysis and Secure Design - 15th International Workshop, COSADE 2024, Proceedings, 15th International Workshop on Constructive Side-Channel Analysis and Secure Design, 133-154, (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14595 LNCS)

OPRFs from Isogenies

Heimberger L., Hennerbichler T., Meisingseth F., Ramacher S., Rechberger C.
ASIA CCS '24: Proceedings of the 19th ACM Asia Conference on Computer and Communications Security, 19th ACM ASIA Conference on Computer and Communications Security, 575 - 588

Hiding Your Awful Online Choices Made More Efficient and Secure

Mukherjee S., Walch R., Meisingseth F., Lex E., Rechberger C.
ICT Systems Security and Privacy Protection - 39th IFIP International Conference, SEC 2024, Proceedings, 39th IFIP International Conference on ICT Systems Security and Privacy Protection, 353-366, (IFIP Advances in Information and Communication Technology; vol. 710)

Ascon MAC, PRF, and Short-Input PRF

Dobraunig C., Eichlseder M., Mendel F., Schläffer M.
Topics in Cryptology – CT-RSA 2024 - Cryptographers’ Track at the RSA Conference 2024, Proceedings, Springer, 381-403, (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14643 LNCS)

explore Our
Publications