Machine-Checked Proofs for Cryptographic Standards: Indifferentiability of Sponge and Secure High-Assurance Implementations of SHA-3

Machine-Checked Proofs for Cryptographic Standards: Indifferentiability of Sponge and Secure High-Assurance Implementations of SHA-3. Almeida, J. B., Baritel-Ruet, C., Barbosa, M., Barthe, G., Dupressoir, F., Grégoire, B., Laporte, V., Oliveira, T., Stoughton, A., & Strub, P. 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 1607–1622, 2019. ACM.

Paper doi bibtex 2 downloads

@inproceedings{DBLP:conf/ccs/AlmeidaBBBDGL0S19,
  author = {Jos{\'{e}} Bacelar Almeida and
C{\'{e}}cile Baritel{-}Ruet and Manuel Barbosa and
Gilles Barthe and Fran{\c{c}}ois Dupressoir and
Benjamin Gr{\'{e}}goire and Vincent Laporte and
Tiago Oliveira and Alley Stoughton and
Pierre{-}Yves Strub},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  biburl = {https://dblp.org/rec/conf/ccs/AlmeidaBBBDGL0S19.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.3363211},
  editor = {Lorenzo Cavallaro and Johannes Kinder and
XiaoFeng Wang and Jonathan Katz},
  isbn = {978-1-4503-6747-9},
  pages = {1607--1622},
  publisher = {{ACM}},
  timestamp = {Mon, 29 Mar 2021 01:00:00 +0200},
  title = {Machine-Checked Proofs for Cryptographic Standards:
Indifferentiability of Sponge and Secure
High-Assurance Implementations of {SHA-3}},
  url = {https://doi.org/10.1145/3319535.3363211},
  year = {2019}
}

Downloads: 2