Tomasz Truderung

Accountability

Ralf Küsters, Tomasz Truderung, A. Vogt · 2010 · 155 citations

Engineering, Information Security, Verification +16

Using ProVerif to Analyze Protocols with Diffie-Hellman Exponentiation

Ralf Küsters, Tomasz Truderung · 2009 · 103 citations

Horn Theories, Cryptographic Primitive, Engineering +16

Clash Attacks on the Verifiability of E-Voting Systems

Ralf Küsters, Tomasz Truderung, A. Vogt · 2012 · 100 citations

Engineering, Information Security, Verification +16

SoK: Verifiability Notions for E-Voting Protocols

Véronique Cortier, David Galindo, Ralf Küsters et al. · 2016 · 87 citations · Full text

Secure Multi-party Computation, Engineering, Verifiability Notions +14

Verifiability, Privacy, and Coercion-Resistance: New Insights from a Case Study

Ralf Küsters, Tomasz Truderung, A. Vogt · 2011 · 72 citations

Privacy Protection, Engineering, Information Security +26