David Vigilant

Formal verification of a CRT-RSA implementation against fault attacks

Maria Christofi, Boutheina Chetali, Louis Goubin et al. · Journal of Cryptographic Engineering · 2013 · 27 citations

Hardware Security, Reliability Engineering, Engineering +9

Exploiting Intermediate Value Leakage in Dilithium: A Template-Based Approach

Alexandre Berzati, Andersson Calle Viera, Maya Chartouny et al. · IACR Transactions on Cryptographic Hardware and Embedded Systems · 2023 · 25 citations · Full text

Cryptographic Primitive, Engineering, Information Security +24

Fault Attacks and Countermeasures on Vigilant's RSA-CRT Algorithm

Jean-Sébastien Coron, Christophe Gira, Nicolas Morin et al. · 2010 · 23 citations

Engineering, Information Security, Verification +21

Using linear codes as a fault countermeasure for nonlinear operations: application to AES and formal verification

Sabine Azzi, Bruno Barras, Maria Christofi et al. · Journal of Cryptographic Engineering · 2016 · 14 citations

Hardware Security, Fault Injection, Reliability Engineering +13