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

by Bruno Blanchet, Avik Chaudhuri
Venue: IEEE SYMPOSIUM ON SECURITY AND PRIVACY