Implementing a Unification Algorithm for Protocol Analysis with XOR - Max Tuengerthal; Ralf Küsters; Mathieu Turuani (CoRR, 2006)

Joint State Theorems for Public-Key Encryption and Digital Signature Functionalities with Local Computation. - Ralf Küsters; Max Tuengerthal (IACR Cryptol. ePrint Arch., 2008)

Universally Composable Symmetric Encryption. - Ralf Küsters; Max Tuengerthal (IACR Cryptol. ePrint Arch., 2009)

Computational Soundness for Key Exchange Protocols with Symmetric Encryption. - Ralf Küsters; Max Tuengerthal (IACR Cryptol. ePrint Arch., 2009)

Ideal Key Derivation and Encryption in Simulation-based Security. - Ralf Küsters; Max Tuengerthal (IACR Cryptol. ePrint Arch., 2010)

Composition Theorems Without Pre-Established Session Identifiers. - Ralf Küsters; Max Tuengerthal (IACR Cryptol. ePrint Arch., 2011)

Modulare Analyse praxisrelevanter Sicherheitsprotokolle in UC-Modellen. - Max Tuengerthal (Ausgezeichnete Informatikdissertationen, 2013)

The IITM Model: a Simple and Expressive Model for Universal Composability. - Ralf Küsters; Max Tuengerthal (IACR Cryptol. ePrint Arch., 2013)

Analysis of real-world security protocols in a universal composability framework. - Max Tuengerthal (Logos-Verlag, 2013)

SAML Privacy-Enhancing Profile. - Moritz Horsch; Max Tuengerthal; Tobias Wich (Open Identity Summit, 2014)

Innovative building blocks for versatile authentication within the skidentity service. - Detlef Hühnlein; Max Tuengerthal; Tobias Wich; Tina Hühnlein; Benedikt Biallowons (Open Identity Summit, 2015)

The IITM Model: A Simple and Expressive Model for Universal Composability. - Ralf Küsters; Max Tuengerthal; Daniel Rausch 001 (J. Cryptol., 2020)

Joint State Composition Theorems for Public-Key Encryption and Digital Signature Functionalities with Local Computation. - Ralf Küsters; Max Tuengerthal; Daniel Rausch 001 (J. Cryptol., 2020)