Adobe Research
People
Research
Publications
News
Careers
Programs
Videos
About
Search
Publications
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
Learn More