{"id":"https://openalex.org/W2911936283","doi":"https://doi.org/10.1109/tcad.2019.2897629","title":"SAFARI: Automatic Synthesis of Fault-Attack Resistant Block Cipher Implementations","display_name":"SAFARI: Automatic Synthesis of Fault-Attack Resistant Block Cipher Implementations","publication_year":2019,"publication_date":"2019-02-05","ids":{"openalex":"https://openalex.org/W2911936283","doi":"https://doi.org/10.1109/tcad.2019.2897629","mag":"2911936283"},"language":"en","primary_location":{"id":"doi:10.1109/tcad.2019.2897629","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2019.2897629","pdf_url":null,"source":{"id":"https://openalex.org/S100835903","display_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","issn_l":"0278-0070","issn":["0278-0070","1937-4151"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5009331400","display_name":"Indrani Roy","orcid":"https://orcid.org/0000-0002-5366-7795"},"institutions":[{"id":"https://openalex.org/I24676775","display_name":"Indian Institute of Technology Madras","ror":"https://ror.org/03v0r5n49","country_code":"IN","type":"education","lineage":["https://openalex.org/I24676775"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Indrani Roy","raw_affiliation_strings":["Department of Computer Science and Engineering, Indian Institute of Technology Madras, Chennai, India"],"raw_orcid":"https://orcid.org/0000-0002-5366-7795","affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, Indian Institute of Technology Madras, Chennai, India","institution_ids":["https://openalex.org/I24676775"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5038432102","display_name":"Chester Rebeiro","orcid":"https://orcid.org/0000-0001-8063-0026"},"institutions":[{"id":"https://openalex.org/I24676775","display_name":"Indian Institute of Technology Madras","ror":"https://ror.org/03v0r5n49","country_code":"IN","type":"education","lineage":["https://openalex.org/I24676775"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Chester Rebeiro","raw_affiliation_strings":["Department of Computer Science and Engineering, Indian Institute of Technology Madras, Chennai, India"],"raw_orcid":"https://orcid.org/0000-0001-8063-0026","affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, Indian Institute of Technology Madras, Chennai, India","institution_ids":["https://openalex.org/I24676775"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022880201","display_name":"Aritra Hazra","orcid":"https://orcid.org/0000-0003-2076-3577"},"institutions":[{"id":"https://openalex.org/I145894827","display_name":"Indian Institute of Technology Kharagpur","ror":"https://ror.org/03w5sq511","country_code":"IN","type":"education","lineage":["https://openalex.org/I145894827"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Aritra Hazra","raw_affiliation_strings":["Department of Computer Science and Engineering, Indian Institute of Technology Kharagpur, Kharagpur, India"],"raw_orcid":"https://orcid.org/0000-0003-2076-3577","affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, Indian Institute of Technology Kharagpur, Kharagpur, India","institution_ids":["https://openalex.org/I145894827"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5039442844","display_name":"Swarup Bhunia","orcid":"https://orcid.org/0000-0001-6082-6961"},"institutions":[{"id":"https://openalex.org/I33213144","display_name":"University of Florida","ror":"https://ror.org/02y3ad647","country_code":"US","type":"education","lineage":["https://openalex.org/I33213144"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Swarup Bhunia","raw_affiliation_strings":["Department of Electrical and Computer Engineering, University of Florida, Gainesville, USA"],"raw_orcid":"https://orcid.org/0000-0001-6082-6961","affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, University of Florida, Gainesville, USA","institution_ids":["https://openalex.org/I33213144"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.259,"has_fulltext":false,"cited_by_count":26,"citation_normalized_percentile":{"value":0.90639427,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":91,"max":99},"biblio":{"volume":"39","issue":"4","first_page":"752","last_page":"765"},"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.9904000163078308,"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.9718999862670898,"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/block-cipher","display_name":"Block cipher","score":0.7788673639297485},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7448136806488037},{"id":"https://openalex.org/keywords/cipher","display_name":"Cipher","score":0.6570217609405518},{"id":"https://openalex.org/keywords/countermeasure","display_name":"Countermeasure","score":0.5995570421218872},{"id":"https://openalex.org/keywords/fault-injection","display_name":"Fault injection","score":0.5896965265274048},{"id":"https://openalex.org/keywords/vulnerability","display_name":"Vulnerability (computing)","score":0.5685751438140869},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.5377066731452942},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.5233939290046692},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.5134106874465942},{"id":"https://openalex.org/keywords/block","display_name":"Block (permutation group theory)","score":0.4542180001735687},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.42255887389183044},{"id":"https://openalex.org/keywords/fault","display_name":"Fault (geology)","score":0.4139837622642517},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.3242199420928955},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.29511308670043945},{"id":"https://openalex.org/keywords/encryption","display_name":"Encryption","score":0.21298637986183167},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.15083783864974976},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.1309359073638916},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.10431262850761414}],"concepts":[{"id":"https://openalex.org/C106544461","wikidata":"https://www.wikidata.org/wiki/Q543151","display_name":"Block cipher","level":3,"score":0.7788673639297485},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7448136806488037},{"id":"https://openalex.org/C2780221543","wikidata":"https://www.wikidata.org/wiki/Q4681865","display_name":"Cipher","level":3,"score":0.6570217609405518},{"id":"https://openalex.org/C21593369","wikidata":"https://www.wikidata.org/wiki/Q1032176","display_name":"Countermeasure","level":2,"score":0.5995570421218872},{"id":"https://openalex.org/C2775928411","wikidata":"https://www.wikidata.org/wiki/Q2041312","display_name":"Fault injection","level":3,"score":0.5896965265274048},{"id":"https://openalex.org/C95713431","wikidata":"https://www.wikidata.org/wiki/Q631425","display_name":"Vulnerability (computing)","level":2,"score":0.5685751438140869},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.5377066731452942},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.5233939290046692},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.5134106874465942},{"id":"https://openalex.org/C2777210771","wikidata":"https://www.wikidata.org/wiki/Q4927124","display_name":"Block (permutation group theory)","level":2,"score":0.4542180001735687},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.42255887389183044},{"id":"https://openalex.org/C175551986","wikidata":"https://www.wikidata.org/wiki/Q47089","display_name":"Fault (geology)","level":2,"score":0.4139837622642517},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.3242199420928955},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.29511308670043945},{"id":"https://openalex.org/C148730421","wikidata":"https://www.wikidata.org/wiki/Q141090","display_name":"Encryption","level":2,"score":0.21298637986183167},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.15083783864974976},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.1309359073638916},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.10431262850761414},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.0},{"id":"https://openalex.org/C165205528","wikidata":"https://www.wikidata.org/wiki/Q83371","display_name":"Seismology","level":1,"score":0.0},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tcad.2019.2897629","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2019.2897629","pdf_url":null,"source":{"id":"https://openalex.org/S100835903","display_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","issn_l":"0278-0070","issn":["0278-0070","1937-4151"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.4099999964237213,"id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320325255","display_name":"Ministry of Electronics and Information technology","ror":null}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":43,"referenced_works":["https://openalex.org/W94002110","https://openalex.org/W147005573","https://openalex.org/W172000273","https://openalex.org/W1483831648","https://openalex.org/W1489027369","https://openalex.org/W1496386159","https://openalex.org/W1527701244","https://openalex.org/W1556212265","https://openalex.org/W1734836454","https://openalex.org/W2033856124","https://openalex.org/W2058179586","https://openalex.org/W2058413145","https://openalex.org/W2060618055","https://openalex.org/W2064826369","https://openalex.org/W2066465211","https://openalex.org/W2082988283","https://openalex.org/W2104003712","https://openalex.org/W2112571059","https://openalex.org/W2132533351","https://openalex.org/W2135632173","https://openalex.org/W2135669462","https://openalex.org/W2137226052","https://openalex.org/W2147694198","https://openalex.org/W2154667225","https://openalex.org/W2170489924","https://openalex.org/W2294330969","https://openalex.org/W2488210329","https://openalex.org/W2562445052","https://openalex.org/W2624902176","https://openalex.org/W2774793603","https://openalex.org/W2794613733","https://openalex.org/W2806057431","https://openalex.org/W2806480058","https://openalex.org/W2886861390","https://openalex.org/W2950048519","https://openalex.org/W4246462834","https://openalex.org/W4252647811","https://openalex.org/W4256301847","https://openalex.org/W6629773945","https://openalex.org/W6631698751","https://openalex.org/W6685043173","https://openalex.org/W6753849600","https://openalex.org/W6754468973"],"related_works":["https://openalex.org/W2461502237","https://openalex.org/W1638546798","https://openalex.org/W4390979909","https://openalex.org/W4389575897","https://openalex.org/W2117179505","https://openalex.org/W3080116368","https://openalex.org/W1524307340","https://openalex.org/W2150878966","https://openalex.org/W1965485605","https://openalex.org/W1980393268"],"abstract_inverted_index":{"Most":[0],"cipher":[1],"implementations":[2,121],"are":[3,60],"vulnerable":[4,44,145],"to":[5,49,70,85,96,100,218],"a":[6,111,134],"class":[7],"of":[8,25,34,78,91,122,137,196,212],"cryptanalytic":[9],"attacks":[10,22,41],"known":[11],"as":[12,128,180],"fault":[13,39,225],"injection":[14,40],"attacks.":[15],"To":[16],"reveal":[17],"the":[18,32,35,47,79,83,92,102,130,138,144,148,156,172,186,194,197,199,203,210,219,224],"secret":[19],"key,":[20],"these":[21,43,58],"make":[23],"use":[24],"faults":[26],"induced":[27],"at":[28],"specific":[29],"locations":[30,45,146],"during":[31],"execution":[33],"cipher.":[36,140,173],"Countermeasures":[37],"for":[38,116,171],"require":[42],"in":[46,214],"implementation":[48,84],"be":[50],"first":[51],"identified":[52],"and":[53,62,133,160,178,183,202,216,223],"then":[54,161,208],"protected.":[55],"However,":[56],"both":[57],"steps":[59],"difficult":[61],"error-prone":[63],"and,":[64],"hence,":[65],"it":[66],"requires":[67],"considerable":[68],"expertise":[69],"design":[71,220],"efficient":[72],"countermeasures.":[73],"Incorrect":[74],"or":[75,168],"insufficient":[76],"application":[77,90],"countermeasures":[80,93],"would":[81,188],"cause":[82],"remain":[86],"vulnerable,":[87],"while":[88],"inefficient":[89],"could":[94],"lead":[95],"significant":[97],"performance":[98],"penalties":[99],"achieve":[101],"desired":[103],"fault-attack":[104,119,165],"resistance.":[105],"In":[106],"this":[107],"paper,":[108],"we":[109],"present":[110],"novel":[112],"framework":[113,126,187],"called":[114],"SAFARI":[115,213],"automatically":[117,142],"synthesizing":[118],"resistant":[120],"block":[123,139],"ciphers.":[124],"The":[125],"takes":[127],"input":[129],"security":[131,158,205],"requirements":[132],"high-level":[135],"specification":[136],"It":[141],"detects":[143],"from":[147],"specification,":[149],"applies":[150],"an":[151,163],"appropriate":[152],"countermeasure":[153],"based":[154,192],"on":[155,193],"user-specified":[157],"requirements,":[159],"synthesizes":[162],"efficient,":[164],"protected,":[166],"RTL,":[167],"C":[169],"code":[170],"We":[174,207],"take":[175],"AES,":[176],"CAMELLIA,":[177],"CLEFIA":[179],"case":[181],"studies":[182],"demonstrate":[184],"how":[185],"explore":[189],"different":[190],"countermeasures,":[191],"vulnerability":[195],"locations,":[198],"output":[200],"format,":[201],"required":[204],"margins.":[206],"evaluate":[209],"efficacy":[211],"hardware":[215],"software":[217],"overhead":[221],"incurred":[222],"coverage.":[226]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":7},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":5},{"year":2020,"cited_by_count":6},{"year":2019,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}