DMCA

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
Citations:23 - 7 self