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

Institut for Datalogi

Publikation: Working paper/Preprint › Preprint

Originalsprog	Udefineret/Ukendt
Udgiver	Cryptology ePrint Archive
Sider	397
Antal sider	1
Status	Udgivet - 2021

Adgang til dokumentet

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

Citationsformater

@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",

}