SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq

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

Carmine Abate, Philipp G. Haselwarter, Exequiel Rivas, Antoine Van Muylder, Théo Winterhalter, Catalin Hritcu, Kenji Maillard, Bas Spitters

Department of Computer Science

Research output: Working paper/Preprint › Preprint

Original language	Undefined/Unknown
Publisher	Cryptology ePrint Archive
Pages	397
Number of pages	1
Publication status	Published - 2021

Access to Document

https://eprint.iacr.org/2021/397

Cite this

@misc{e28dac5a12ee4198976ae23e280d7a68,

title = "SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq",

author = "Carmine Abate and Haselwarter, {Philipp G.} and Exequiel Rivas and Muylder, {Antoine Van} and Th{\'e}o Winterhalter and Catalin Hritcu and Kenji Maillard and Bas Spitters",

year = "2021",

language = "Udefineret/Ukendt",

pages = "397",

publisher = "Cryptology ePrint Archive",

type = "WorkingPaper",

institution = "Cryptology ePrint Archive",

}