The following pages link to Jasmin (Q5974998):
Displaying 4 items.
- Unified program generation and verification: a case study on number-theoretic transform (Q2163165) (← links)
- System-level non-interference of constant-time cryptography. II: Verified static analysis and stealth memory (Q2228439) (← links)
- Verified secure compilation for mixed-sensitivity concurrent programs (Q5152660) (← links)
- Practical Formal Methods for Real World Cryptography (Invited Talk) (Q5875633) (← links)
