|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7 occurrences of 7 keywords
|
|
|
|
|
Results
Found 25 publication records. Showing 25 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Ralf Küsters, Tomasz Truderung, Andreas Vogt |
Clash Attacks on the Verifiability of E-Voting Systems.  |
IACR Cryptology ePrint Archive  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Ralf Küsters, Tomasz Truderung, Juergen Graf |
A Framework for the Cryptographic Verification of Java-like Programs. |
IACR Cryptology ePrint Archive |
2012 |
DBLP BibTeX RDF |
|
| 1 | Ralf Küsters, Tomasz Truderung, Andreas Vogt |
Verifiability, Privacy, and Coercion-Resistance: New Insights from a Case Study. |
IACR Cryptology ePrint Archive |
2011 |
DBLP BibTeX RDF |
|
| 1 | Ralf Küsters, Tomasz Truderung |
Reducing Protocol Analysis with XOR to the XOR-Free Case in the Horn Theory Based Approach. |
J. Autom. Reasoning |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
privacy, voting, protocol analysis, verifiability, coercion-resistance |
| 1 | Ralf Küsters, Tomasz Truderung, Andreas Vogt |
Proving Coercion-Resistance of Scantegrity II. |
IACR Cryptology ePrint Archive |
2010 |
DBLP BibTeX RDF |
|
| 1 | Ralf Küsters, Tomasz Truderung, Andreas Vogt |
Accountability: Definition and Relationship to Verifiability. |
IACR Cryptology ePrint Archive |
2010 |
DBLP BibTeX RDF |
|
| 1 | Ralf Küsters, Tomasz Truderung, Andreas Vogt |
Proving Coercion-Resistance of Scantegrity II. |
ICICS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralf Küsters, Tomasz Truderung, Andreas Vogt |
A Game-Based Definition of Coercion-Resistance and Its Applications. |
CSF |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralf Küsters, Henning Schnoor, Tomasz Truderung |
A Formal Definition of Online Abuse-Freeness. |
SecureComm |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralf Küsters, Tomasz Truderung, Andreas Vogt |
Accountability: definition and relationship to verifiability. |
ACM Conference on Computer and Communications Security |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralf Küsters, Tomasz Truderung, Andreas Vogt |
A Game-Based Definition of Coercion-Resistance and its Applications. |
IACR Cryptology ePrint Archive |
2009 |
DBLP BibTeX RDF |
|
| 1 | Ralf Küsters, Tomasz Truderung |
An Epistemic Approach to Coercion-Resistance for Electronic Voting Protocols |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Ralf Küsters, Tomasz Truderung |
An Epistemic Approach to Coercion-Resistance for Electronic Voting Protocols. |
IEEE Symposium on Security and Privacy |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralf Küsters, Tomasz Truderung |
Using ProVerif to Analyze Protocols with Diffie-Hellman Exponentiation. |
CSF |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralf Küsters, Tomasz Truderung, Andreas Vogt |
Improving and Simplifying a Variant of Prêt à Voter. |
VOTE-ID |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralf Küsters, Tomasz Truderung |
Reducing Protocol Analysis with XOR to the XOR-free Case in the Horn Theory Based Approach |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
security protocols, algebraic properties |
| 1 | Ralf Küsters, Tomasz Truderung |
On the Automatic Analysis of Recursive Security Protocols with XOR. |
STACS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Detlef Kähler, Ralf Küsters, Tomasz Truderung |
Infinite State AMC-Model Checking for Cryptographic Protocols. |
LICS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomasz Truderung |
Selecting Theories and Recursive Protocols. |
CONCUR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomasz Truderung |
Regular Protocols and Attacks with Regular Knowledge. |
CADE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Pawel Rychlikowski, Tomasz Truderung |
Set Constraints on Regular Terms. |
CSL |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jerzy Marcinkowski, Tomasz Truderung |
Optimal Complexity Bounds for Positive LTL Games. |
CSL |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Pawel Rychlikowski, Tomasz Truderung |
Polymorphic Directional Types for Logic Programming. |
PPDP |
2001 |
DBLP BibTeX RDF |
|
Displaying result #1 - #25 of 25 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")