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