Number of items: 2.
Conference or Workshop Item (A Paper)
Backes, Michael and Datta, Anupam and Derek, Ante and Mitchell, John C. and Turuani, Mathieu
(2005)
Compositional Analysis of Contract Signing Protocols.
Article
Backes, Michael and Datta, Anupam and Derek, Ante and Mitchell, John C. and Turuani, Mathieu
(2006)
Compositional Analysis of Contract Signing Protocols.
Theoretical Computer Science, 367 (1-2).
pp. 33-56.
This list was generated on Fri Jul 18 07:56:22 2025 CEST.