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