Research Talks

 

  1. Privacy Preserving Release of Public/Semi-Public Data, Invited Panelist, CCC/CMU/ITIF Privacy R&D Workshop, March 2013.
  2. Naturally Rehearsing Passwords, Theory Seminar, Microsoft Research Silicon Valley, March 2013.
  3. Audit Games, Invited Talk, DIMACS Workshop on Economics of Information Sharing, February 2013.
  4. Differentially Private Data Analysis of Social Networks via Restricted Sensitivity, Invited Talk, DIMACS Workshop on Differential Privacy across Computer Science, October 2012.
  5. Formalizing and Enforcing Purpose Restrictions in Privacy Policies, TRUST Conference, November 2012.
  6. Privacy, Audit and Accountability, Invited Talk, IFIP World Computer Congress, June 2012.
  7. Privacy, Audit and Accountability, Information Trust Institute Seminar, UIUC, May 2012.
  8. Privacy, Audit and Accountability, Microsoft Research Redmond, April 2012.
  9. Privacy, Audit and Accountability, Decentralized Information Group Seminar, MIT, April 2012.
  10. Privacy, Audit and Accountability, Center for Research in Computation and Society Seminar, Harvard University, April 2012.
  11. Formalizing and Enforcing Privacy: Semantics and Audit, Invited talk, Workshop on Computer Aided Security, Verimag Laboratory, Grenoble, January 2012.
  12. Understanding and Protecting Privacy: Formal Semantics and Principled Audit Mechanisms, Keynote Lecture, 7th International Conference on Information Systems Security, December 2011.
  13. Policy Auditing over Incomplete Logs, Stanford Software Seminar, November 2011.
  14. Principled Audit Mechanisms for Privacy Protection, TRUST External Advisory Board, November 2011.
  15. Principled Audit Mechanisms for Privacy Protection, CyLab Corporate Partners Conference, September 2011.
  16. Foundations of Privacy, Invited Tutorial, Summer School on Security and Privacy, Microsoft Research and Indian Institute of Science, June 2011.
  17. Privacy Protection via Computer-Assisted Audits, Symantec Research, May 2011.
  18. Privacy Protection via Computer-Assisted Audits, UC Berkeley, April 2011. 
  19. Privacy Protection via Computer-Assisted Audits, IBM T. J. Watson Research Center, April 2011. 
  20. Programming Language Methods for Compositional Security, Invited Tutorial, Oregon Programming Languages Summer School, June 2010.
  21. Compositional System Security in the Presence of Interface-Confined Adversaries, Invited Talk, 26th Annual Conference on Mathematical Foundations of Programming Semantics, May 2010.
  22. Toward Semantic Security Properties of Software, Invited Panelist, Panel on Rigorous Security Analysis of Software at IEEE Computer Security Foundations Symposium, July 2009.
  23. Protocol Composition Logic: Computational Semantics and Inductive Proofs, Computational and Symbolic Proofs of Security Workshop, April 2009.
  24. Privacy, Compliance and Information Risk in Complex Organizational Processes, NYU/IBM Workshop on Managing Data Risk: Acquisition, Processing, Retention and Governance, April 2009.
  25. Foundations of Privacy: Contextual Integrity, The Logic of Privacy and Beyond, Philosophy Seminar, Keio University, April 2009.
  26. Foundations of Privacy: Contextual Integrity, The Logic of Privacy and Beyond, NYU Computer Science Colloquium, February 2009.
  27. Foundations of Privacy: Contextual Integrity, The Logic of Privacy and Beyond, Information Security and Cryptography Seminar, University of Saarlandes and MPI-SWS, February 2009.
  28. Foundations of Privacy: Contextual Integrity, The Logic of Privacy and Beyond, Computer Science Seminar, University of Trier, February 2009.
  29. Is there a Science of Security, and if so, what might it look like? Invited Panelist, Panel at the NSF/IARPA/NSA Workshop on the Science of Security, November 2008.
  30. Privacy in Organizations, NSF/Conference Board Workshop on Organizations and Innovation, July 2008.
  31. PCL: A Logic for Network Security Protocols, Computer Science Seminar, University of Toronto, June 2007.
  32. PCL: A Logic for Network Security Protocols, MITACS Digital Security Seminar, Carleton University , May 2007.
  33. An Update on Network Protocol Security, Stanford Computer Forum Annual Security Workshop, March 2007.
  34. Reasoning about Security and Privacy, Computer Science Seminar, UCSD, February 2007.
  35. Reasoning about Security and Privacy, Computer Science Seminar, UCSC, January 2007.
  36. On Privacy and Compliance: Philosophy and Law meets Computer Science, Oakland PC Crystal Ball Workshop, IBM T. J. Watson, January 2007.
  37. Reasoning about Security and Privacy, Trust and Security Seminar, UIUC, December 2006.
  38. Reasoning about Security and Privacy, Computer Science Colloquium, UCLA, November 2006.
  39. Privacy, Utility, and Responsibility in Business Processes, Stanford Data Privacy Group, November 2006.
  40. Privacy and Utility in Patient Portals, TRUST Fall Meeting , Pittsburgh, October 2006.
  41. Reasoning about Security and Privacy, Cylab Seminar, CMU, September 2006.
  42. PCL: A Logic for Network Security Protocols, Computer Science Seminar, IIT Guwahati, June 2006.
  43. PCL: A Logic for Network Security Protocols, Computer Science Seminar, Microsoft Research Lab, Cambridge, May 2006.
  44. PCL: A Logic for Network Security Protocols, Concurrency and Security Seminar, Oxford University, May 2006.
  45. PCL: A Logic for Network Security Protocols, Computer Science Seminar, CMU, February 2006.
  46. Privacy and Contextual Integrity: Framework and Applications TRUST Winter Meeting , Washington D.C., January 2006.
  47. Games and the Impossibility of Realizable Ideal Functionality, ONR URI: SPYCE Review , Washington D.C., November 2005.
  48. Security Analysis of Network Protocols, Cryptography and Information Security Seminar, MIT, November 2005.
  49. Security Analysis of Network Protocols, TACL Seminar, Princeton University, November 2005.
  50. Security Analysis of Network Protocols, Computer Security Seminar, University of Pennsylvania, November 2005.
  51. Security Analysis of Network Protocols, Computer Security Seminar, UC Berkeley, October 2005.
  52. Security Analysis of Network Protocols, Computer Security Seminar, CMU, October 2005.
  53. PCL: A Logic for Security Protocols, Invited lecture, 18732: Secure Software Systems, CMU, October 2005.
  54. Security Analysis of Network Protocols, Computer Security Seminar, Cornell University, September 2005.
  55. Stanford vs. UC: The Big Game, Advances in Cryptology - CRYPTO'05, August 2005.
  56. Secure Wireless Networking, DARPA/AFOSR MURI: APPeers Review, MIT, June 2005.
  57. Security Analysis of Network Protocols: Compositional Reasoning and Complexity-theoretic Foundations, ONR URI: SPYCE Review, University of Pennsylvania, May 2005.
  58. Security Analysis of Network Protocols, Stanford Computer Forum Annual Security Workshop, May 2005.
  59. Symbolic Logic for Complexity-theoretic Model of Cryptographic Protocols, Theory Group, Computer Science Department, Stanford University, May 2005.
  60. Security Analysis of Network Protocols, Computer Science Colloquium, University of Wisconsin-Madison, April 2005.
  61. Abstraction and Refinement in Protocol Derivation, 17th IEEE Computer Security Foundations Workshop, June 2004.
  62. Formal Derivation of Security Protocols, 4th Annual National Security Agency Conference on High Confidence Software and Systems, April 2004.
  63. Secure Protocol Composition, 1st ACM Workshop on Formal Methods in Security Engineering, October 2003.
  64. A Derivation System for Security Protocols and its Logical Formalization, 16th IEEE Computer Security Foundations Workshop, June 2003.