Jasmin

swMATH44299MaRDI QIDQ5974998FDOQ5974998

Author name not available (Why is that?)

Cited In (4)

• 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

This page was built for software: Jasmin