Keys to the Cloud: Formal Analysis and Concrete Attacks on Encrypted Web Storage - Bansal, C; Bhargavan, K; Delignat-Lavaud, A; Maffeis, S (2013)