Publications
Filter by
Open menu
1 result for
Catherine Meadows
Relating cryptography and formal methods: A panel
Michael Backes
Birgit Pfitzmann
et al.
2003
FMSE 2003