Tomasz Truderung

Publication Activity (10 Years)

Years Active: 2001-2023
Publications (10 Years): 8

Top Topics

Mutual Authentication

Formal Analysis

Top Venues

IACR Cryptol. ePrint Arch.

IEEE Symposium on Security and Privacy

Publications

Johannes Müller, Tomasz Truderung
A Protocol for Cast-as-Intended Verifiability with a Second Device. CoRR (2023)
Achim Brelle, Tomasz Truderung
Cast-as-Intended Mechanism with Return Codes Based on PETs. CoRR (2017)
Achim Brelle, Tomasz Truderung
Cast-as-Intended Mechanism with Return Codes Based on PETs. E-VOTE-ID (2017)
Ralf Küsters, Johannes Müller, Enrico Scapin, Tomasz Truderung
sElect: A Lightweight Verifiable Remote Voting System. CSF (2016)
Ralf Küsters, Johannes Müller, Enrico Scapin, Tomasz Truderung
sElect: A Lightweight Verifiable Remote Voting System. IACR Cryptol. ePrint Arch. 2016 (2016)
Véronique Cortier, David Galindo, Ralf Küsters, Johannes Müller, Tomasz Truderung
SoK: Verifiability Notions for E-Voting Protocols. IEEE Symposium on Security and Privacy (2016)
Véronique Cortier, David Galindo, Ralf Küsters, Johannes Müller, Tomasz Truderung
Verifiability Notions for E-Voting Protocols. IACR Cryptol. ePrint Arch. 2016 (2016)
Ralf Küsters, Tomasz Truderung
Security Analysis of Re-Encryption RPC Mix Nets. EuroS&P (2016)
Ralf Küsters, Tomasz Truderung, Bernhard Beckert, Daniel Bruns, Michael Kirsten, Martin Mohr
A Hybrid Approach for Proving Noninterference of Java Programs. IACR Cryptol. ePrint Arch. 2015 (2015)
Ralf Küsters, Tomasz Truderung
Security Analysis of Re-Encryption RPC Mix Nets. IACR Cryptol. ePrint Arch. 2015 (2015)
Ralf Küsters, Tomasz Truderung, Bernhard Beckert, Daniel Bruns, Michael Kirsten, Martin Mohr
A Hybrid Approach for Proving Noninterference of Java Programs. CSF (2015)
Ralf Küsters, Tomasz Truderung, Andreas Vogt
Formal Analysis of Chaumian Mix Nets with Randomized Partial Checking. IEEE Symposium on Security and Privacy (2014)
Ralf Küsters, Tomasz Truderung, Andreas Vogt
Formal Analysis of Chaumian Mix Nets with Randomized Partial Checking. IACR Cryptol. ePrint Arch. 2014 (2014)
Ralf Küsters, Enrico Scapin, Tomasz Truderung, Juergen Graf
Extending and Applying a Framework for the Cryptographic Verification of Java Programs. IACR Cryptol. ePrint Arch. 2014 (2014)
Ralf Küsters, Enrico Scapin, Tomasz Truderung, Juergen Graf
Extending and Applying a Framework for the Cryptographic Verification of Java Programs. POST (2014)
Ralf Küsters, Tomasz Truderung
Security in e-voting. it Inf. Technol. 56 (6) (2014)
Ralf Küsters, Tomasz Truderung, Juergen Graf
A Framework for the Cryptographic Verification of Java-Like Programs. CSF (2012)
Ralf Küsters, Tomasz Truderung, Andreas Vogt
Clash Attacks on the Verifiability of E-Voting Systems. IACR Cryptol. ePrint Arch. 2012 (2012)
Ralf Küsters, Tomasz Truderung, Andreas Vogt
A game-based definition of coercion resistance and its applications. J. Comput. Secur. 20 (6) (2012)
Ralf Küsters, Tomasz Truderung, Andreas Vogt
Clash Attacks on the Verifiability of E-Voting Systems. IEEE Symposium on Security and Privacy (2012)
Ralf Küsters, Tomasz Truderung, Juergen Graf
A Framework for the Cryptographic Verification of Java-like Programs. IACR Cryptol. ePrint Arch. 2012 (2012)
Ralf Küsters, Tomasz Truderung, Andreas Vogt
Verifiability, Privacy, and Coercion-Resistance: New Insights from a Case Study. IACR Cryptol. ePrint Arch. 2011 (2011)
Ralf Küsters, Tomasz Truderung, Andreas Vogt
Verifiability, Privacy, and Coercion-Resistance: New Insights from a Case Study. IEEE Symposium on Security and Privacy (2011)
Ralf Küsters, Tomasz Truderung
Reducing Protocol Analysis with XOR to the XOR-Free Case in the Horn Theory Based Approach. J. Autom. Reason. 46 (3-4) (2011)
Ralf Küsters, Tomasz Truderung, Andreas Vogt
Accountability: definition and relationship to verifiability. CCS (2010)
Ralf Küsters, Tomasz Truderung, Andreas Vogt
Proving Coercion-Resistance of Scantegrity II. IACR Cryptol. ePrint Arch. 2010 (2010)
Ralf Küsters, Tomasz Truderung, Andreas Vogt
Accountability: Definition and Relationship to Verifiability. IACR Cryptol. ePrint Arch. 2010 (2010)
Ralf Küsters, Tomasz Truderung, Andreas Vogt
A Game-Based Definition of Coercion-Resistance and Its Applications. CSF (2010)
Ralf Küsters, Tomasz Truderung, Andreas Vogt
Proving Coercion-Resistance of Scantegrity II. ICICS (2010)
Ralf Küsters, Henning Schnoor, Tomasz Truderung
A Formal Definition of Online Abuse-Freeness. SecureComm (2010)
Ralf Küsters, Tomasz Truderung
Using ProVerif to Analyze Protocols with Diffie-Hellman Exponentiation. CSF (2009)
Ralf Küsters, Tomasz Truderung
An Epistemic Approach to Coercion-Resistance for Electronic Voting Protocols. IEEE Symposium on Security and Privacy (2009)
Ralf Küsters, Tomasz Truderung, Andreas Vogt
Improving and Simplifying a Variant of Prêt à Voter. VoteID (2009)
Ralf Küsters, Tomasz Truderung
An Epistemic Approach to Coercion-Resistance for Electronic Voting Protocols CoRR (2009)
Ralf Küsters, Tomasz Truderung, Andreas Vogt
A Game-Based Definition of Coercion-Resistance and its Applications. IACR Cryptol. ePrint Arch. 2009 (2009)
Ralf Küsters, Tomasz Truderung
Reducing Protocol Analysis with XOR to the XOR-free Case in the Horn Theory Based Approach CoRR (2008)
Ralf Küsters, Tomasz Truderung
Reducing protocol analysis with XOR to the XOR-free case in the horn theory based approach. CCS (2008)
Detlef Kähler, Ralf Küsters, Tomasz Truderung
Infinite State AMC-Model Checking for Cryptographic Protocols. LICS (2007)
Ralf Küsters, Tomasz Truderung
On the Automatic Analysis of Recursive Security Protocols with XOR. STACS (2007)
Tomasz Truderung
Regular Protocols and Attacks with Regular Knowledge. CADE (2005)
Tomasz Truderung
Selecting Theories and Recursive Protocols. CONCUR (2005)
Pawel Rychlikowski, Tomasz Truderung
Set Constraints on Regular Terms. CSL (2004)
Jerzy Marcinkowski, Tomasz Truderung
Optimal Complexity Bounds for Positive LTL Games. CSL (2002)
Pawel Rychlikowski, Tomasz Truderung
Polymorphic Directional Types for Logic Programming. PPDP (2001)