{"id":"https://openalex.org/W3157704946","doi":"https://doi.org/10.46586/tches.v2021.i4.447-473","title":"FIVER \u2013 Robust Verification of Countermeasures against Fault Injections","display_name":"FIVER \u2013 Robust Verification of Countermeasures against Fault Injections","publication_year":2021,"publication_date":"2021-08-11","ids":{"openalex":"https://openalex.org/W3157704946","doi":"https://doi.org/10.46586/tches.v2021.i4.447-473","mag":"3157704946"},"language":"en","primary_location":{"id":"doi:10.46586/tches.v2021.i4.447-473","is_oa":true,"landing_page_url":"https://doi.org/10.46586/tches.v2021.i4.447-473","pdf_url":"https://tches.iacr.org/index.php/TCHES/article/download/9072/8659","source":{"id":"https://openalex.org/S4210207404","display_name":"IACR Transactions on Cryptographic Hardware and Embedded Systems","issn_l":"2569-2925","issn":["2569-2925"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IACR Transactions on Cryptographic Hardware and Embedded Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://tches.iacr.org/index.php/TCHES/article/download/9072/8659","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5009901655","display_name":"Jan Richter-Brockmann","orcid":"https://orcid.org/0000-0002-8454-4755"},"institutions":[{"id":"https://openalex.org/I904495901","display_name":"Ruhr University Bochum","ror":"https://ror.org/04tsk2644","country_code":"DE","type":"education","lineage":["https://openalex.org/I904495901"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Jan Richter-Brockmann","raw_affiliation_strings":["Ruhr University Bochum, Horst G\u00f6rtz Institute for IT Security, Bochum, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Ruhr University Bochum, Horst G\u00f6rtz Institute for IT Security, Bochum, Germany","institution_ids":["https://openalex.org/I904495901"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070822972","display_name":"Aein Rezaei Shahmirzadi","orcid":"https://orcid.org/0000-0002-9549-268X"},"institutions":[{"id":"https://openalex.org/I904495901","display_name":"Ruhr University Bochum","ror":"https://ror.org/04tsk2644","country_code":"DE","type":"education","lineage":["https://openalex.org/I904495901"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Aein Rezaei Shahmirzadi","raw_affiliation_strings":["Ruhr University Bochum, Horst G\u00f6rtz Institute for IT Security, Bochum, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Ruhr University Bochum, Horst G\u00f6rtz Institute for IT Security, Bochum, Germany","institution_ids":["https://openalex.org/I904495901"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088507759","display_name":"Pascal Sasdrich","orcid":"https://orcid.org/0000-0002-5443-626X"},"institutions":[{"id":"https://openalex.org/I904495901","display_name":"Ruhr University Bochum","ror":"https://ror.org/04tsk2644","country_code":"DE","type":"education","lineage":["https://openalex.org/I904495901"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Pascal Sasdrich","raw_affiliation_strings":["Ruhr University Bochum, Horst G\u00f6rtz Institute for IT Security, Bochum, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Ruhr University Bochum, Horst G\u00f6rtz Institute for IT Security, Bochum, Germany","institution_ids":["https://openalex.org/I904495901"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5012815811","display_name":"Amir Moradi","orcid":"https://orcid.org/0000-0002-4032-7433"},"institutions":[{"id":"https://openalex.org/I904495901","display_name":"Ruhr University Bochum","ror":"https://ror.org/04tsk2644","country_code":"DE","type":"education","lineage":["https://openalex.org/I904495901"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Amir Moradi","raw_affiliation_strings":["Ruhr University Bochum, Horst G\u00f6rtz Institute for IT Security, Bochum, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Ruhr University Bochum, Horst G\u00f6rtz Institute for IT Security, Bochum, Germany","institution_ids":["https://openalex.org/I904495901"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5076453092","display_name":"Tim G\u00fcneysu","orcid":"https://orcid.org/0000-0002-3293-4989"},"institutions":[{"id":"https://openalex.org/I904495901","display_name":"Ruhr University Bochum","ror":"https://ror.org/04tsk2644","country_code":"DE","type":"education","lineage":["https://openalex.org/I904495901"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Tim G\u00fcneysu","raw_affiliation_strings":["Ruhr University Bochum, Horst G\u00f6rtz Institute for IT Security, Bochum, Germany; DFKI, Bremen, Germany","DFKI, Bremen, Germany","Ruhr University Bochum, Horst G\u00f6rtz Institute for IT Security, Bochum, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Ruhr University Bochum, Horst G\u00f6rtz Institute for IT Security, Bochum, Germany; DFKI, Bremen, Germany","institution_ids":["https://openalex.org/I904495901"]},{"raw_affiliation_string":"DFKI, Bremen, Germany","institution_ids":[]},{"raw_affiliation_string":"Ruhr University Bochum, Horst G\u00f6rtz Institute for IT Security, Bochum, Germany","institution_ids":["https://openalex.org/I904495901"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I904495901"],"apc_list":null,"apc_paid":null,"fwci":3.6181,"has_fulltext":true,"cited_by_count":32,"citation_normalized_percentile":{"value":0.93671298,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"447","last_page":"473"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10951","display_name":"Cryptographic Implementations and Security","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10951","display_name":"Cryptographic Implementations and Security","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12122","display_name":"Physical Unclonable Functions (PUFs) and Hardware Security","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.965399980545044,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/fault-injection","display_name":"Fault injection","score":0.830244779586792},{"id":"https://openalex.org/keywords/netlist","display_name":"Netlist","score":0.7787455916404724},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7230011224746704},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.5377101898193359},{"id":"https://openalex.org/keywords/binary-decision-diagram","display_name":"Binary decision diagram","score":0.5175361037254333},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.499774694442749},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.4900418519973755},{"id":"https://openalex.org/keywords/fault","display_name":"Fault (geology)","score":0.48877808451652527},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4755648970603943},{"id":"https://openalex.org/keywords/fault-model","display_name":"Fault model","score":0.46285831928253174},{"id":"https://openalex.org/keywords/computer-engineering","display_name":"Computer engineering","score":0.42364734411239624},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.398747980594635},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.31591877341270447},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.2722468972206116},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.20659732818603516},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.17993885278701782},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.1310095191001892},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.11406606435775757}],"concepts":[{"id":"https://openalex.org/C2775928411","wikidata":"https://www.wikidata.org/wiki/Q2041312","display_name":"Fault injection","level":3,"score":0.830244779586792},{"id":"https://openalex.org/C177650935","wikidata":"https://www.wikidata.org/wiki/Q1760303","display_name":"Netlist","level":2,"score":0.7787455916404724},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7230011224746704},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.5377101898193359},{"id":"https://openalex.org/C3309909","wikidata":"https://www.wikidata.org/wiki/Q864155","display_name":"Binary decision diagram","level":2,"score":0.5175361037254333},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.499774694442749},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.4900418519973755},{"id":"https://openalex.org/C175551986","wikidata":"https://www.wikidata.org/wiki/Q47089","display_name":"Fault (geology)","level":2,"score":0.48877808451652527},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4755648970603943},{"id":"https://openalex.org/C167391956","wikidata":"https://www.wikidata.org/wiki/Q1401211","display_name":"Fault model","level":3,"score":0.46285831928253174},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.42364734411239624},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.398747980594635},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.31591877341270447},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.2722468972206116},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.20659732818603516},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.17993885278701782},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.1310095191001892},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.11406606435775757},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.0},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.0},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C165205528","wikidata":"https://www.wikidata.org/wiki/Q83371","display_name":"Seismology","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.46586/tches.v2021.i4.447-473","is_oa":true,"landing_page_url":"https://doi.org/10.46586/tches.v2021.i4.447-473","pdf_url":"https://tches.iacr.org/index.php/TCHES/article/download/9072/8659","source":{"id":"https://openalex.org/S4210207404","display_name":"IACR Transactions on Cryptographic Hardware and Embedded Systems","issn_l":"2569-2925","issn":["2569-2925"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IACR Transactions on Cryptographic Hardware and Embedded Systems","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:2bba77992a1a41c699a31b8e544550e1","is_oa":true,"landing_page_url":"https://doaj.org/article/2bba77992a1a41c699a31b8e544550e1","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Transactions on Cryptographic Hardware and Embedded Systems, Vol 2021, Iss 4 (2021)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.46586/tches.v2021.i4.447-473","is_oa":true,"landing_page_url":"https://doi.org/10.46586/tches.v2021.i4.447-473","pdf_url":"https://tches.iacr.org/index.php/TCHES/article/download/9072/8659","source":{"id":"https://openalex.org/S4210207404","display_name":"IACR Transactions on Cryptographic Hardware and Embedded Systems","issn_l":"2569-2925","issn":["2569-2925"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IACR Transactions on Cryptographic Hardware and Embedded Systems","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.7300000190734863}],"awards":[{"id":"https://openalex.org/G18682879","display_name":"EXC 2092: CyberSicherheit im Zeitalter gro\u00dfskaliger Angreifer (CASA)","funder_award_id":"390781972","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G4166682161","display_name":"Symmetrische Chiffren mit Inh\u00e4renter Physikalischer Sicherheit (SuCCESS)","funder_award_id":"406956718","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G7707087966","display_name":null,"funder_award_id":"16KIS1345","funder_id":"https://openalex.org/F4320321114","funder_display_name":"Bundesministerium f\u00fcr Bildung und Forschung"}],"funders":[{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"},{"id":"https://openalex.org/F4320321114","display_name":"Bundesministerium f\u00fcr Bildung und Forschung","ror":"https://ror.org/04pz7b180"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3157704946.pdf","grobid_xml":"https://content.openalex.org/works/W3157704946.grobid-xml"},"referenced_works_count":57,"referenced_works":["https://openalex.org/W57986108","https://openalex.org/W1493213353","https://openalex.org/W1600075072","https://openalex.org/W1607469298","https://openalex.org/W1734836454","https://openalex.org/W1894646615","https://openalex.org/W1964801859","https://openalex.org/W1964839541","https://openalex.org/W1994143452","https://openalex.org/W1999039453","https://openalex.org/W2039845393","https://openalex.org/W2049051873","https://openalex.org/W2062272401","https://openalex.org/W2071722828","https://openalex.org/W2079792016","https://openalex.org/W2080267935","https://openalex.org/W2084163800","https://openalex.org/W2092053813","https://openalex.org/W2102136328","https://openalex.org/W2102362134","https://openalex.org/W2103570562","https://openalex.org/W2107097146","https://openalex.org/W2112284176","https://openalex.org/W2112571059","https://openalex.org/W2155441237","https://openalex.org/W2170489924","https://openalex.org/W2183849663","https://openalex.org/W2423338439","https://openalex.org/W2494396870","https://openalex.org/W2749901318","https://openalex.org/W2773254282","https://openalex.org/W2805111206","https://openalex.org/W2806057431","https://openalex.org/W2889402643","https://openalex.org/W2911936283","https://openalex.org/W2933419887","https://openalex.org/W2946070839","https://openalex.org/W2948942236","https://openalex.org/W2954479288","https://openalex.org/W2954632784","https://openalex.org/W2973378704","https://openalex.org/W2983229499","https://openalex.org/W2991032855","https://openalex.org/W2991573376","https://openalex.org/W3011212364","https://openalex.org/W3019676640","https://openalex.org/W3092373052","https://openalex.org/W3114165286","https://openalex.org/W3114536378","https://openalex.org/W3114603419","https://openalex.org/W3126791675","https://openalex.org/W3216514701","https://openalex.org/W4239959944","https://openalex.org/W4243016930","https://openalex.org/W4246462834","https://openalex.org/W4251236654","https://openalex.org/W4254435982"],"related_works":["https://openalex.org/W2052585438","https://openalex.org/W1506159315","https://openalex.org/W2096785857","https://openalex.org/W2168612648","https://openalex.org/W4295791056","https://openalex.org/W2297417762","https://openalex.org/W1530804449","https://openalex.org/W1985951220","https://openalex.org/W1600260729","https://openalex.org/W3216514701"],"abstract_inverted_index":{"Fault":[0],"Injection":[1],"Analysis":[2],"is":[3,59,203],"seen":[4],"as":[5,156,192,194],"a":[6,21,67,98,126,142,161,214],"powerful":[7],"attack":[8],"against":[9,108,150,177],"implementations":[10,173],"of":[11,23,55,71,106,174,185],"cryptographic":[12],"algorithms.":[13],"Over":[14],"the":[15,30,53,56,72,90,104,121,167,186,220,227],"last":[16],"two":[17],"decades,":[18],"researchers":[19],"proposed":[20,168],"plethora":[22],"countermeasures":[24,107,176],"to":[25,102,145,171,197,205],"secure":[26],"such":[27,77],"implementations.":[28],"However,":[29],"design":[31,48,73,217],"process":[32],"and":[33,39,49,133,190,218],"implementation":[34],"are":[35,86],"still":[36],"error-prone,":[37],"complex,":[38],"manual":[40],"tasks":[41],"which":[42],"require":[43],"long-standing":[44],"experience":[45],"in":[46,66,213,222],"hardware":[47,148],"physical":[50],"security.":[51],"Moreover,":[52],"validation":[54],"claimed":[57],"security":[58,105,221],"often":[60],"only":[61],"done":[62],"by":[63],"empirical":[64,78],"testing":[65,79],"very":[68],"late":[69],"stage":[70],"process.":[74],"To":[75],"prevent":[76],"strategies,":[80,200],"approaches":[81],"based":[82,128],"on":[83,118,129],"formal":[84],"verification":[85,100,115,139,169],"applied":[87],"instead":[88],"providing":[89],"designer":[91],"early":[92],"feedback.In":[93],"this":[94],"work,":[95],"we":[96,165,181],"present":[97],"fault":[99,136,151,163,211],"framework":[101,116,170],"validate":[103],"fault-injection":[109,178],"attacks":[110],"designed":[111],"for":[112],"ICs.":[113],"The":[114],"works":[117],"netlist-level,":[119],"parses":[120],"given":[122,162],"digital":[123],"circuit":[124],"into":[125],"model":[127],"Binary":[130],"Decision":[131],"Diagrams,":[132],"performs":[134],"symbolic":[135,228],"injections.":[137],"This":[138],"approach":[140,230],"constitutes":[141],"novel":[143],"strategy":[144],"evaluate":[146,219],"protected":[147,183],"designs":[149,184],"injections":[152,212],"offering":[153],"new":[154],"opportunities":[155],"performing":[157],"full":[158],"analyses":[159],"under":[160,223],"models.Eventually,":[164],"apply":[166],"real-world":[172],"well-established":[175],"attacks.":[179],"Here,":[180],"consider":[182],"lightweight":[187],"ciphers":[188],"CRAFT":[189,216],"LED-64":[191],"well":[193],"AES.":[195],"Due":[196],"several":[198],"optimization":[199],"our":[201],"tool":[202],"able":[204],"perform":[206],"more":[207],"than":[208],"90":[209],"million":[210],"single-round":[215],"50":[224],"min":[225],"while":[226],"simulation":[229],"considers":[231],"all":[232],"2128":[233],"primary":[234],"inputs.":[235]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":7},{"year":2023,"cited_by_count":12},{"year":2022,"cited_by_count":8}],"updated_date":"2026-08-06T08:24:18.245995","created_date":"2025-10-10T00:00:00"}