Overview
· Reasoning about Security and Privacy
Trustworthy
Systems
· Is there a Science of Security and, if so, what might it look like? NSF/IARPA/NSA Workshop on the Science of Security , November 2008.
Foundations
of Privacy
·
Privacy, Compliance and Information Risk in
Complex Organizational Processes, NYU/IBM
Workshop on Managing Data Risk:
Acquisition, Processing, Retention and Governance, April 2009.
· Foundations of Privacy: Contextual Integrity, The Logic of Privacy, and Beyond
o Philosophy Seminar, Keio University, April 2009
o NYU Computer Science Colloquium, February 2009.
o Information Security and Cryptography Seminar, University of Saarlandes and MPI-SWS, February 2009
o Computer Science Seminar, University of Trier, February 2009
· Privacy in Organizations, NSF/Conference Board Workshop on Organizations and Innovation, July 2008.
· On Privacy and Compliance: Philosophy and Law meets Computer Science, Oakland PC Crystal Ball Workshop, IBM T. J. Watson, January 2007. [ 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 ]
Cryptographic
Security Definitions
· 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 ]
Security
Analysis of Network Protocols
· 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 ]
· Security Analysis of Network Protocols [ slides ]
· 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 ]