Ralf Küsters

Available identifiers

zbMath Open kusters.ralfMaRDI QIDQ196898

List of research outcomes

Publication	Date of Publication	Type
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
https://portal.mardi4nfdi.de/entity/Q2848035	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Ralf Küsters