Fingeraftryk
Dyk ned i forskningsemnerne om 'SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq'. Sammen danner de et unikt fingeraftryk.- Sorter
- Vægt
- Alfabetisk
SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq
Philipp G. Haselwarter, Exequiel Rivas, Antoine Van Muylder, Théo Winterhalter, Carmine Abate, Nikolaj Sidorenco, Cǎtǎlin Hriţcu, Kenji Maillard, Bas Spitters
Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review
4
Citationer
(Scopus)