Jasmin
From MaRDI portal
Cited in
(9)- G6K
- 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
- Strymonas
- CacheAudit
- Verified secure compilation for mixed-sensitivity concurrent programs
- HACL*
- Practical Formal Methods for Real World Cryptography (Invited Talk)
This page was built for software: Jasmin
