23 citations · 46 across the 14 of their papers we have counts for
Showing 2014 · cs.CRShow all
3 papers · 2 filters
cs.CR2014
Countermeasures Against High-Order Fault-Injection Attacks on CRT-RSA
Pablo Rauzy, Sylvain Guilley
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.…
cs.CR2014★ 23 cited
A Formal Proof of Countermeasures against Fault Injection Attacks on CRT-RSA
Pablo Rauzy, Sylvain Guilley
In this article, we describe a methodology that aims at either breaking or proving the security of CRT-RSA implementations against fault injection attacks. In the specific case-stu…
cs.CR2014★ 6 cited
Formal Analysis of CRT-RSA Vigilant's Countermeasure Against the BellCoRe Attack: A Pledge for Formal Methods in the Field of Implementation Security
Pablo Rauzy, Sylvain Guilley
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 countermeas…