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

Bruno Blanchet, Avik Chaudhuri

Browse the full SP paper archive.