A proof-carrying file system (2010)

by Deepak Garg, Frank Pfenning
Venue:In Proceedings of the 31st IEEE Symposium on Security and Privacy (Oakland