Formal security analysis of MPC-in-the-head zero-knowledge protocols. - Nikolaj Sidorenco; Sabine Oechsner; Bas Spitters (IACR Cryptol. ePrint Arch., 2021)

SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq. - Philipp G. Haselwarter; Exequiel Rivas; Antoine Van Muylder; Théo Winterhalter; Carmine Abate; Nikolaj Sidorenco; Catalin Hritcu; Kenji Maillard; Bas Spitters (ACM Trans. Program. Lang. Syst., 2023)