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 :
Theses
Complete list of metadatas

Cited literature [191 references]  Display  Hide  Download

https://pastel.archives-ouvertes.fr/tel-01618986
Contributor : Abes Star <>
Submitted on : Wednesday, October 18, 2017 - 6:38:08 PM
Last modification on : Friday, May 17, 2019 - 1:03:00 PM
Long-term archiving on : Friday, January 19, 2018 - 2:08:17 PM

File

theseAzraoui.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-01618986, version 1

Citation

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

Share

Metrics

Record views

298

Files downloads

370