Position: TRUSTLLM: Trustworthiness in Large Language Models
- Yue Huang
- Lichao Sun
- et al.
- 2024
- ICML 2024
Publications
Date
Featured collections
Popular topics
31 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
Key-dependent message security under active attacks - BRSIM/UC-soundness of symbolic encryption with key cycles -
- Michael Backes
- Birgit Pfitzmann
- et al.
- 2007
- CSF 2007
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
Cryptographically sound theorem proving
- Christoph Sprenger
- David Basin
- et al.
- 2006
- CSF 2006
Real-or-random Key Secrecy of the Otway-Rees Protocol via a Symbolic Security Proof
- Michael Backes
- 2006
- Electronic Notes in Theoretical Computer Science
A cryptographically sound Dolev-Yao style security proof of an electronic payment system
- Michael Backes
- Markus Dürmuth
- 2005
- CSF 2005
Compositional analysis of contract signing protocols
- Michael Backes
- Anupam Datta
- et al.
- 2005
- CSF 2005