Publications

3 results for John C. Mitchell

Position: TRUSTLLM: Trustworthiness in Large Language Models
- - Yue Huang
  - Lichao Sun
  - et al.
- 2024
- ICML 2024
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