@misc{cryptoeprint:2021:428,
    author = {Peter Schwabe and Benoît Viguier and Timmy Weerwag and Freek Wiedijk},
    title = {A Coq proof of the correctness of X25519 in TweetNaCl},
    howpublished = {Cryptology ePrint Archive, Report 2021/428},
    year = {2021},
    url = {https://eprint.iacr.org/2021/428},
}