SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq.
In: ACM Transactions on Programming Languages & Systems, Jg. 45 (2023-09-01), Heft 3, S. 1-61
Online
academicJournal
Zugriff:
Titel: |
SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq.
|
---|---|
Autor/in / Beteiligte Person: | HASELWARTER, PHILIPP G. ; RIVAS, EXEQUIEL ; VAN MUYLDER, ANTOINE ; WINTERHALTER, THÉO ; ABATE, CARMINE ; SIDORENCO, NIKOLAJ ; HRIŢCU, CĂTĂLIN ; MAILLARD, KENJI ; SPITTERS, BAS |
Link: | |
Zeitschrift: | ACM Transactions on Programming Languages & Systems, Jg. 45 (2023-09-01), Heft 3, S. 1-61 |
Veröffentlichung: | 2023 |
Medientyp: | academicJournal |
ISSN: | 0164-0925 (print) |
DOI: | 10.1145/3594735 |
Sonstiges: |
|