Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

78

Voted

SP
2010
IEEE

164views Security Privacy» more SP 2010»

A Proof-Carrying File System

15 years 6 months ago

A Proof-Carrying File System

Download www.cs.cmu.edu

Deepak Garg, Frank Pfenning

Real-time Traffic

Security Privacy | SP 2010 |

claim paper

Related Content

» A Proof Carrying Code Framework for Inlined Reference Monitors in Java Bytecode

» By Reason and Authority A System for Authorization of ProofCarrying Code

» PCAL Language Support for ProofCarrying Authorization Systems

» A Syntactic Approach to Foundational ProofCarrying Code

» A Gradual Approach to a More Trustworthy Yet Scalable ProofCarrying Code

» ProofCarrying Code

» Prototyping Proof Carrying Code

» ProofCarrying Data and Hearsay Arguments from Signature Cards

» ProofCarrying Authentication

Post Info
More Details (n/a)

Added	16 Aug 2010
Updated	16 Aug 2010
Type	Conference
Year	2010
Where	SP
Authors	Deepak Garg, Frank Pfenning

Comments (0)