@misc{cryptoeprint:2020:1104,
    author = {Gilles Barthe and Sunjay Cauligi and Benjamin Gregoire and Adrien Koutsos and Kevin Liao and Tiago Oliveira and Swarn Priya and Tamara Rezk and Peter Schwabe},
    title = {High-Assurance Cryptography Software in the Spectre Era},
    howpublished = {Cryptology ePrint Archive, Report 2020/1104},
    year = {2020},
    url = {https://eprint.iacr.org/2020/1104},
}