External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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, Catalin Hritcu, Kenji Maillard, Bas Spitters. SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq. ACM Transactions on Programming Languages and Systems, 45(3), September 2023. [doi]

Authors

Philipp G. Haselwarter

This author has not been identified. Look up 'Philipp G. Haselwarter' in Google

Exequiel Rivas

This author has not been identified. Look up 'Exequiel Rivas' in Google

Antoine Van Muylder

This author has not been identified. Look up 'Antoine Van Muylder' in Google

Théo Winterhalter

This author has not been identified. Look up 'Théo Winterhalter' in Google

Carmine Abate

This author has not been identified. Look up 'Carmine Abate' in Google

Nikolaj Sidorenco

This author has not been identified. Look up 'Nikolaj Sidorenco' in Google

Catalin Hritcu

This author has not been identified. Look up 'Catalin Hritcu' in Google

Kenji Maillard

This author has not been identified. Look up 'Kenji Maillard' in Google

Bas Spitters

This author has not been identified. Look up 'Bas Spitters' in Google
runs on