Jasmin

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