| 2024 | FC | 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 |
| 2016 | SP | SoK: Verifiability Notions for E-Voting Protocols. | Vronique Cortier, David Galindo, Ralf Ksters, Johannes Mller, Tomasz Truderung |
| 2014 | SP | Formal Analysis of Chaumian Mix Nets with Randomized Partial Checking. | Ralf Ksters, Tomasz Truderung, Andreas Vogt |
| 2012 | SP | Clash Attacks on the Verifiability of E-Voting Systems. | Ralf Ksters, Tomasz Truderung, Andreas Vogt |
| 2011 | SP | Verifiability, Privacy, and Coercion-Resistance: New Insights from a Case Study. | Ralf Ksters, Tomasz Truderung, Andreas Vogt |
| 2010 | CCS | Accountability: definition and relationship to verifiability. | Ralf Ksters, Tomasz Truderung, Andreas Vogt |
| 2010 | ICICS | Proving Coercion-Resistance of Scantegrity II. | Ralf Ksters, Tomasz Truderung, Andreas Vogt |
| 2010 | SecureComm | A Formal Definition of Online Abuse-Freeness. | Ralf Ksters, Henning Schnoor, Tomasz Truderung |
| 2009 | SP | An Epistemic Approach to Coercion-Resistance for Electronic Voting Protocols. | Ralf Ksters, Tomasz Truderung |
| 2008 | CCS | Reducing protocol analysis with XOR to the XOR-free case in the horn theory based approach. | Ralf Ksters, Tomasz Truderung |
| 2007 | LICS | Infinite State AMC-Model Checking for Cryptographic Protocols. | Detlef Khler, Ralf Ksters, Tomasz Truderung |
| 2007 | STACS | On the Automatic Analysis of Recursive Security Protocols with XOR. | Ralf Ksters, Tomasz Truderung |
| 2005 | CADE | Regular Protocols and Attacks with Regular Knowledge. | Tomasz Truderung |
| 2005 | CONCUR | Selecting Theories and Recursive Protocols. | Tomasz Truderung |
| 2004 | CSL | Set Constraints on Regular Terms. | Pawel Rychlikowski, Tomasz Truderung |
| 2002 | CSL | Optimal Complexity Bounds for Positive LTL Games. | Jerzy Marcinkowski, Tomasz Truderung |
| 2001 | PPDP | Polymorphic Directional Types for Logic Programming. | Pawel Rychlikowski, Tomasz Truderung |