@misc{cryptoeprint:2019:1155,
    author = {José Bacelar Almeida and Cécile Baritel-Ruet and Manuel Barbosa and Gilles Barthe and François Dupressoir and Benjamin Grégoire and Vincent Laporte and Tiago Oliveira and Alley Stoughton and Pierre-Yves Strub},
    title = {Machine-Checked Proofs for Cryptographic Standards},
    howpublished = {Cryptology ePrint Archive, Report 2019/1155},
    year = {2019},
    url = {https://eprint.iacr.org/2019/1155},
}