Items where Author is "Pfenning, Frank"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 4.

Article

Garg, Deepak and Pfenning, Frank
(2012) Stateful authorization logic - Proof theory and a case study.
Journal of Computer Security, 20 (4). pp. 353-391.

Conference or Workshop Item

Morgenstern, Jamie and Garg, Deepak and Pfenning, Frank
(2011) A Proof-Carrying File System with Revocable and Use-Once Certificates.
In: Security and Trust Management - 7th International Workshop, STM 2011, Copenhagen, Denmark, June 27-28, 2011, Revised Selected Papers.
Conference: None | Not Set

Garg, Deepak and Pfenning, Frank
(2010) A Proof-Carrying File System.
In: 31st IEEE Symposium on Security and Privacy, S&P 2010, 16-19 May 2010, Berleley/Oakland, California, USA.

Garg, Deepak and Pfenning, Frank
(2010) Stateful Authorization Logic: - Proof Theory and a Case Study.
In: Security and Trust Management - 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers.

This list was generated on Tue Jul 23 00:02:55 2019 CEST.