SSProve - Research - Aarhus University

Aarhus University Seal

For students
For PhDs
For employees
Departments and faculties
AU Library

SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq

Research output: Working paper/Preprint › Preprint

Links

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

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

Department of Computer Science

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

See relations at Aarhus University Citationformats

ID: 227950046