@misc{cryptoeprint:2021:437,
    author = {Nikolaj Sidorenco and Sabine Oechsner and Bas Spitters},
    title = {Formal security analysis of MPC-in-the-head zero-knowledge protocols},
    howpublished = {Cryptology ePrint Archive, Report 2021/437},
    year = {2021},
    url = {https://eprint.iacr.org/2021/437},
}