@misc{cryptoeprint:2019:926,
    author = {Gilles Barthe and Sandrine Blazy and Benjamin Grégoire and Rémi Hutin and Vincent Laporte and David Pichardie and Alix Trieu},
    title = {Formal Verification of a Constant-Time Preserving C Compiler},
    howpublished = {Cryptology ePrint Archive, Report 2019/926},
    year = {2019},
    url = {https://eprint.iacr.org/2019/926},
}