- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j2 |      | Ralf Küsters, Tomasz Truderung, Andreas Vogt: A game-based definition of coercion resistance and its applications. Journal of Computer Security 20(6): 709-764 (2012) |
| c18 | | Ralf Küsters, Tomasz Truderung, Juergen Graf: A Framework for the Cryptographic Verification of Java-Like Programs. CSF 2012: 198-212 |
| c17 | | Ralf Küsters, Tomasz Truderung, Andreas Vogt: Clash Attacks on the Verifiability of E-Voting Systems. IEEE Symposium on Security and Privacy 2012: 395-409 |
| i8 | | Ralf Küsters, Tomasz Truderung, Andreas Vogt: Clash Attacks on the Verifiability of E-Voting Systems. IACR Cryptology ePrint Archive 2012: 116 (2012) |
| i7 | | Ralf Küsters, Tomasz Truderung, Juergen Graf: A Framework for the Cryptographic Verification of Java-like Programs. IACR Cryptology ePrint Archive 2012: 153 (2012) |
| 2011 | ||
| j1 | | Ralf Küsters, Tomasz Truderung: Reducing Protocol Analysis with XOR to the XOR-Free Case in the Horn Theory Based Approach. J. Autom. Reasoning 46(3-4): 325-352 (2011) |
| c16 | | 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: 538-553 |
| i6 | | Ralf Küsters, Tomasz Truderung, Andreas Vogt: Verifiability, Privacy, and Coercion-Resistance: New Insights from a Case Study. IACR Cryptology ePrint Archive 2011: 517 (2011) |
| 2010 | ||
| c15 | | Ralf Küsters, Tomasz Truderung, Andreas Vogt: Accountability: definition and relationship to verifiability. ACM Conference on Computer and Communications Security 2010: 526-535 |
| c14 | | Ralf Küsters, Tomasz Truderung, Andreas Vogt: A Game-Based Definition of Coercion-Resistance and Its Applications. CSF 2010: 122-136 |
| c13 | | Ralf Küsters, Tomasz Truderung, Andreas Vogt: Proving Coercion-Resistance of Scantegrity II. ICICS 2010: 281-295 |
| c12 | | Ralf Küsters, Henning Schnoor, Tomasz Truderung: A Formal Definition of Online Abuse-Freeness. SecureComm 2010: 484-497 |
| i5 | | Ralf Küsters, Tomasz Truderung, Andreas Vogt: Accountability: Definition and Relationship to Verifiability. IACR Cryptology ePrint Archive 2010: 236 (2010) |
| i4 | | Ralf Küsters, Tomasz Truderung, Andreas Vogt: Proving Coercion-Resistance of Scantegrity II. IACR Cryptology ePrint Archive 2010: 502 (2010) |
| 2009 | ||
| c11 | | Ralf Küsters, Tomasz Truderung: Using ProVerif to Analyze Protocols with Diffie-Hellman Exponentiation. CSF 2009: 157-171 |
| c10 | | Ralf Küsters, Tomasz Truderung: An Epistemic Approach to Coercion-Resistance for Electronic Voting Protocols. IEEE Symposium on Security and Privacy 2009: 251-266 |
| c9 | | Ralf Küsters, Tomasz Truderung, Andreas Vogt: Improving and Simplifying a Variant of Prêt à Voter. VOTE-ID 2009: 37-53 |
| i3 | | Ralf Küsters, Tomasz Truderung: An Epistemic Approach to Coercion-Resistance for Electronic Voting Protocols. CoRR abs/0903.0802 (2009) |
| i2 | | Ralf Küsters, Tomasz Truderung, Andreas Vogt: A Game-Based Definition of Coercion-Resistance and its Applications. IACR Cryptology ePrint Archive 2009: 582 (2009) |
| 2008 | ||
| c8 | | 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 |
| i1 | | 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 | ||
| c7 | | Detlef Kähler, Ralf Küsters, Tomasz Truderung: Infinite State AMC-Model Checking for Cryptographic Protocols. LICS 2007: 181-192 |
| c6 | | Ralf Küsters, Tomasz Truderung: On the Automatic Analysis of Recursive Security Protocols with XOR. STACS 2007: 646-657 |
| 2005 | ||
| c5 | | |
| c4 | | |
| 2004 | ||
| c3 | | |
| 2002 | ||
| c2 | | Jerzy Marcinkowski, Tomasz Truderung: Optimal Complexity Bounds for Positive LTL Games. CSL 2002: 262-275 |
| 2001 | ||
| c1 |  | Pawel Rychlikowski, Tomasz Truderung: Polymorphic Directional Types for Logic Programming. PPDP 2001: 61-72 |
| 1 | Juergen Graf | |
| 2 | Detlef Kähler | |
| 3 | Ralf Küsters | |
| 4 | Jerzy Marcinkowski | |
| 5 | Pawel Rychlikowski | |
| 6 | Henning Schnoor | |
| 7 | Andreas Vogt 0001 |
Data released under the ODC-BY 1.0 license — See also our legal information page