Automated Formal Analysis of a Protocol for Secure File Sharing on Untrusted Storage. (2008)

by Bruno Blanchet, Avik Chaudhuri
Venue:In S&P’08: 29th IEEE Symposium on Security and Privacy,