Ralf Küsters

Available identifiers

zbMath Open kusters.ralfMaRDI QIDQ196898

List of research outcomes

Publication	Date of Publication	Type
Fully tally-hiding verifiable E-voting for real-world elections with seat-allocations	2024-06-05	Paper
Embedding the UC model into the IITM model	2022-08-30	Paper
A tutorial-style introduction to \(\mathsf{DY}^{\star}\)	2022-07-13	Paper
Conditional Reactive Simulatability	2022-03-09	Paper
The IITM model: a simple and expressive model for universal composability	2020-11-06	Paper
Joint state composition theorems for public-key encryption and digital signature functionalities with local computation	2020-11-06	Paper
iUC: flexible universal composability made simple	2020-05-11	Paper
Complexity results for security protocols with Diffie-Hellman exponentiation and commuting public key encryption	2017-07-12	Paper
Universal Composition with Responsive Environments	2017-01-06	Paper
Deciding strategy properties of contract-signing protocols	2015-09-17	Paper
Deciding the security of protocols with commuting public key encryption	2013-09-25	Paper
Moderne Kryptographie	2011-08-26	Paper
Reducing protocol analysis with XOR to the XOR-free case in the Horn theory based approach	2011-06-03	Paper
Unification in a Description Logic with Transitive Closure of Roles	2011-05-06	Paper
Ideal Key Derivation and Encryption in Simulation-Based Security	2011-02-11	Paper
https://portal.mardi4nfdi.de/entity/Q3408134	2010-02-24	Paper
FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science	2009-08-06	Paper
On the relationships between notions of simulation-based security	2009-06-08	Paper
On Simulatability Soundness and Mapping Soundness of Symbolic Cryptography	2008-04-24	Paper
Computationally Sound Symbolic Secrecy in the Presence of Hash Functions	2008-04-17	Paper
Transducer-based analysis of cryptographic protocols	2007-12-10	Paper
STACS 2004	2007-10-01	Paper
A Dolev-Yao-Based Definition of Abuse-Free Protocols	2007-09-11	Paper
On the Automatic Analysis of Recursive Security Protocols with XOR	2007-09-03	Paper
Computer Science Logic	2007-06-21	Paper
CONCUR 2005 – Concurrency Theory	2006-11-01	Paper
https://portal.mardi4nfdi.de/entity/Q5477943	2006-06-29	Paper
Structural subsumption and least common subsumers in a description logic with existential and number restrictions	2006-03-17	Paper
Theory of Cryptography	2005-12-07	Paper
STACS 2005	2005-12-02	Paper
An NP decision procedure for protocol insecurity with XOR	2005-06-30	Paper
https://portal.mardi4nfdi.de/entity/Q4415259	2003-07-28	Paper
Memoryless Determinacy of Parity Games	2003-07-16	Paper
https://portal.mardi4nfdi.de/entity/Q4484508	2003-06-12	Paper
https://portal.mardi4nfdi.de/entity/Q4781955	2003-05-12	Paper
https://portal.mardi4nfdi.de/entity/Q4797451	2003-03-13	Paper
Non-standard inferences in description logics	2001-08-20	Paper
Matching in description logics	1999-09-07	Paper

Research outcomes over time

This page was built for person: Ralf Küsters