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
Relating symbolic and cryptographic secrecy
- Michael Backes
- Birgit Pfitzmann
- 2005
- S&P 2005
A composable cryptographic library with nested operations
- Michael Backes
- Birgit Pfitzmann
- et al.
- 2003
- CCS 2003
Intransitive non-interference for cryptographic purposes
- Michael Backes
- Birgit Pfitzmann
- 2003
- S&P 2003
Intransitive non-interference for cryptographic purposes
- M. Backes
- B. Pfitzmann
- 2003
- S&P 2003
Tailoring the Dolev-Yao abstraction to Web Services realities - A comprehensive wish list
- Michael Backes
- Thomas Groß
- 2005
- CCS 2005
Anonymous yet accountable access control
- Michael Backes
- Jan Camenisch
- et al.
- 2005
- CCS 2005
Relating symbolic and cryptographic secrecy
- Michael Backes
- Birgit Pfitzmann
- 2005
- IEEE TDSC
Public-key steganography with active attacks
- Michael Backes
- Christian Cachin
- 2005
- TCC 2005
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