| 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, Max Tuengerthal |
Composition Theorems Without Pre-Established Session Identifiers. |
IACR Cryptology ePrint Archive |
2011 |
DBLP BibTeX RDF |
|
| 1 | Alexander Borgida, Ralf Küsters |
What's in an Attribute? Consequences for the Least Common Subsumer |
CoRR |
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 | Hubert Comon-Lundh, Ralf Küsters, Catherine Meadows |
Security and Rewriting (Dagstuhl Seminar 11332). |
Dagstuhl Reports |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralf Küsters, Thomas Wilke |
Moderne Kryptographie - Eine Einführung. |
|
2011 |
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, Max Tuengerthal |
Ideal Key Derivation and Encryption in Simulation-Based Security. |
CT-RSA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralf Küsters, Max Tuengerthal |
Composition theorems without pre-established session identifiers. |
ACM Conference on Computer and Communications Security |
2011 |
DBLP DOI BibTeX RDF |
|
| 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, Max Tuengerthal |
Ideal Key Derivation and Encryption in Simulation-based Security. |
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 | Detlef Kähler, Ralf Küsters, Thomas Wilke |
Deciding strategy properties of contract-signing protocols. |
ACM Trans. Comput. Log. |
2010 |
DBLP DOI 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, Max Tuengerthal |
Computational Soundness for Key Exchange Protocols with Symmetric Encryption. |
IACR Cryptology ePrint Archive |
2009 |
DBLP BibTeX RDF |
|
| 1 | Ralf Küsters, Max Tuengerthal |
Universally Composable Symmetric Encryption. |
IACR Cryptology ePrint Archive |
2009 |
DBLP 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, Max Tuengerthal |
Universally Composable Symmetric Encryption. |
CSF |
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, Max Tuengerthal |
Computational soundness for key exchange protocols with symmetric encryption. |
ACM Conference on Computer and Communications Security |
2009 |
DBLP DOI BibTeX RDF |
simulation-based security, cryptographic protocols, computational soundness |
| 1 | Michael Backes, Markus Dürmuth, Dennis Hofheinz, Ralf Küsters |
Conditional reactive simulatability. |
Int. J. Inf. Sec. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierpaolo Degano, Ralf Küsters, Luca Viganò, Steve Zdancewic |
Joint workshop on foundations of computer security and automated reasoning for security protocol analysis (FCS-ARSPA '06). |
Inf. Comput. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralf Küsters, Max Tuengerthal |
Joint State Theorems for Public-Key Encryption and Digital Signature Functionalities with Local Computation. |
IACR Cryptology ePrint Archive |
2008 |
DBLP BibTeX RDF |
|
| 1 | Ralf Küsters, Anupam Datta, John C. Mitchell, Ajith Ramanathan |
On the Relationships between Notions of Simulation-Based Security. |
J. Cryptology |
2008 |
DBLP DOI BibTeX RDF |
Simulation-based security, Reactive Simulatability, Black-Box Simulatability, Universal Composability, Process calculus |
| 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 | Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani |
Complexity results for security protocols with Diffie-Hellman exponentiation and commuting public key encryption. |
ACM Trans. Comput. Log. |
2008 |
DBLP DOI BibTeX RDF |
Diffie-Hellman exponentiation, Dolev-Yao model, complexity, protocols, Algebraic properties |
| 1 | Ralf Küsters, Max Tuengerthal |
Joint State Theorems for Public-Key Encryption and Digital Signature Functionalities with Local Computation. |
CSF |
2008 |
DBLP DOI BibTeX RDF |
simulation-based security, joint state, secure composition, cryptographic protocols |
| 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, Thomas Wilke |
Transducer-based analysis of cryptographic protocols. |
Inf. Comput. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Véronique Cortier, Ralf Küsters, Bogdan Warinschi |
A Cryptographic Model for Branching Time Security Properties - the Case of Contract Signing Protocols. |
IACR Cryptology ePrint Archive |
2007 |
DBLP BibTeX RDF |
|
| 1 | Michael Backes, Markus Dürmuth, Ralf Küsters |
On Simulatability Soundness and Mapping Soundness of Symbolic Cryptography. |
IACR Cryptology ePrint Archive |
2007 |
DBLP BibTeX RDF |
|
| 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 | Michael Backes, Markus Dürmuth, Ralf Küsters |
On Simulatability Soundness and Mapping Soundness of Symbolic Cryptography. |
FSTTCS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaas Ole Kürtz, Ralf Küsters, Thomas Wilke |
Selecting theories and nonce generation for recursive protocols. |
FMSE |
2007 |
DBLP DOI BibTeX RDF |
security protocols, decidability, automatic analysis |
| 1 | Véronique Cortier, Ralf Küsters, Bogdan Warinschi |
A Cryptographic Model for Branching Time Security Properties - The Case of Contract Signing Protocols. |
ESORICS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Anupam Datta, Ralf Küsters, John C. Mitchell, Ajith Ramanathan |
On the Relationships Between Notions of Simulation-Based Security. |
IACR Cryptology ePrint Archive |
2006 |
DBLP BibTeX RDF |
|
| 1 | Michael Backes, Markus Dürmuth, Dennis Hofheinz, Ralf Küsters |
Conditional Reactive Simulatability. |
IACR Cryptology ePrint Archive |
2006 |
DBLP BibTeX RDF |
|
| 1 | Ralf Küsters |
Simulation-Based Security with Inexhaustible Interactive Turing Machines. |
IACR Cryptology ePrint Archive |
2006 |
DBLP BibTeX RDF |
|
| 1 | Véronique Cortier, Steve Kremer, Ralf Küsters, Bogdan Warinschi |
Computationally Sound Symbolic Secrecy in the Presence of Hash Functions. |
IACR Cryptology ePrint Archive |
2006 |
DBLP BibTeX RDF |
|
| 1 | Max Tuengerthal, Ralf Küsters, Mathieu Turuani |
Implementing a Unification Algorithm for Protocol Analysis with XOR |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Detlef Kähler, Ralf Küsters, Thomas Wilke |
A Dolev-Yao-Based Definition of Abuse-Free Protocols. |
ICALP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralf Küsters |
Simulation-Based Security with Inexhaustible Interactive Turing Machines. |
CSFW |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Véronique Cortier, Steve Kremer, Ralf Küsters, Bogdan Warinschi |
Computationally Sound Symbolic Secrecy in the Presence of Hash Functions. |
FSTTCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Backes, Markus Dürmuth, Dennis Hofheinz, Ralf Küsters |
Conditional Reactive Simulatability. |
ESORICS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralf Küsters |
On the decidability of cryptographic protocols with open-ended data structures. |
Int. J. Inf. Sec. |
2005 |
DBLP DOI BibTeX RDF |
Complexity, Cryptographic protocols, Decidability, Transducers |
| 1 | Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani |
An NP decision procedure for protocol insecurity with XOR. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralf Küsters, Ralf Molitor |
Structural Subsumption and Least Common Subsumers in a Description Logic with Existential and Number Restrictions. |
Studia Logica |
2005 |
DBLP DOI BibTeX RDF |
least common subsumer, complexity, description logics |
| 1 | Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani |
Deciding the Security of Protocols with Commuting Public Key Encryption. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Detlef Kähler, Ralf Küsters |
Constraint Solving for Contract-Signing Protocols. |
CONCUR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Detlef Kähler, Ralf Küsters, Thomas Wilke |
Deciding Properties of Contract-Signing Protocols. |
STACS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Anupam Datta, Ralf Küsters, John C. Mitchell, Ajith Ramanathan |
On the Relationships Between Notions of Simulation-Based Security. |
TCC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Vijay Atluri, Pierangela Samarati, Ralf Küsters, John C. Mitchell (eds.) |
Proceedings of the 2005 ACM workshop on Formal methods in security engineering, FMSE 2005, Fairfax, VA, USA, November 11, 2005 |
FMSE |
2005 |
DBLP BibTeX RDF |
|
| 1 | Ralf Küsters, Thomas Wilke |
Automata-Based Analysis of Recursive Cryptographic Protocols. |
STACS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Brandt, Anni-Yasmin Turhan, Ralf Küsters |
Extensions of Non-standard Inferences to Descriptions Logics with Transitive Roles. |
LPAR |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Ralf Küsters, Frank Wolter |
Extensions to Description Logics. |
Description Logic Handbook |
2003 |
DBLP BibTeX RDF |
|
| 1 | Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani |
An NP Decision Procedure for Protocol Insecurity with XOR. |
LICS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani, Laurent Vigneron |
Extending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions. |
CSL |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani |
Deciding the Security of Protocols with Diffie-Hellman Exponentiation and Products in Exponents. |
FSTTCS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralf Küsters, Ralf Molitor |
Approximating most specific concepts in description logics with existential restrictions. |
AI Commun. |
2002 |
DBLP BibTeX RDF |
|
| 1 | Ralf Küsters |
On the Decidability of Cryptographic Protocols with Open-Ended Data Structures. |
CONCUR |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Brandt, Ralf Küsters, Anni-Yasmin Turhan |
Approximation and Difference in Description Logics. |
KR |
2002 |
DBLP BibTeX RDF |
|
| 1 | Ralf Küsters, Thomas Wilke |
Deciding the First Level of the µ-Calculus Alternation Hierarchy. |
FSTTCS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralf Küsters, Alexander Borgida |
What's in an Attribute? Consequences for the Least Common Subsumer. |
J. Artif. Intell. Res. (JAIR) |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralf Küsters |
Non-Standard Inferences in Description Logics |
|
2001 |
DOI RDF |
|
| 1 | Ralf Küsters, Ralf Molitor |
Computing Least Common Subsumers in ALEN. |
IJCAI |
2001 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader, Sebastian Brandt, Ralf Küsters |
Matching under Side Conditions in Description Logics. |
IJCAI |
2001 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader, Ralf Küsters |
Unification in a Description Logic with Transitive Closure of Roles. |
LPAR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Ralf Küsters |
Unification in a Description Logic with Transitive Closure of Roles. |
Description Logics |
2001 |
DBLP BibTeX RDF |
|
| 1 | Ralf Küsters |
Memoryless Determinacy of Parity Games. |
Automata, Logics, and Infinite Games |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralf Küsters, Ralf Molitor |
Approximating Most Specific Concepts in Description Logics with Existential Restrictions. |
KI/ÖGAI |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Borgida, Ralf Küsters |
What's not in a name: Some Properties of a Purely Structural Approach to Integrating Large DL Knowledge Bases. |
Description Logics |
2000 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader, Ralf Küsters |
Matching Concept Descriptions with Existential Restrictions. |
KR |
2000 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader, Ralf Küsters, Ralf Molitor |
Rewriting Concepts Using Terminologies. |
KR |
2000 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader, Ralf Küsters, Alexander Borgida, Deborah L. McGuinness |
Matching in Description Logics. |
J. Log. Comput. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Ralf Küsters, Ralf Molitor |
Computing Least Common Subsumers in Description Logics with Existential Restrictions. |
IJCAI |
1999 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader, Ralf Küsters |
Matching in Description Logics with Existential Restrictions. |
Description Logics |
1999 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader, Ralf Küsters, Ralf Molitor |
Structural Subsumption Considered from an Automata-Theoretic Point of View. |
Description Logics |
1998 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader, Ralf Küsters |
Least Common Subsumer Computation w.r.t. cyclic ALN-Terminologies. |
Description Logics |
1998 |
DBLP BibTeX RDF |
|
| 1 | Ralf Küsters |
Characterizing the Semantics of Terminological Cycles in ALN Using Finite Automata. |
KR |
1998 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader, Ralf Küsters |
Computing the Least Common Subsumer and the Most Specific Concept in the Presence of Cyclic ALN-Concept Descriptions. |
KI |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralf Küsters |
Characterizing the semantics of terminological cycles with the help of finite automata. |
Description Logics |
1997 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")