Selected Research Talks

• Principal-Centric Reasoning in Constructive Authorization Logic.
  Workshop paper talk. IMLA '08.
  Pittsburgh, PA. June, 2008.


• A Logic for Reasoning About Networked Secure Systems.
  Workshop paper talk. FCS-ARSPA-WITS '08.
  Pittsburgh, PA. June, 2008.


• Logic-Based Authorization.
  Thesis Proposal.
  CMU, June 2008.


• A Modal Deconstruction of Access Control Logics.
  Conference paper talk. FoSSaCS 2008.
  Budapest, Hungary. April, 2008.


• A Proof-Carrying File System.
  CyLab Student Seminar.
  Carnegie Mellon University. February, 2008.


• Distributed access control.
  Two lecture talk in 18-739: Foundations of Security and Privacy.
  CMU, October 2007.
  (Part 1: PDF PS, Part 2: PDF, PS)
  


• Constructive Authorization Logic.
  Talk in 15-819: Languages and Logics for Security.
  CMU, October 2007.


• A Linear Logic of Authorization and Knowledge.
  Invited talk at the Computer Security Seminar, University of Pennsylvania.
  Philadelphia, PA. November, 2006.


• Non-interference in Constructive Authorization Logic.
  Conference paper talk. CSFW 19
  Venice, Italy. July, 2006.


• Focusing in Proof-Search and Concurrent Synchronization.
  Contributed talk at the Logic Programming and Concurrency Workshop
  (Part of Geometry of Interaction 2006, Geocal06).
  Marseille, France. February, 2006.
  (Powerpoint)


• Type-directed Concurrency.
  Conference paper talk. CONCUR 2005
  San Francisco, CA. August, 2005.


• Logical Properties of CPS Transforms.
  Talk for Computation and Deduction (15-851).
  December, 2004.


• Linear integer constraint solving.
  Talk for Type-Refinements Seminar (15-819).
  November 2003.