Margaux Dugardin, Sylvain Guilley, Martin Moreau, Zakaria Najm, Pablo Rauzy. Using Modular Extension to Provably Protect Edwards Curves Against Fault Attacks.
PROOFS: Security Proofs for Embedded Systems 2016, Aug 2016, San, United States.
⟨hal-01362552⟩