swMATH36852MaRDI QIDQ52554FDOQ52554
Author name not available (Why is that?)
Official website: https://dl.acm.org/doi/abs/10.1145/3133956.3134043
Source code repository: https://github.com/project-everest/hacl-star
Cited In (21)
- Deductive synthesis of programs with pointers: techniques, challenges, opportunities (invited paper)
- ProofViz: an interactive visual proof explorer
- Verified cryptographic code for everybody
- 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)
- A Why3 proof of GMP algorithms
- System-level non-interference of constant-time cryptography. II: Verified static analysis and stealth memory
- SPARKSkein
- Unified program generation and verification: a case study on number-theoretic transform
- EasyCrypt
- McBits
- Caper
- Strymonas
- PHP
- F*
- Bedrock
- LLL Factorization
- CacheAudit
- Verified functional programming of an abstract interpreter
- Title not available (Why is that?)
This page was built for software: HACL*
