A Machine-Checked Proof of Security for AWS Key Management Service

A Machine-Checked Proof of Security for AWS Key Management Service. Almeida, J. B., Barbosa, M., Barthe, G., Campagna, M., Cohen, E., Grégoire, B., Pereira, V., Portela, B., Strub, P., & Tasiran, S. In Cavallaro, L., Kinder, J., Wang, X., & Katz, J., editors, Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, CCS 2019, London, UK, November 11-15, 2019, pages 63–78, 2019. ACM.

Paper doi bibtex 2 downloads

@inproceedings{DBLP:conf/ccs/AlmeidaBBCCGPPS19,
  author = {Jos{\'{e}} Bacelar Almeida and Manuel Barbosa and
Gilles Barthe and Matthew Campagna and Ernie Cohen and
Benjamin Gr{\'{e}}goire and Vitor Pereira and
Bernardo Portela and Pierre{-}Yves Strub and
Serdar Tasiran},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  biburl = {https://dblp.org/rec/conf/ccs/AlmeidaBBCCGPPS19.bib},
  booktitle = {Proceedings of the 2019 {ACM} {SIGSAC} Conference on
Computer and Communications Security, {CCS} 2019,
London, UK, November 11-15, 2019},
  doi = {10.1145/3319535.3354228},
  editor = {Lorenzo Cavallaro and Johannes Kinder and
XiaoFeng Wang and Jonathan Katz},
  isbn = {978-1-4503-6747-9},
  pages = {63--78},
  publisher = {{ACM}},
  timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
  title = {A Machine-Checked Proof of Security for {AWS} Key
Management Service},
  url = {https://doi.org/10.1145/3319535.3354228},
  year = {2019}
}

Downloads: 2