Skip to Main content Skip to Navigation

Verifiability and accountability in the Cloud

Abstract : This thesis proposes more efficient cryptographic protocols that enable cloud users to verify (i) the correct storage of outsourced data and (ii) the correct execution of outsourced computation. We first describe a cryptographic protocol that generates proofs of retrievability, which enable data owners to verify that the cloud correctly stores their data. We then detail three cryptographic schemes for verifiable computation by focusing on three operations frequent in data processing routines, namely polynomial evaluation, matrix multiplication and conjunctive keyword search. The security of our solutions is analyzed in the provable security framework and we also demonstrate their efficiency thanks to prototypes. We also introduce A-PPL, an accountability policy language that allows the expression of accountability obligations into machine-readable format. We expect our contributions to foster cloud adoption by organizations still wary of using this promising paradigm.
Document type :
Complete list of metadata

Cited literature [191 references]  Display  Hide  Download
Contributor : ABES STAR :  Contact
Submitted on : Wednesday, October 18, 2017 - 6:38:08 PM
Last modification on : Friday, July 31, 2020 - 10:44:09 AM
Long-term archiving on: : Friday, January 19, 2018 - 2:08:17 PM


Version validated by the jury (STAR)


  • HAL Id : tel-01618986, version 1


Monir Azraoui. Verifiability and accountability in the Cloud. Web. Télécom ParisTech, 2016. English. ⟨NNT : 2016ENST0032⟩. ⟨tel-01618986⟩



Record views


Files downloads