HACL*
From MaRDI portal
Software:52554
No author found.
Source code repository: https://github.com/project-everest/hacl-star
Related Items (11)
ProofViz: an interactive visual proof explorer ⋮ Deductive synthesis of programs with pointers: techniques, challenges, opportunities (invited paper) ⋮ Verified cryptographic code for everybody ⋮ Verified functional programming of an abstract interpreter ⋮ WhyMP, a formally verified arbitrary-precision integer library ⋮ Unified program generation and verification: a case study on number-theoretic transform ⋮ WhyMP, a formally verified arbitrary-precision integer library ⋮ Unnamed Item ⋮ System-level non-interference of constant-time cryptography. II: Verified static analysis and stealth memory ⋮ Practical Formal Methods for Real World Cryptography (Invited Talk) ⋮ Unnamed Item
This page was built for software: HACL*
