{"id":"https://openalex.org/W2897152879","doi":"https://doi.org/10.1109/ivsw.2018.8494881","title":"Pre-silicon Embedded System Evaluation as New EDA Tool for Security Verification","display_name":"Pre-silicon Embedded System Evaluation as New EDA Tool for Security Verification","publication_year":2018,"publication_date":"2018-07-01","ids":{"openalex":"https://openalex.org/W2897152879","doi":"https://doi.org/10.1109/ivsw.2018.8494881","mag":"2897152879"},"language":"en","primary_location":{"id":"doi:10.1109/ivsw.2018.8494881","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ivsw.2018.8494881","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2018 IEEE 3rd International Verification and Security Workshop (IVSW)","raw_type":"proceedings-article"},"type":"conference-paper","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/A5018074786","display_name":"Sof\u0131ane Takarabt","orcid":null},"institutions":[{"id":"https://openalex.org/I12356871","display_name":"T\u00e9l\u00e9com Paris","ror":"https://ror.org/01naq7912","country_code":"FR","type":"education","lineage":["https://openalex.org/I12356871","https://openalex.org/I205703379","https://openalex.org/I4210145102"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Sofiane Takarabt","raw_affiliation_strings":["TELECOM-ParisTech 46 rue Barrault, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TELECOM-ParisTech 46 rue Barrault, France","institution_ids":["https://openalex.org/I12356871"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030313220","display_name":"Kais Chibani","orcid":null},"institutions":[{"id":"https://openalex.org/I2885711838","display_name":"TDF (France)","ror":"https://ror.org/01866as23","country_code":"FR","type":"company","lineage":["https://openalex.org/I2885711838"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Kais Chibani","raw_affiliation_strings":["Secure-IC S.A.S., Cesson-S\u00e9vign\u00e9, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Secure-IC S.A.S., Cesson-S\u00e9vign\u00e9, France","institution_ids":["https://openalex.org/I2885711838"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020775974","display_name":"Adrien Facon","orcid":"https://orcid.org/0000-0001-5303-3365"},"institutions":[{"id":"https://openalex.org/I12356871","display_name":"T\u00e9l\u00e9com Paris","ror":"https://ror.org/01naq7912","country_code":"FR","type":"education","lineage":["https://openalex.org/I12356871","https://openalex.org/I205703379","https://openalex.org/I4210145102"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Adrien Facon","raw_affiliation_strings":["TELECOM-ParisTech 46 rue Barrault, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TELECOM-ParisTech 46 rue Barrault, France","institution_ids":["https://openalex.org/I12356871"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5008439372","display_name":"Sylvain Guilley","orcid":"https://orcid.org/0000-0002-5044-3534"},"institutions":[{"id":"https://openalex.org/I12356871","display_name":"T\u00e9l\u00e9com Paris","ror":"https://ror.org/01naq7912","country_code":"FR","type":"education","lineage":["https://openalex.org/I12356871","https://openalex.org/I205703379","https://openalex.org/I4210145102"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Sylvain Guilley","raw_affiliation_strings":["TELECOM-ParisTech 46 rue Barrault, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TELECOM-ParisTech 46 rue Barrault, France","institution_ids":["https://openalex.org/I12356871"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5089721534","display_name":"Yves Mathieu","orcid":null},"institutions":[{"id":"https://openalex.org/I12356871","display_name":"T\u00e9l\u00e9com Paris","ror":"https://ror.org/01naq7912","country_code":"FR","type":"education","lineage":["https://openalex.org/I12356871","https://openalex.org/I205703379","https://openalex.org/I4210145102"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Yves Mathieu","raw_affiliation_strings":["TELECOM-ParisTech 46 rue Barrault, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TELECOM-ParisTech 46 rue Barrault, France","institution_ids":["https://openalex.org/I12356871"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027685057","display_name":"Laurent Sauvage","orcid":"https://orcid.org/0000-0002-6940-6856"},"institutions":[{"id":"https://openalex.org/I12356871","display_name":"T\u00e9l\u00e9com Paris","ror":"https://ror.org/01naq7912","country_code":"FR","type":"education","lineage":["https://openalex.org/I12356871","https://openalex.org/I205703379","https://openalex.org/I4210145102"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Laurent Sauvage","raw_affiliation_strings":["TELECOM-ParisTech 46 rue Barrault, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TELECOM-ParisTech 46 rue Barrault, France","institution_ids":["https://openalex.org/I12356871"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5008894749","display_name":"Youssef Souissi","orcid":null},"institutions":[{"id":"https://openalex.org/I2885711838","display_name":"TDF (France)","ror":"https://ror.org/01866as23","country_code":"FR","type":"company","lineage":["https://openalex.org/I2885711838"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Youssef Souissi","raw_affiliation_strings":["Secure-IC S.A.S., Cesson-S\u00e9vign\u00e9, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Secure-IC S.A.S., Cesson-S\u00e9vign\u00e9, France","institution_ids":["https://openalex.org/I2885711838"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":"9813","issue":null,"first_page":"74","last_page":"79"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12122","display_name":"Physical Unclonable Functions (PUFs) and Hardware Security","score":0.9998000264167786,"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"}},"topics":[{"id":"https://openalex.org/T12122","display_name":"Physical Unclonable Functions (PUFs) and Hardware Security","score":0.9998000264167786,"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/T10951","display_name":"Cryptographic Implementations and Security","score":0.9997000098228455,"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/T11424","display_name":"Security and Verification in Computing","score":0.9965000152587891,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8021392822265625},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.5708428621292114},{"id":"https://openalex.org/keywords/identification","display_name":"Identification (biology)","score":0.5164427757263184},{"id":"https://openalex.org/keywords/automation","display_name":"Automation","score":0.5126782655715942},{"id":"https://openalex.org/keywords/certification","display_name":"Certification","score":0.5046180486679077},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.4917621910572052},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.482878714799881},{"id":"https://openalex.org/keywords/static-program-analysis","display_name":"Static program analysis","score":0.47654348611831665},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4641934633255005},{"id":"https://openalex.org/keywords/electronic-design-automation","display_name":"Electronic design automation","score":0.43586307764053345},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4123914837837219},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.36900970339775085},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.22332730889320374},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.19259881973266602},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.13929781317710876},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.12455877661705017}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8021392822265625},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.5708428621292114},{"id":"https://openalex.org/C116834253","wikidata":"https://www.wikidata.org/wiki/Q2039217","display_name":"Identification (biology)","level":2,"score":0.5164427757263184},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.5126782655715942},{"id":"https://openalex.org/C46304622","wikidata":"https://www.wikidata.org/wiki/Q374814","display_name":"Certification","level":2,"score":0.5046180486679077},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.4917621910572052},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.482878714799881},{"id":"https://openalex.org/C137287247","wikidata":"https://www.wikidata.org/wiki/Q1329550","display_name":"Static program analysis","level":4,"score":0.47654348611831665},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4641934633255005},{"id":"https://openalex.org/C64260653","wikidata":"https://www.wikidata.org/wiki/Q1194864","display_name":"Electronic design automation","level":2,"score":0.43586307764053345},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4123914837837219},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.36900970339775085},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.22332730889320374},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.19259881973266602},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.13929781317710876},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.12455877661705017},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C59822182","wikidata":"https://www.wikidata.org/wiki/Q441","display_name":"Botany","level":1,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/ivsw.2018.8494881","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ivsw.2018.8494881","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2018 IEEE 3rd International Verification and Security Workshop (IVSW)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.44999998807907104,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W823396141","https://openalex.org/W1562542037","https://openalex.org/W1575446397","https://openalex.org/W1985184634","https://openalex.org/W2085992264","https://openalex.org/W2110162979","https://openalex.org/W2154909745","https://openalex.org/W2186078203","https://openalex.org/W2612521132","https://openalex.org/W2756454587","https://openalex.org/W2783844786","https://openalex.org/W4297787500","https://openalex.org/W6634349485","https://openalex.org/W6676258166","https://openalex.org/W6682554491"],"related_works":["https://openalex.org/W377327559","https://openalex.org/W4210653322","https://openalex.org/W4206152185","https://openalex.org/W2969257295","https://openalex.org/W1976804602","https://openalex.org/W4245904369","https://openalex.org/W3006945192","https://openalex.org/W3214257365","https://openalex.org/W3049398420","https://openalex.org/W2617035575"],"abstract_inverted_index":{"The":[0],"security":[1,57],"evaluation":[2,13,50,124],"of":[3,76,95,117,156,175,189,215],"embedded":[4],"systems":[5],"becomes":[6],"clear":[7],"and":[8,33,52,65,112,134,138,160,164,203],"mandatory.":[9],"Up":[10],"today,":[11,77],"the":[12,22,56,72,93,148,169,172,179,194,201],"process":[14],"is":[15],"limited":[16],"to":[17,37,90,110,129,168,196,200,204],"certification":[18],"labs":[19],"that":[20,54,118],"conduct":[21],"analysis":[23,40,220],"on":[24,127,136,143,171],"real":[25,38,139],"target":[26],"devices.":[27],"This":[28,192],"requires":[29],"appropriate":[30],"measurement":[31],"platforms":[32],"equipment":[34],"in":[35,69,207],"addition":[36],"chip":[39],"skills.":[41],"In":[42],"this":[43],"paper,":[44],"we":[45,105,121],"put":[46],"forward":[47],"a":[48,102,107,114,144,213],"pre-silicon":[49],"methodology":[51],"tools":[53],"allow":[55],"verification":[58],"at":[59,225],"an":[60,187],"early":[61],"stage":[62],"(virtual":[63],"target)":[64],"running":[66],"it":[67],"hands":[68,70],"with":[71,183,212],"functional":[73],"verification.":[74],"As":[75],"such":[78],"approach":[79],"can":[80],"be":[81],"used":[82],"as":[83],"new":[84,123],"Electronic":[85],"Design":[86,96],"Automation":[87],"(EDA)":[88],"tool":[89,149],"properly":[91],"satisfy":[92],"basics":[94],"for":[97],"Security":[98],"(DFS)":[99],"concept.":[100],"From":[101],"practical":[103],"viewpoint,":[104],"show":[106],"study":[108],"case":[109],"illustrate":[111],"provide":[113],"better":[115],"understanding":[116],"approach.":[119],"Moreover,":[120],"propose":[122],"metrics":[125],"based":[126,142],"Signal":[128],"Noise":[130],"Ratio":[131],"(SNR)":[132],"computation,":[133],"verified":[135],"virtual":[137],"targets":[140],"respectively":[141],"comparative":[145],"study.":[146],"Likewise,":[147],"identifies":[150],"vulnerabilites":[151],"(thereby":[152],"anticipating":[153],"complete":[154],"families":[155],"otherwise":[157],"numerous,":[158],"complex":[159],"many":[161],"undiscovered":[162],"attacks),":[163],"returns":[165],"accurate":[166],"feedack":[167],"user":[170],"precise":[173],"line":[174],"code":[176,199,211],"(LoC)":[177],"where":[178],"vulnerability":[180],"lays":[181],"along":[182],"its":[184,190],"characterization,":[185],"including":[186],"identification":[188],"severity.":[191],"allows":[193],"design":[195],"input":[197],"source":[198,210],"tool,":[202],"get":[205],"back":[206],"return":[208],"annotated":[209],"collection":[214],"LoCs":[216],"which":[217],"deserve":[218],"careful":[219],"and/or":[221],"subsequent":[222],"modification":[223],"aiming":[224],"patching":[226],"vulnerabilities.":[227]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":2}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}