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

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

B. Blanchet, A. Chaudhuri

Read Research Paper