Keys to the Cloud: Formal Analysis and Concrete Attacks on Encrypted Web Storage (bibtex)
by Chetan Bansal, Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Sergio Maffeis
Reference:
Keys to the Cloud: Formal Analysis and Concrete Attacks on Encrypted Web Storage (Chetan Bansal, Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Sergio Maffeis), In 2nd Conference on Principles of Security and Trust (POST 2013) (David Basin, John Mitchell, eds.), Springer Verlag, 2013.
Bibtex Entry:
@string{lncs="Lecture Notes on Computer Science"}
@string{spv="Springer Verlag"}
@InProceedings{Bhargavan13,
  author = 	 {Chetan Bansal and Karthikeyan Bhargavan and Antoine Delignat-Lavaud and Sergio Maffeis},
  title = 	 {Keys to the Cloud: Formal Analysis and Concrete Attacks on Encrypted Web Storage},
  booktitle = {2nd Conference on Principles of Security and Trust (POST 2013)},
  OPTpages = 	 {},
  year = 	 {2013},
  editor = 	 {David Basin and John Mitchell},
  OPTvolume = 	 {},
  series = 	 lncs,
  address = 	 {Rome, Italy},
  month = 	 mar,
  publisher = spv,
  url="pubs/keys-to-the-cloud-post13.pdf",
  pdf="pubs/keys-to-the-cloud-post13.pdf",
}