Reasoning about Security and Privacy

• Computer Science Seminar, UCSD, February 2007.
• Computer Science Seminar, UCSC, January 2007.
• Trust and Security Seminar, UIUC, December 2006.
• Computer Science Colloquium, UCLA, November 2006.
• Cylab Seminar, CMU, September 2006.

On Privacy and Compliance: Philosophy and Law meets Computer Science, Oakland PC Crystal Ball Workshop, IBM T. J. Watson, January 2006. [ slides ]

Privacy, Utility, and Responsibility in Business Processes, Stanford Data Privacy Group, November 2006.

Privacy and Utility in Patient Portals, TRUST Fall Meeting , Pittsburgh, October 2006.

Privacy and Contextual Integrity: Framework and Applications TRUST Winter Meeting , Washington D.C., January 2006. [ slides ]

Games and the Impossibility of Realizable Ideal Functionality, ONR URI: SPYCE Review , Washington D.C., November 2005. [ slides ]

Stanford vs. UC: The Big Game, Advances in Cryptology - CRYPTO'05, August 2005. [ slides ] [ video ]

Unifying Equivalence-Based Definitions of Protocol Security, ACM SIGPLAN and IFIP WG 1.7  4th Workshop on Issues in the Theory of Security, April 2004. [ slides ]

An Update on Network Protocol Security, Stanford Computer Forum Annual Security Workshop, March 2007. [ slides ]

Proving Security of Industrial Network Protocols: Theory and Practice, Oakland PC Crystal Ball Workshop, IBM T. J. Watson, January 2006. [ slides ]

• Computer Science Seminar, CMU, March 2006.
• Computer Science Seminar, Microsoft Research Lab, Cambridge, May 2006.
• Concurrency and Security Seminar, Oxford University, May 2006.
• Computer Science Seminar, IIT Guwahati, June 2006.

Security Analysis of Network Protocols [ slides ]

• Cryptography and Information Security Seminar, MIT, November 2005.
• TACL Seminar, Princeton University, November 2005.
• Computer Security Seminar, University of Pennsylvania, November 2005.
• Computer Security Seminar, UC Berkeley, October 2005.
• Computer Security Seminar, CMU, October 2005.
• Computer Security Seminar, Cornell University, September 2005.

PCL: A Logic for Security Protocols, 18732: Secure Software Systems, CMU, October 2005. [ slides ]

Secure Wireless Networking, DARPA/AFOSR MURI: APPeers Review, MIT, June 2005. [ slides ]

Security Analysis of Network Protocols: Compositional Reasoning and Complexity-theoretic Foundations, ONR URI: SPYCE Review, University of Pennsylvania, May 2005. [ slides ]

Security Analysis of Network Protocols, Stanford Computer Forum Annual Security Workshop, May 2005. [ slides ]

Security Analysis of Network Protocols: Compositional Reasoning and Complexity-theoretic Foundations, PhD Oral, Computer Science Department, Stanford University, May 2005. [ slides ]

Symbolic Logic for Complexity-theoretic Model of Cryptographic Protocols, Theory Group, Computer Science Department, Stanford University, May 2005. [ slides ]

Security Analysis of Network Protocols, Computer Science Colloquium, University of Wisconsin-Madison, April 2005. [ slides ]

Abstraction and Refinement in Protocol Derivation, 17th IEEE Computer Security Foundations Workshop, June 2004. [ slides ]

Formal Derivation of Security Protocols, 4th Annual National Security Agency Conference on High Confidence Software and Systems, April 2004. [ slides ]

Secure Protocol Composition, 1st ACM  Workshop on Formal Methods in Security Engineering, October 2003. [ slides ]

A Derivation System for Security Protocols and its Logical Formalization, 16th IEEE Computer Security Foundations Workshop, June 2003. [ slides ]