Talks

Reasoning about the Consequences of Authorization Policies in a Linear Epistemic Logic
Workshop paper talk. FCS '09.
Los Angeles, CA. August 2009.
Reasoning about the Consequences of Authorization Policies in a Linear Epistemic Logic
Manifest Security Meeting.
Carnegie Mellon University. May 2009.
An Authorization Logic With Explicit Time
Conference Paper Talk. CSF '08.
Pittsburgh, PA. June 2008.