The following pages link to François Dupressoir (Q2948339):
Displaying 7 items.
- Verified Proofs of Higher-Order Masking (Q2948340) (← links)
- Verifiable Side-Channel Security of Cryptographic Implementations: Constant-Time MEE-CBC (Q4639476) (← links)
- (Q5219933) (← links)
- EasyCrypt: A Tutorial (Q5253588) (← links)
- Making RSA–PSS Provably Secure against Non-random Faults (Q5265081) (← links)
- Parallel Implementations of Masking Schemes and the Bounded Moment Leakage Model (Q5738889) (← links)
- Formally verifying Kyber. Episode V: machine-checked IND-CCA security and correctness of ML-KEM in Easycrypt (Q6648215) (← links)
