Search
International Association for Cryptologic Research
What's new
Archive
Best Papers
Videos
Authors
Coauthors
By year
By conference
All Committees
Most Committees
Report errors
Maps
About
Ralf Küsters
Search web for home page
Program Committees
1
2012
Crypto
pc
Publications
year
title
booktitle
pages
1
2010
Accountability: Definition and Relationship to Verifiability
eprint
online
2
2010
Ideal Key Derivation and Encryption in Simulation-based Security
eprint
online
3
2009
Universally Composable Symmetric Encryption
eprint
online
4
2008
Joint State Theorems for Public-Key Encryption and Digital Signature Functionalities with Local Computation
eprint
online
5
2008
On the Relationships between Notions of Simulation-Based Security
jofc
492-546
6
2007
On Simulatability Soundness and Mapping Soundness of Symbolic Cryptography
eprint
online
7
2007
A Cryptographic Model for Branching Time Security Properties -- the Case of Contract Signing Protocols
eprint
online
8
2006
Conditional Reactive Simulatability
eprint
online
9
2006
Simulation-Based Security with Inexhaustible Interactive Turing Machines
eprint
online
10
2006
On the Relationships Between Notions of Simulation-Based Security
eprint
online
11
2006
Computationally Sound Symbolic Secrecy in the Presence of Hash Functions
eprint
online
12
2005
On the Relationships Between Notions of Simulation-Based Security
tcc
online
Coauthors of Ralf Küsters
Michael Backes
Veronique Cortier
Anupam Datta
Markus Duermuth
Dennis Hofheinz
Steve Kremer
John C. Mitchell
Ajith Ramanathan
Tomasz Truderung
Max Tuengerthal
Andreas Vogt
Bogdan Warinschi