This repository contains the source code of the WebSpi library for the ProVerif protocol verifier. It is intended to be an archive of the artifact of the three papers listed below as the official website is not online anymore.
- Discovering Concrete Attacks on Website Authorization by Formal Analysis, C. Bansal, K. Bhargavan & S. Maffeis. CSF 2012
- Keys to the Cloud: Formal Analysis and Concrete Attacks on Encrypted Web Storage, C. Bansal, K. Bhargavan, A. Delignat-Lavaud & S. Maffeis. POST 2013
- Language-based Defenses Against Untrusted Browser Origins, K. Bhargavan and A. Delignat-Lavaud and S. Maffeis. USENIX Security 2013