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.