A proof-carrying file system (2009)

by Deepak Garg , Frank Pfenning
Citations:19 - 10 self