The following pages link to Ralf Küsters (Q196898):
Displaying 10 items.
- Reducing protocol analysis with XOR to the XOR-free case in the Horn theory based approach (Q540685) (← links)
- An NP decision procedure for protocol insecurity with XOR (Q557799) (← links)
- Structural subsumption and least common subsumers in a description logic with existential and number restrictions (Q817690) (← links)
- On the relationships between notions of simulation-based security (Q1021241) (← links)
- The IITM model: a simple and expressive model for universal composability (Q2210435) (← links)
- Joint state composition theorems for public-key encryption and digital signature functionalities with local computation (Q2210436) (← links)
- Transducer-based analysis of cryptographic protocols (Q2464141) (← links)
- STACS 2004 (Q5309716) (← links)
- STACS 2005 (Q5710671) (← links)
- Theory of Cryptography (Q5711659) (← links)
