✦ LIBER ✦

A formal proof of countermeasures against fault injection attacks on CRT-RSA

✍ Scribed by Rauzy, Pablo; Guilley, Sylvain

Book ID: 125385132
Publisher: Springer-Verlag
Year: 2013
Tongue: English
Weight: 864 KB
Volume: 4
Category: Article
ISSN: 2190-8508
DOI: 10.1007/s13389-013-0065-3

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Formal verification of a CRT-RSA impleme

Formal verification of a CRT-RSA implementation against fault attacks

✍ Maria Christofi, Boutheina Chetali, Louis Goubin… 📂 Article 📅 2013 🏛 Springer-Verlag 🌐 English ⚖ 263 KB

[IEEE 2008 5th Workshop on Fault Diagnos

[IEEE 2008 5th Workshop on Fault Diagnosis and Tolerance in Cryptography (FDTC) - Washington, DC, USA (2008.08.10-2008.08.10)] 2008 5th Workshop on Fault Diagnosis and Tolerance in Cryptography - In(security) Against Fault Injection Attacks for CRT-RSA Implementations

✍ Berzati, Alexandre; Canovas, Cécile; Goubin, Louis 📂 Article 📅 2008 🏛 IEEE ⚖ 241 KB

[ACM Press the 5th Workshop - Scottsdale

[ACM Press the 5th Workshop - Scottsdale, Arizona (2010.10.24-2010.10.24)] Proceedings of the 5th Workshop on Embedded Systems Security - WESS '10 - A new CRT-RSA algorithm resistant to powerful fault attacks

✍ Ebeid, Nevine; Lambert, Rob 📂 Article 📅 2010 🏛 ACM Press ⚖ 189 KB

[ACM Press the 5th Workshop - Scottsdale

✍ Ebeid, Nevine; Lambert, Rob 📂 Article 📅 2010 🏛 ACM Press ⚖ 189 KB

CRT-RSA is widely deployed in embedded devices to accelerate the RSA signature generation by about four times compared to regular RSA. However, since the Bellcore attack of 1996, research into securing CRT-RSA has remained active as countermeasures are themselves attacked. In this paper, we propose