Tomasz Truderung

2009
10	EE	Ralf Küsters, Tomasz Truderung: An Epistemic Approach to Coercion-Resistance for Electronic Voting Protocols CoRR abs/0903.0802: (2009)
2008
9	EE	Ralf Küsters, Tomasz Truderung: Reducing protocol analysis with XOR to the XOR-free case in the horn theory based approach. ACM Conference on Computer and Communications Security 2008: 129-138
8	EE	Ralf Küsters, Tomasz Truderung: Reducing Protocol Analysis with XOR to the XOR-free Case in the Horn Theory Based Approach CoRR abs/0808.0634: (2008)
2007
7	EE	Detlef Kähler, Ralf Küsters, Tomasz Truderung: Infinite State AMC-Model Checking for Cryptographic Protocols. LICS 2007: 181-192
6	EE	Ralf Küsters, Tomasz Truderung: On the Automatic Analysis of Recursive Security Protocols with XOR. STACS 2007: 646-657
2005
5	EE	Tomasz Truderung: Regular Protocols and Attacks with Regular Knowledge. CADE 2005: 377-391
4	EE	Tomasz Truderung: Selecting Theories and Recursive Protocols. CONCUR 2005: 217-232
2004
3	EE	Pawel Rychlikowski, Tomasz Truderung: Set Constraints on Regular Terms. CSL 2004: 458-472
2002
2	EE	Jerzy Marcinkowski, Tomasz Truderung: Optimal Complexity Bounds for Positive LTL Games. CSL 2002: 262-275
2001
1		Pawel Rychlikowski, Tomasz Truderung: Polymorphic Directional Types for Logic Programming. PPDP 2001: 61-72

Coauthor Index

1	Detlef Kähler	[7]
2	Ralf Küsters	[6] [7] [8] [9] [10]
3	Jerzy Marcinkowski	[2]
4	Pawel Rychlikowski	[1] [3]

Colors in the list of coauthors