Publications
Filter by
Open menu
1 result for
Mathieu Turuani
Compositional analysis of contract signing protocols
Michael Backes
Anupam Datta
et al.
2005
CSF 2005