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

Proc. 29th IEEE Symposium on Security and Privacy, Oakland, USA (S&P 2008), pp. 417-431

Publication date: January 31, 2008

B. Blanchet, A. Chaudhuri