@misc{cryptoeprint:2020:823,
    author = {Jacqueline Brendel and Cas Cremers and Dennis Jackson and Mang Zhao},
    title = {The Provable Security of Ed25519: Theory and Practice},
    howpublished = {Cryptology ePrint Archive, Report 2020/823},
    year = {2020},
    url = {https://eprint.iacr.org/2020/823},
}