A proof-carrying file system (2010)

by D Garg, F Pfenning
Venue:in Proc. IEEE Symp. on Security and Privacy