High Precision Fault Injections on the Instruction Cache of ARMv7-M Architectures

Autor: Rivière, Lionel, Najm, Zakaria, Rauzy, Pablo, Danger, Jean-Luc, Bringer, Julien, Sauvage, Laurent

Hardware and software of secured embedded systems are prone to physical attacks. In particular, fault injection attacks revealed vulnerabilities on the data and the control flow allowing an attacker to break cryptographic or secured algorithms implem

Externí odkaz: http://arxiv.org/abs/1510.01537

Countermeasures Against High-Order Fault-Injection Attacks on CRT-RSA

Autor: Rauzy, Pablo, Guilley, Sylvain

In this paper we study the existing CRT-RSA countermeasures against fault-injection at-tacks. In an attempt to classify them we get to achieve deep understanding of how they work. We show that the many countermeasures that we study (and their variati

Externí odkaz: http://arxiv.org/abs/1412.0600

Formal Analysis of CRT-RSA Vigilant's Countermeasure Against the BellCoRe Attack: A Pledge for Formal Methods in the Field of Implementation Security

Autor: Rauzy, Pablo, Guilley, Sylvain

Publikováno v: Program Protection and Reverse Engineering Workshop 2014, San Diego, CA : United States (2014)

In our paper at PROOFS 2013, we formally studied a few known countermeasures to protect CRT-RSA against the BellCoRe fault injection attack. However, we left Vigilant's countermeasure and its alleged repaired version by Coron et al. as future work, b

Externí odkaz: http://arxiv.org/abs/1401.8172

Using Modular Extension to Provably Protect Edwards Curves Against Fault Attacks

Autor: Dugardin, Margaux, Guilley, Sylvain, Moreau, Martin, Najm, Zakaria, Rauzy, Pablo

Publikováno v: PROOFS: Security Proofs for Embedded Systems 2016
PROOFS: Security Proofs for Embedded Systems 2016, Aug 2016, San, United States
Journal of Cryptographic Engineering
Journal of Cryptographic Engineering, Springer, 2017, vol. 7, nb. 4

International audience; Fault injection attacks are a real-world threat to cryptosystems, in particular asymmetric cryptography. In this paper, we focus on countermeasures which guarantee the integrity of the computation result, hence covering most e

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::6864cd942ee107159ff50fe503a3377a
https://hal.archives-ouvertes.fr/hal-01362552/document

Algorithmic Countermeasures Against Fault Attacks and Power Analysis for RSA-CRT.

Autor: Kiss, Ágnes, Krämer, Juliane, Rauzy, Pablo, Seifert, Jean-Pierre

Publikováno v: Constructive Side-Channel Analysis & Secure Design: 7th International Workshop, COSADE 2016, Graz, Austria, April 14-15, 2016, Revised Selected Papers; 2016, p111-129, 19p