Please use this identifier to cite or link to this item: https://hdl.handle.net/20.500.14279/15357
DC FieldValueLanguage
dc.contributor.authorChristofi, Maria Dolores-
dc.contributor.authorChetali, Boutheïna-
dc.contributor.authorGoubin, Louis-
dc.contributor.authorVigilant, David-
dc.date.accessioned2019-09-24T05:44:58Z-
dc.date.available2019-09-24T05:44:58Z-
dc.date.issued2013-02-15-
dc.identifier.citationJournal of Cryptographic Engineering, 2013, vol. 3, pp. 157-167en_US
dc.identifier.issn21908508-
dc.identifier.urihttps://hdl.handle.net/20.500.14279/15357-
dc.description.abstractCryptosystems 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.formatpdfen_US
dc.language.isoenen_US
dc.relation.ispartofJournal of Cryptographic Engineeringen_US
dc.rights© Springeren_US
dc.subjectCountermeasuresen_US
dc.subjectCryptographic implementationen_US
dc.subjectFault attacksen_US
dc.subjectFormal verificationen_US
dc.subjectFrama-Cen_US
dc.subjectRSA-CRTen_US
dc.titleFormal verification of a CRT-RSA implementation against fault attacksen_US
dc.typeArticleen_US
dc.collaborationGemaltoen_US
dc.collaborationVersailles Saint-Quentin-en-Yvelines Universityen_US
dc.subject.categoryBasic Medicineen_US
dc.journalsSubscriptionen_US
dc.countryFranceen_US
dc.subject.fieldMedical and Health Sciencesen_US
dc.publicationPeer Revieweden_US
dc.identifier.doi10.1007/s13389-013-0049-3en_US
dc.relation.volume3en_US
cut.common.academicyear2012-2013en_US
dc.identifier.spage157en_US
dc.identifier.epage167en_US
item.grantfulltextnone-
item.openairecristypehttp://purl.org/coar/resource_type/c_6501-
item.fulltextNo Fulltext-
item.languageiso639-1en-
item.cerifentitytypePublications-
item.openairetypearticle-
crisitem.journal.journalissn2190-8516-
crisitem.journal.publisherSpringer Nature-
Appears in Collections:Άρθρα/Articles
CORE Recommender
Show simple item record

SCOPUSTM   
Citations

17
checked on Nov 9, 2023

Page view(s) 50

315
Last Week
0
Last month
5
checked on Dec 22, 2024

Google ScholarTM

Check

Altmetric


Items in KTISIS are protected by copyright, with all rights reserved, unless otherwise indicated.