Tomasz Truderung

47 papers A* 8A 8B 3C 3Journal 20Unranked 5

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