Carmine Abate, Philipp G. Haselwarter, Exequiel Rivas, Antoine Van Muylder, Théo Winterhalter, Catalin Hritcu, Kenji Maillard, Bas Spitters. SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq. IACR Cryptology ePrint Archive, 2021:397, 2021. [doi]
No references recorded for this publication.
No citations of this publication recorded.