Number of items: 4.
Bursztein, Elie and Martin, Matthieu and Mitchell, John C.
(2011)
Text-based CAPTCHA Strengths and Weaknesses.
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.
Backes, Michael and Datta, Anupam and Derek, Ante and Mitchell, John C. and Ramanathan, Ajith and Scedrov, Andre
(2006)
Games and the Impossibility of Realizable Ideal Functionality.
Backes, Michael and Datta, Anupam and Derek, Ante and Mitchell, John C. and Turuani, Mathieu
(2005)
Compositional Analysis of Contract Signing Protocols.
This list was generated on Sun Nov 24 00:09:41 2024 CET.