Please use this identifier to cite or link to this item:
https://hdl.handle.net/20.500.14279/15357
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Christofi, Maria Dolores | - |
dc.contributor.author | Chetali, Boutheïna | - |
dc.contributor.author | Goubin, Louis | - |
dc.contributor.author | Vigilant, David | - |
dc.date.accessioned | 2019-09-24T05:44:58Z | - |
dc.date.available | 2019-09-24T05:44:58Z | - |
dc.date.issued | 2013-02-15 | - |
dc.identifier.citation | Journal of Cryptographic Engineering, 2013, vol. 3, pp. 157-167 | en_US |
dc.identifier.issn | 21908508 | - |
dc.identifier.uri | https://hdl.handle.net/20.500.14279/15357 | - |
dc.description.abstract | Cryptosystems are highly sensitive to physical attacks, which lead security developers to design more and more complex countermeasures. Nonetheless, no proof of flaw absence has been given for any implementation of these countermeasures. This paper aims to formally verify an implementation of one published countermeasure against fault injection attacks. More precisely, the formal verification concerns Vigilant's CRT-RSA countermeasure which is designed to sufficiently protect CRT-RSA implementations against fault attacks. The goal is to formally verify whether any possible fault injection threatening the pseudo-code is detected by the countermeasure according to a predefined attack model. © 2013 Springer-Verlag Berlin Heidelberg. | en_US |
dc.format | en_US | |
dc.language.iso | en | en_US |
dc.relation.ispartof | Journal of Cryptographic Engineering | en_US |
dc.rights | © Springer | en_US |
dc.subject | Countermeasures | en_US |
dc.subject | Cryptographic implementation | en_US |
dc.subject | Fault attacks | en_US |
dc.subject | Formal verification | en_US |
dc.subject | Frama-C | en_US |
dc.subject | RSA-CRT | en_US |
dc.title | Formal verification of a CRT-RSA implementation against fault attacks | en_US |
dc.type | Article | en_US |
dc.collaboration | Gemalto | en_US |
dc.collaboration | Versailles Saint-Quentin-en-Yvelines University | en_US |
dc.subject.category | Basic Medicine | en_US |
dc.journals | Subscription | en_US |
dc.country | France | en_US |
dc.subject.field | Medical and Health Sciences | en_US |
dc.publication | Peer Reviewed | en_US |
dc.identifier.doi | 10.1007/s13389-013-0049-3 | en_US |
dc.relation.volume | 3 | en_US |
cut.common.academicyear | 2012-2013 | en_US |
dc.identifier.spage | 157 | en_US |
dc.identifier.epage | 167 | en_US |
item.grantfulltext | none | - |
item.openairecristype | http://purl.org/coar/resource_type/c_6501 | - |
item.fulltext | No Fulltext | - |
item.languageiso639-1 | en | - |
item.cerifentitytype | Publications | - |
item.openairetype | article | - |
crisitem.journal.journalissn | 2190-8516 | - |
crisitem.journal.publisher | Springer Nature | - |
Appears in Collections: | Άρθρα/Articles |
CORE Recommender
SCOPUSTM
Citations
17
checked on Nov 9, 2023
Page view(s) 50
315
Last Week
0
0
Last month
5
5
checked on Dec 22, 2024
Google ScholarTM
Check
Altmetric
Items in KTISIS are protected by copyright, with all rights reserved, unless otherwise indicated.