Sign in
Keys to the Cloud: Formal Analysis and Concrete Attacks on Encrypted Web Storage.
Chetan Bansal
Karthikeyan Bhargavan
Antoine Delignat-Lavaud
Sergio Maffeis
Published in:
POST (2013)
Keyphrases
</>
formal analysis
website
cloud computing
cloud storage
web applications
ciphertext
formal methods
semantic web
agent model
knowledge base
file system
case study
data center
data storage
life cycle
software engineering
object oriented
web pages