swMATH44299MaRDI QIDQ5974998FDOQ5974998
Author name not available (Why is that?)
Official website: https://acmccs.github.io/papers/p1807-almeidaA.pdf
Cited In (9)
- Practical Formal Methods for Real World Cryptography (Invited Talk)
- Verified secure compilation for mixed-sensitivity concurrent programs
- System-level non-interference of constant-time cryptography. II: Verified static analysis and stealth memory
- Unified program generation and verification: a case study on number-theoretic transform
- EasyCrypt
- Strymonas
- CacheAudit
- HACL*
- G6K
This page was built for software: Jasmin
