Cryptographically sound theorem proving
- Christoph Sprenger
- David Basin
- et al.
- 2006
- CSF 2006
Publications
Date
Featured collections
Popular topics
30 results for Michael Backes
Backdoor smoothing: Demystifying backdoor attacks on deep neural networks
- Kathrin Grosse
- Taesung Lee
- et al.
- 2022
- Computers and Security
Key-dependent message security under active attacks - BRSIM/UC-soundness of Dolev-Yao-style encryption with key cycles
- Michael Backes
- Birgit Pfitzmann
- et al.
- 2008
- Journal of Computer Security
Limits of the BRSIM/UC soundness of Dolev-Yao-style XOR
- Michael Backes
- Birgit Pfitzmann
- 2007
- Int. J. Inf. Secur.
The reactive simulatability (RSIM) framework for asynchronous systems
- Michael Backes
- Birgit Pfitzmann
- et al.
- 2007
- Information and Computation
Real-or-random Key Secrecy of the Otway-Rees Protocol via a Symbolic Security Proof
- Michael Backes
- 2006
- Electronic Notes in Theoretical Computer Science
Unifying simulatability definitions in cryptographic systems under different timing assumptions
- Michael Backes
- 2005
- Journal of Logic and Algebraic Programming
Symmetric authentication in a simulatable Dolev-Yao-style cryptographic library
- Michael Backes
- Birgit Pfitzmann
- et al.
- 2005
- Int. J. Inf. Secur.
Reactively secure signature schemes
- Michael Backes
- Birgit Pfitzmann
- et al.
- 2005
- Int. J. Inf. Secur.
Polynomial liveness
- Michael Backes
- Birgit Pfitzmann
- et al.
- 2004
- Journal of Computer Security