Pages that link to "Item:Q4639476"
From MaRDI portal
The following pages link to Verifiable Side-Channel Security of Cryptographic Implementations: Constant-Time MEE-CBC (Q4639476):
Displaying 6 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)
- Towards Side-Channel Resistant Implementations of QC-MDPC McEliece Encryption on Constrained Devices (Q2938688) (← links)
- (Q5856419) (← links)
- New versions of Miller-loop secured against side-channel attacks (Q6169018) (← links)
- Formally verifying Kyber. Episode V: machine-checked IND-CCA security and correctness of ML-KEM in Easycrypt (Q6648215) (← links)