{"id":"https://openalex.org/W2735420100","doi":"https://doi.org/10.1109/ets.2017.7968247","title":"Specification and verification of security in reconfigurable scan networks","display_name":"Specification and verification of security in reconfigurable scan networks","publication_year":2017,"publication_date":"2017-05-01","ids":{"openalex":"https://openalex.org/W2735420100","doi":"https://doi.org/10.1109/ets.2017.7968247","mag":"2735420100"},"language":"en","primary_location":{"id":"doi:10.1109/ets.2017.7968247","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ets.2017.7968247","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2017 22nd IEEE European Test Symposium (ETS)","raw_type":"proceedings-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/A5058173647","display_name":"Michael A. Kochte","orcid":"https://orcid.org/0000-0002-1228-3402"},"institutions":[{"id":"https://openalex.org/I100066346","display_name":"University of Stuttgart","ror":"https://ror.org/04vnq7t77","country_code":"DE","type":"education","lineage":["https://openalex.org/I100066346"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Michael A. Kochte","raw_affiliation_strings":["ITI, University of Stuttgart, Stuttgart, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ITI, University of Stuttgart, Stuttgart, Germany","institution_ids":["https://openalex.org/I100066346"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111203264","display_name":"Matthias Sauer","orcid":null},"institutions":[{"id":"https://openalex.org/I161046081","display_name":"University of Freiburg","ror":"https://ror.org/0245cg223","country_code":"DE","type":"education","lineage":["https://openalex.org/I161046081"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Matthias Sauer","raw_affiliation_strings":["University of Freiburg, Freiburg, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Freiburg, Freiburg, Germany","institution_ids":["https://openalex.org/I161046081"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040660689","display_name":"Laura Rodr\u00edguez G\u00f3mez","orcid":"https://orcid.org/0000-0003-0842-2390"},"institutions":[{"id":"https://openalex.org/I100066346","display_name":"University of Stuttgart","ror":"https://ror.org/04vnq7t77","country_code":"DE","type":"education","lineage":["https://openalex.org/I100066346"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Laura Rodriguez Gomez","raw_affiliation_strings":["ITI, University of Stuttgart, Stuttgart, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ITI, University of Stuttgart, Stuttgart, Germany","institution_ids":["https://openalex.org/I100066346"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5037312595","display_name":"Pascal Raiola","orcid":"https://orcid.org/0000-0003-1630-5952"},"institutions":[{"id":"https://openalex.org/I161046081","display_name":"University of Freiburg","ror":"https://ror.org/0245cg223","country_code":"DE","type":"education","lineage":["https://openalex.org/I161046081"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Pascal Raiola","raw_affiliation_strings":["University of Freiburg, Freiburg, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Freiburg, Freiburg, Germany","institution_ids":["https://openalex.org/I161046081"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5038861833","display_name":"Bernd Becker","orcid":"https://orcid.org/0000-0003-4031-3258"},"institutions":[{"id":"https://openalex.org/I161046081","display_name":"University of Freiburg","ror":"https://ror.org/0245cg223","country_code":"DE","type":"education","lineage":["https://openalex.org/I161046081"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Bernd Becker","raw_affiliation_strings":["University of Freiburg, Freiburg, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Freiburg, Freiburg, Germany","institution_ids":["https://openalex.org/I161046081"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5008775226","display_name":"Hans-Joachim Wunderlich","orcid":"https://orcid.org/0000-0003-4536-8290"},"institutions":[{"id":"https://openalex.org/I100066346","display_name":"University of Stuttgart","ror":"https://ror.org/04vnq7t77","country_code":"DE","type":"education","lineage":["https://openalex.org/I100066346"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Hans-Joachim Wunderlich","raw_affiliation_strings":["ITI, University of Stuttgart, Stuttgart, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ITI, University of Stuttgart, Stuttgart, Germany","institution_ids":["https://openalex.org/I100066346"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.2369,"has_fulltext":false,"cited_by_count":18,"citation_normalized_percentile":{"value":0.93701059,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":99},"biblio":{"volume":"3440","issue":null,"first_page":"1","last_page":"6"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9987999796867371,"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/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9987999796867371,"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/T12122","display_name":"Physical Unclonable Functions (PUFs) and Hardware Security","score":0.9972000122070312,"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/T11601","display_name":"Neuroscience and Neural Engineering","score":0.9961000084877014,"subfield":{"id":"https://openalex.org/subfields/2804","display_name":"Cellular and Molecular Neuroscience"},"field":{"id":"https://openalex.org/fields/28","display_name":"Neuroscience"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7775290608406067},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.7111706137657166},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.6931557655334473},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.5837679505348206},{"id":"https://openalex.org/keywords/side-channel-attack","display_name":"Side channel attack","score":0.4404650330543518},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.43753620982170105},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.41760289669036865},{"id":"https://openalex.org/keywords/variety","display_name":"Variety (cybernetics)","score":0.41280362010002136},{"id":"https://openalex.org/keywords/channel","display_name":"Channel (broadcasting)","score":0.4108232259750366},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.28797703981399536},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.2591964900493622},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.22723078727722168},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.12070637941360474}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7775290608406067},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.7111706137657166},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.6931557655334473},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.5837679505348206},{"id":"https://openalex.org/C49289754","wikidata":"https://www.wikidata.org/wiki/Q2267081","display_name":"Side channel attack","level":3,"score":0.4404650330543518},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.43753620982170105},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.41760289669036865},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.41280362010002136},{"id":"https://openalex.org/C127162648","wikidata":"https://www.wikidata.org/wiki/Q16858953","display_name":"Channel (broadcasting)","level":2,"score":0.4108232259750366},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.28797703981399536},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.2591964900493622},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.22723078727722168},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.12070637941360474},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/ets.2017.7968247","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ets.2017.7968247","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2017 22nd IEEE European Test Symposium (ETS)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.6499999761581421,"display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":31,"referenced_works":["https://openalex.org/W1563937974","https://openalex.org/W1605172130","https://openalex.org/W1978537575","https://openalex.org/W1982558302","https://openalex.org/W1992787530","https://openalex.org/W1997823608","https://openalex.org/W2004467081","https://openalex.org/W2021949528","https://openalex.org/W2028245341","https://openalex.org/W2030873248","https://openalex.org/W2040760679","https://openalex.org/W2048373673","https://openalex.org/W2061551573","https://openalex.org/W2075986680","https://openalex.org/W2078353671","https://openalex.org/W2095507076","https://openalex.org/W2103468612","https://openalex.org/W2123283296","https://openalex.org/W2128285650","https://openalex.org/W2143180464","https://openalex.org/W2145071552","https://openalex.org/W2154173307","https://openalex.org/W2403604573","https://openalex.org/W2432335885","https://openalex.org/W2484367995","https://openalex.org/W2488840765","https://openalex.org/W4249663069","https://openalex.org/W4285719527","https://openalex.org/W6657495859","https://openalex.org/W6662018891","https://openalex.org/W6682463955"],"related_works":["https://openalex.org/W4321442002","https://openalex.org/W2015265939","https://openalex.org/W2284072287","https://openalex.org/W2611067230","https://openalex.org/W2480201319","https://openalex.org/W2387706296","https://openalex.org/W2155788121","https://openalex.org/W4235469518","https://openalex.org/W362492756","https://openalex.org/W2294325978"],"abstract_inverted_index":{"A":[0],"large":[1],"amount":[2],"of":[3,22,76,99,143],"on-chip":[4,69],"infrastructure,":[5],"such":[6,29],"as":[7,60,79,81],"design-for-test,":[8],"debug,":[9,19],"monitoring,":[10],"or":[11,49,153],"calibration,":[12],"is":[13],"required":[14],"for":[15,90,93],"the":[16,86,94],"efficient":[17],"manufacturing,":[18],"and":[20,35,63,74,96,102,115,120,130],"operation":[21],"complex":[23],"hardware":[24],"systems.":[25],"The":[26,71,128],"access":[27,66,83,100,118,150],"to":[28,51,68,113,122,125,139,147],"infrastructure":[30,78],"poses":[31],"severe":[32],"system":[33,87],"safety":[34],"security":[36,103],"threats":[37],"since":[38],"it":[39],"may":[40],"constitute":[41],"a":[42,61,110,140,144],"side-channel":[43],"exposing":[44],"internal":[45],"state,":[46],"sensitive":[47],"data,":[48],"IP":[50],"attackers.":[52],"Reconfigurable":[53],"scan":[54],"networks":[55],"(RSNs)":[56],"have":[57],"been":[58],"proposed":[59],"scalable":[62],"flexible":[64],"scan-based":[65],"mechanism":[67],"infrastructure.":[70],"increasing":[72],"number":[73],"variety":[75],"integrated":[77],"well":[80],"diverse":[82],"constraints":[84],"over":[85],"lifetime":[88],"demand":[89],"systematic":[91],"methods":[92],"specification":[95],"formal":[97,141],"verification":[98],"protection":[101],"properties":[104,151],"in":[105],"RSNs.":[106],"This":[107],"work":[108],"presents":[109],"novel":[111],"method":[112],"specify":[114],"verify":[116],"fine-grained":[117],"permissions":[119,129],"restrictions":[121,131],"instruments":[123],"attached":[124],"an":[126],"RSN.":[127],"are":[132,137],"transformed":[133],"into":[134],"predicates":[135],"that":[136],"added":[138],"model":[142],"given":[145],"RSN":[146],"prove":[148],"which":[149],"hold":[152],"do":[154],"not":[155],"hold.":[156]},"counts_by_year":[{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":6},{"year":2018,"cited_by_count":4},{"year":2017,"cited_by_count":2}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}