✦ LIBER ✦

Formal verification of a CRT-RSA implementation against fault attacks

✍ Scribed by Maria Christofi, Boutheina Chetali, Louis Goubin…

Book ID: 120723219
Publisher: Springer-Verlag
Year: 2013
Tongue: English
Weight: 263 KB
Volume: 3
Category: Article
ISSN: 2190-8508
DOI: 10.1007/s13389-013-0049-3

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A formal proof of countermeasures agains

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

✍ Rauzy, Pablo; Guilley, Sylvain 📂 Article 📅 2013 🏛 Springer-Verlag 🌐 English ⚖ 864 KB

[Information Security and Cryptography]

[Information Security and Cryptography] Fault Analysis in Cryptography Volume 715 || A Survey of Differential Fault Analysis Against Classical RSA Implementations

✍ Joye, Marc; Tunstall, Michael 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 174 KB

In the 1970s researchers noticed that radioactive particles produced by elements naturally present in packaging material could cause bits to flip in sensitive areas of electronic chips. Research into the effect of cosmic rays on semiconductors, an area of particular interest in the aerospace industr

[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