HACL*
From MaRDI portal
Cited in
(27)- SPARKSkein
- Verified functional programming of an abstract interpreter
- Unified program generation and verification: a case study on number-theoretic transform
- EasyCrypt
- System-level non-interference of constant-time cryptography. II: Verified static analysis and stealth memory
- McBits
- WhyMP, a formally verified arbitrary-precision integer library
- Caper
- Strymonas
- PHP
- F*
- Bedrock
- LLL Factorization
- CacheAudit
- scientific article; zbMATH DE number 7378548 (Why is no real title available?)
- A Why3 proof of GMP algorithms
- WhyMP, a formally verified arbitrary-precision integer library
- XKCP
- WhyMP
- Practical Formal Methods for Real World Cryptography (Invited Talk)
- KeccakTools
- FindFacts
- ProofViz
- Jasmin
- ProofViz: an interactive visual proof explorer
- Deductive synthesis of programs with pointers: techniques, challenges, opportunities (invited paper)
- Verified cryptographic code for everybody
This page was built for software: HACL*
