Selected Talks
Formal Methods in contract signing
Logic and computation seminar
IST, Lisboa
Formal analysis of multi-party contract signing
17th IEEE Computer Security Foundations Workshop
June 30, 2004, Pacific Grove, California, USA
Access control types for agents
MYTHS/MIKADO/DART Meeting
June 14, 2004, Venice, Italy
Formal analysis of multi-party contract signing
Microsoft Research, February 19, 2004, Cambridge
Contract signing, optimism and advantage: impossibility of balance
Graduate Student Colloquium
Department of Informatics, University of Sussex, November 19, 2003,
Falmer
A formal analysis of exchange of digital signatures
Graduate Student Colloquium
Department of Mathematics, University of Pennsylvania, November 20, 2002, Philadelphia
Contract signing, advantage and abuse-freeness
Penn Seminar in Computer Security
University of Pennsylvania, October 29, 2002, Philadelphia
Advantage and abuse-freeness in contract signing
Talk at Special Session on Security
Eighteenth Workshop on the Mathematical Foundations of Programming Semantics (MFPS 18)
Tulane University, March 24, 2002, New Orleans
Inductive methods and contract-signing
protocols
Proceedings of 8-th ACM confererence on Computer and
Communications Security(CCS-8)
November 7, 2001, Philadelphia, Pennsylvania