Concepedia

Max Tuengerthal

MT

Statistics

Publications

6

Citations

217

H-Index

6

Active since

2008

Affiliations

Universität Trier(Current)

Max Tuengerthal is an author at Universität Trier specializing in data security, formal methods, and formal verification.

Top concepts

EngineeringCryptographyData SecurityFormal MethodsComputer ScienceFormal VerificationData PrivacyVerificationInformation SecurityHardware Security

Publications per year

2008–2020

6

Publications

6

Composition theorems without pre-established session identifiers

Ralf Küsters, Max Tuengerthal · 2011 · 43 citations

Cryptographic Primitive, Engineering, Such Sids +21

The IITM Model: A Simple and Expressive Model for Universal Composability

Ralf Küsters, Max Tuengerthal, Daniel Rausch · Journal of Cryptology · 2020 · 43 citations · Full text

Engineering, Information Security, Verification +25

The IITM model : a simple and expressive model for universal composability

Ralf Küsters, Max Tuengerthal · IACR Cryptology ePrint Archive · 2020 · 42 citations · Full text

Joint State Theorems for Public-Key Encryption and Digital Signature Functionalities with Local Computation

Ralf Küsters, Max Tuengerthal · 2008 · 35 citations

Cryptographic Primitive, Engineering, Verification +20

Universally Composable Symmetric Encryption

Ralf Küsters, Max Tuengerthal · 2009 · 29 citations

Ideal Functionalities, Cryptographic Primitive, Engineering +17

1–5 of 6