Position: TRUSTLLM: Trustworthiness in Large Language Models
- Yue Huang
- Lichao Sun
- et al.
- 2024
- ICML 2024
Publications
Date
Featured collections
Popular topics
3 results for John C. Mitchell
Compositional analysis of contract signing protocols
- Michael Backes
- Anupam Datta
- et al.
- 2005
- CSF 2005
Relating cryptography and formal methods: A panel
- Michael Backes
- Birgit Pfitzmann
- et al.
- 2003
- FMSE 2003