Polymorphic Directional Types for Logic Programming. - Pawel Rychlikowski; Tomasz Truderung (PPDP, 2001)

Optimal Complexity Bounds for Positive LTL Games. - Jerzy Marcinkowski; Tomasz Truderung (CSL, 2002)

Set Constraints on Regular Terms. - Pawel Rychlikowski; Tomasz Truderung (CSL, 2004)

Regular Protocols and Attacks with Regular Knowledge. - Tomasz Truderung (CADE, 2005)

Selecting Theories and Recursive Protocols. - Tomasz Truderung (CONCUR, 2005)

Infinite State AMC-Model Checking for Cryptographic Protocols. - Detlef Kähler; Ralf Küsters; Tomasz Truderung (LICS, 2007)

On the Automatic Analysis of Recursive Security Protocols with XOR. - Ralf Küsters; Tomasz Truderung (STACS, 2007)

Using ProVerif to Analyze Protocols with Diffie-Hellman Exponentiation. - Ralf Küsters; Tomasz Truderung (CSF, 2009)

An Epistemic Approach to Coercion-Resistance for Electronic Voting Protocols. - Ralf Küsters; Tomasz Truderung (SP, 2009)

Improving and Simplifying a Variant of Prêt à Voter. - Ralf Küsters; Tomasz Truderung; Andreas Vogt 001 (VoteID, 2009)

A Formal Definition of Online Abuse-Freeness. - Ralf Küsters; Henning Schnoor; Tomasz Truderung (SecureComm, 2010)

Accountability: Definition and Relationship to Verifiability. - Ralf Küsters; Tomasz Truderung; Andreas Vogt 001 (IACR Cryptol. ePrint Arch., 2010)

Proving Coercion-Resistance of Scantegrity II. - Ralf Küsters; Tomasz Truderung; Andreas Vogt 001 (IACR Cryptol. ePrint Arch., 2010)

Verifiability, Privacy, and Coercion-Resistance: New Insights from a Case Study. - Ralf Küsters; Tomasz Truderung; Andreas Vogt 001 (IACR Cryptol. ePrint Arch., 2011)

Reducing Protocol Analysis with XOR to the XOR-Free Case in the Horn Theory Based Approach. - Ralf Küsters; Tomasz Truderung (J. Autom. Reason., 2011)

A Framework for the Cryptographic Verification of Java-like Programs. - Ralf Küsters; Tomasz Truderung; Juergen Graf (IACR Cryptol. ePrint Arch., 2012)

Clash Attacks on the Verifiability of E-Voting Systems. - Ralf Küsters; Tomasz Truderung; Andreas Vogt 001 (IACR Cryptol. ePrint Arch., 2012)

A game-based definition of coercion resistance and its applications. - Ralf Küsters; Tomasz Truderung; Andreas Vogt 001 (J. Comput. Secur., 2012)

Extending and Applying a Framework for the Cryptographic Verification of Java Programs. - Ralf Küsters; Enrico Scapin; Tomasz Truderung; Juergen Graf (IACR Cryptol. ePrint Arch., 2014)

Formal Analysis of Chaumian Mix Nets with Randomized Partial Checking. - Ralf Küsters; Tomasz Truderung; Andreas Vogt 001 (IACR Cryptol. ePrint Arch., 2014)

Security in e-voting. - Ralf Küsters; Tomasz Truderung (it Inf. Technol., 2014)

Security Analysis of Re-Encryption RPC Mix Nets. - Ralf Küsters; Tomasz Truderung (IACR Cryptol. ePrint Arch., 2015)

A Hybrid Approach for Proving Noninterference of Java Programs. - Ralf Küsters; Tomasz Truderung; Bernhard Beckert; Daniel Bruns; Michael Kirsten; Martin Mohr (IACR Cryptol. ePrint Arch., 2015)

SoK: Verifiability Notions for E-Voting Protocols. - Véronique Cortier; David Galindo; Ralf Küsters; Johannes Müller 001; Tomasz Truderung (IEEE Symposium on Security and Privacy, 2016)

Verifiability Notions for E-Voting Protocols. - Véronique Cortier; David Galindo; Ralf Küsters; Johannes Müller 001; Tomasz Truderung (IACR Cryptol. ePrint Arch., 2016)

sElect: A Lightweight Verifiable Remote Voting System. - Ralf Küsters; Johannes Müller 001; Enrico Scapin; Tomasz Truderung (IACR Cryptol. ePrint Arch., 2016)

Cast-as-Intended Mechanism with Return Codes Based on PETs. - Achim Brelle; Tomasz Truderung (E-VOTE-ID, 2017)

CAISED: A Protocol for Cast-as-Intended Verifiability with a Second Device. - Johannes Müller 001; Tomasz Truderung (E-Vote-ID, 2023)

A Protocol for Cast-as-Intended Verifiability with a Second Device. - Johannes Müller 001; Tomasz Truderung (CoRR, 2023)

Systematic User Evaluation of a Second Device Based Cast-as-Intended Verifiability Approach. - Tobias Hilt; Benjamin Berens; Tomasz Truderung; Margarita Udovychenko; Stephan Neumann; Melanie Volkamer (FC Workshops, 2024)