The following pages link to HACL* (Q52554):
Displaying 11 items.
- ProofViz: an interactive visual proof explorer (Q832103) (← links)
- Deductive synthesis of programs with pointers: techniques, challenges, opportunities (invited paper) (Q832157) (← links)
- Verified cryptographic code for everybody (Q832216) (← links)
- Verified functional programming of an abstract interpreter (Q2145322) (← links)
- Unified program generation and verification: a case study on number-theoretic transform (Q2163165) (← links)
- System-level non-interference of constant-time cryptography. II: Verified static analysis and stealth memory (Q2228439) (← links)
- WhyMP, a formally verified arbitrary-precision integer library (Q2673999) (← links)
- (Q5009416) (← links)
- A Why3 proof of GMP algorithms (Q5130751) (← links)
- WhyMP, a formally verified arbitrary-precision integer library (Q5145995) (← links)
- Practical Formal Methods for Real World Cryptography (Invited Talk) (Q5875633) (← links)
