Jasmin
From MaRDI portal
Cited in
(9)- Practical Formal Methods for Real World Cryptography (Invited Talk)
- EasyCrypt
- Strymonas
- CacheAudit
- HACL*
- System-level non-interference of constant-time cryptography. II: Verified static analysis and stealth memory
- Verified secure compilation for mixed-sensitivity concurrent programs
- Unified program generation and verification: a case study on number-theoretic transform
- G6K
This page was built for software: Jasmin
