@misc{cryptoeprint:2021:397,
    author = {Carmine Abate and Philipp G. Haselwarter and Exequiel Rivas and Antoine Van Muylder and Théo Winterhalter and Catalin Hritcu and Kenji Maillard and Bas Spitters},
    title = {SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq},
    howpublished = {Cryptology ePrint Archive, Report 2021/397},
    year = {2021},
    url = {https://eprint.iacr.org/2021/397},
}