Jasmin
From MaRDI portal
Software:5974998
No author found.
Related Items (4)
Unified program generation and verification: a case study on number-theoretic transform ⋮ System-level non-interference of constant-time cryptography. II: Verified static analysis and stealth memory ⋮ Practical Formal Methods for Real World Cryptography (Invited Talk) ⋮ Verified secure compilation for mixed-sensitivity concurrent programs
This page was built for software: Jasmin
