@misc{cryptoeprint:2021:415,
    author = {Marc Schoolderman and Jonathan Moerman and Sjaak Smetsers and Marko van Eekelen},
    title = {Efficient Verification of Optimized Code: Correct High-speed X25519},
    howpublished = {Cryptology ePrint Archive, Report 2021/415},
    year = {2021},
    url = {https://eprint.iacr.org/2021/415},
}