{"id":"https://openalex.org/W4289647551","doi":"https://doi.org/10.13154/tches.v2020.i2.272-299","title":"FEDS: Comprehensive Fault Attack Exploitability Detection for Software Implementations of Block Ciphers","display_name":"FEDS: Comprehensive Fault Attack Exploitability Detection for Software Implementations of Block Ciphers","publication_year":2020,"publication_date":"2020-03-02","ids":{"openalex":"https://openalex.org/W4289647551","doi":"https://doi.org/10.13154/tches.v2020.i2.272-299"},"language":"en","primary_location":{"id":"pmh:oai:doaj.org/article:54468c4d166740ef8fe8ed4b82479997","is_oa":true,"landing_page_url":"https://doaj.org/article/54468c4d166740ef8fe8ed4b82479997","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 2020, Iss 2 (2020)","raw_type":"article"},"type":"article","indexed_in":["datacite","doaj"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doaj.org/article/54468c4d166740ef8fe8ed4b82479997","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5061987402","display_name":"K Keerthi","orcid":null},"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":"K, Keerthi","raw_affiliation_strings":["Indian Institute of Technology Madras, India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Indian Institute of Technology Madras, India","institution_ids":["https://openalex.org/I24676775"]}]},{"author_position":"middle","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":"Roy, Indrani","raw_affiliation_strings":["Indian Institute of Technology Madras, India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Indian Institute of Technology Madras, 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":"Rebeiro, Chester","raw_affiliation_strings":["Indian Institute of Technology Madras, India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Indian Institute of Technology Madras, 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":"Hazra, Aritra","raw_affiliation_strings":["Indian Institute of Technology Kharagpur, India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Indian Institute of Technology 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":"Bhunia, Swarup","raw_affiliation_strings":["University of Florida"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Florida","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":0.1447,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.52781303,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9714000225067139,"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"}},"topics":[{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9714000225067139,"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"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9505000114440918,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T11005","display_name":"Radiation Effects in Electronics","score":0.9406999945640564,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.7725333571434021},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7162195444107056},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.6923056840896606},{"id":"https://openalex.org/keywords/software-implementation","display_name":"Software implementation","score":0.6586666703224182},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5890913605690002},{"id":"https://openalex.org/keywords/block","display_name":"Block (permutation group theory)","score":0.5637509226799011},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.46533551812171936},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.4339175224304199},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.350569486618042},{"id":"https://openalex.org/keywords/computer-engineering","display_name":"Computer engineering","score":0.3487365245819092},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.20267918705940247},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.2015363574028015},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.10646495223045349}],"concepts":[{"id":"https://openalex.org/C106544461","wikidata":"https://www.wikidata.org/wiki/Q543151","display_name":"Block cipher","level":3,"score":0.7725333571434021},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7162195444107056},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.6923056840896606},{"id":"https://openalex.org/C2983609787","wikidata":"https://www.wikidata.org/wiki/Q10534782","display_name":"Software implementation","level":3,"score":0.6586666703224182},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5890913605690002},{"id":"https://openalex.org/C2777210771","wikidata":"https://www.wikidata.org/wiki/Q4927124","display_name":"Block (permutation group theory)","level":2,"score":0.5637509226799011},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.46533551812171936},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.4339175224304199},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.350569486618042},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.3487365245819092},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.20267918705940247},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.2015363574028015},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.10646495223045349},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:doaj.org/article:54468c4d166740ef8fe8ed4b82479997","is_oa":true,"landing_page_url":"https://doaj.org/article/54468c4d166740ef8fe8ed4b82479997","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 2020, Iss 2 (2020)","raw_type":"article"},{"id":"doi:10.13154/tches.v2020.i2.272-299","is_oa":true,"landing_page_url":"https://doi.org/10.13154/tches.v2020.i2.272-299","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article-journal"}],"best_oa_location":{"id":"pmh:oai:doaj.org/article:54468c4d166740ef8fe8ed4b82479997","is_oa":true,"landing_page_url":"https://doaj.org/article/54468c4d166740ef8fe8ed4b82479997","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 2020, Iss 2 (2020)","raw_type":"article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2114621263","https://openalex.org/W2795180100","https://openalex.org/W2133412698","https://openalex.org/W2568200533","https://openalex.org/W62555423","https://openalex.org/W2273713505","https://openalex.org/W2383176638","https://openalex.org/W2102550826","https://openalex.org/W229968286","https://openalex.org/W2158418287"],"abstract_inverted_index":{"Fault":[0,243,263],"injection":[1],"attacks":[2,12,94,138,203],"are":[3,130],"one":[4],"of":[5,10,23,40,87,108,136,142,161,171,193,201,223,230,237,259,275,299],"the":[6,21,27,32,68,79,109,115,134,140,169,183,221,276,281,296],"most":[7],"powerful":[8],"forms":[9],"cryptanalytic":[11],"on":[13,67,72,121],"ciphers.":[14],"A":[15],"single,":[16],"precisely":[17],"injected":[18],"fault":[19,88,93,98,137,143,194,202,205],"during":[20],"execution":[22],"a":[24,35,84,125,153,159,190,198,262,290],"cipher":[25,69,110,122],"like":[26],"AES,":[28],"can":[29,82,146,188,268,283],"completely":[30],"reveal":[31],"key":[33],"within":[34],"few":[36],"milliseconds.":[37],"Software":[38],"implementations":[39,123,229,236],"ciphers,":[41],"therefore,":[42],"need":[43],"to":[44,59,167],"be":[45],"thoroughly":[46],"evaluated":[47],"for":[48,91,241],"such":[49],"attacks.":[50],"In":[51,148],"recent":[52],"years,":[53],"automated":[54],"tools":[55,64,118,175],"have":[56,124],"been":[57],"developed":[58],"perform":[60],"these":[61],"evaluations.":[62],"These":[63],"either":[65],"work":[66,77,120],"algorithm":[70,80],"or":[71],"their":[73],"implementations.":[74,253],"Tools":[75],"that":[76,119,157,267,280],"at":[78],"level":[81,174,180,185,209,298],"provide":[83,189],"comprehensive":[85,191],"assessment":[86,192],"attack":[89,195],"vulnerability":[90],"different":[92,97,228],"and":[95,139,164,204,235,239,271],"with":[96,213],"models.":[99,206],"Their":[100],"application":[101,128,258],"is,":[102],"however,":[103],"restricted":[104,132],"because":[105],"every":[106],"realization":[107],"has":[111,216],"unique":[112],"vulnerabilities.":[113],"On":[114],"other":[116],"hand,":[117],"much":[126],"wider":[127],"but":[129],"often":[131],"by":[133,225],"range":[135,200],"number":[141],"models":[144],"they":[145],"evaluate.":[147],"this":[149],"paper,":[150],"we":[151,255],"propose":[152],"framework,":[154],"called":[155],"FEDS,":[156],"uses":[158],"combination":[160],"compiler":[162,282],"techniques":[163],"model":[165],"checking":[166],"merge":[168],"advantages":[170],"both,":[172],"algorithmic":[173,184],"as":[176,178],"well":[177],"implementation":[179,208],"tools.":[181],"Like":[182,207],"tools,":[186,210],"FEDS":[187,211,224,260],"exploitability":[196],"considering":[197],"wide":[199,217],"works":[212],"implementations,":[214],"therefore":[215],"application.":[218],"We":[219,278],"demonstrate":[220,279],"versatility":[222],"evaluating":[226],"seven":[227],"AES":[231],"(including":[232],"bitsliced":[233],"implementation)":[234],"CLEFIA":[238],"CAMELLIA":[240],"Differential":[242],"Attacks.":[244],"The":[245],"framework":[246],"automatically":[247,269],"identifies":[248],"exploitable":[249,273],"instructions":[250],"in":[251,261],"all":[252],"Further,":[254],"present":[256],"an":[257],"Attack":[264],"Aware":[265],"Compiler,":[266],"identify":[270],"protect":[272],"regions":[274],"code.":[277],"generate":[284],"significantly":[285],"more":[286],"efficient":[287],"code":[288],"than":[289],"na\u00efvely":[291],"protected":[292],"equivalent,":[293],"while":[294],"maintaining":[295],"same":[297],"protection.":[300]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1}],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2025-10-10T00:00:00"}