A proof-carrying file system (2009)

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