SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

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

Journal title: IEEE 34th Computer Security Foundations Symposium (CSF)

Journal publisher: IEEE Computer Society

Published year: 2021

DOI identifier: 10.1109/csf51468.2021.00048

ISSN: 2374-8303