@misc{cryptoeprint:2021:326,
    author = {François Dupressoir and Konrad Kohbrok and Sabine Oechsner},
    title = {Bringing State-Separating Proofs to EasyCrypt - A Security Proof for Cryptobox},
    howpublished = {Cryptology ePrint Archive, Report 2021/326},
    year = {2021},
    url = {https://eprint.iacr.org/2021/326},
}