Publications

Home
Publications

1 result for Catherine Meadows

Relating cryptography and formal methods: A panel
- - Michael Backes
  - Birgit Pfitzmann
  - et al.
- 2003
- FMSE 2003
Conference paper

Date

Start

End

Featured collections

Popular topics