Pages that link to "Item:Q2228439"
From MaRDI portal
The following pages link to System-level non-interference of constant-time cryptography. II: Verified static analysis and stealth memory (Q2228439):
Displaying 4 items.
- Certified compilation for cryptography: extended x86 instructions and constant-time verification (Q2152025) (← links)
- System-level non-interference of constant-time cryptography. I: Model (Q2417947) (← links)
- On the Hardness of Proving CCA-Security of Signed ElGamal (Q2798771) (← links)
- Verifiable Side-Channel Security of Cryptographic Implementations: Constant-Time MEE-CBC (Q4639476) (← links)
