{"id":"https://openalex.org/W2979973930","doi":"https://doi.org/10.1145/3359986.3361200","title":"Securing implantable medical devices with runtime enforcement hardware","display_name":"Securing implantable medical devices with runtime enforcement hardware","publication_year":2019,"publication_date":"2019-10-07","ids":{"openalex":"https://openalex.org/W2979973930","doi":"https://doi.org/10.1145/3359986.3361200","mag":"2979973930"},"language":"en","primary_location":{"id":"doi:10.1145/3359986.3361200","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3359986.3361200","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design","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/A5053148078","display_name":"Hammond Pearce","orcid":"https://orcid.org/0000-0002-3488-7004"},"institutions":[{"id":"https://openalex.org/I154130895","display_name":"University of Auckland","ror":"https://ror.org/03b94tp07","country_code":"NZ","type":"education","lineage":["https://openalex.org/I154130895"]}],"countries":["NZ"],"is_corresponding":false,"raw_author_name":"Hammond Pearce","raw_affiliation_strings":["University of Auckland, Auckland, New Zealand"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Auckland, Auckland, New Zealand","institution_ids":["https://openalex.org/I154130895"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041678975","display_name":"Matthew M. Y. Kuo","orcid":"https://orcid.org/0000-0001-7269-5874"},"institutions":[{"id":"https://openalex.org/I39854758","display_name":"Auckland University of Technology","ror":"https://ror.org/01zvqw119","country_code":"NZ","type":"education","lineage":["https://openalex.org/I39854758"]}],"countries":["NZ"],"is_corresponding":false,"raw_author_name":"Matthew M. Y. Kuo","raw_affiliation_strings":["AUT University, Auckland, New Zealand"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"AUT University, Auckland, New Zealand","institution_ids":["https://openalex.org/I39854758"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076621370","display_name":"Partha S. Roop","orcid":"https://orcid.org/0000-0001-9654-5678"},"institutions":[{"id":"https://openalex.org/I154130895","display_name":"University of Auckland","ror":"https://ror.org/03b94tp07","country_code":"NZ","type":"education","lineage":["https://openalex.org/I154130895"]}],"countries":["NZ"],"is_corresponding":false,"raw_author_name":"Partha S. Roop","raw_affiliation_strings":["University of Auckland, Auckland, New Zealand"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Auckland, Auckland, New Zealand","institution_ids":["https://openalex.org/I154130895"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5035408678","display_name":"Srinivas Pinisetty","orcid":"https://orcid.org/0000-0001-7779-8231"},"institutions":[{"id":"https://openalex.org/I99729588","display_name":"Indian Institute of Technology Bhubaneswar","ror":"https://ror.org/04gx72j20","country_code":"IN","type":"education","lineage":["https://openalex.org/I99729588"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Srinivas Pinisetty","raw_affiliation_strings":["I.I.T. Bhubaneswar, Jatni, Odisha, India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"I.I.T. Bhubaneswar, Jatni, Odisha, India","institution_ids":["https://openalex.org/I99729588"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":27,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"9"},"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.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/T12122","display_name":"Physical Unclonable Functions (PUFs) and Hardware Security","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/T11424","display_name":"Security and Verification in Computing","score":0.9957000017166138,"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/T11932","display_name":"Wireless Body Area Networks","score":0.9814000129699707,"subfield":{"id":"https://openalex.org/subfields/2204","display_name":"Biomedical 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/computer-science","display_name":"Computer science","score":0.7971013784408569},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7781411409378052},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.5913349390029907},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.5801829099655151},{"id":"https://openalex.org/keywords/enforcement","display_name":"Enforcement","score":0.5317056775093079},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.5160862803459167},{"id":"https://openalex.org/keywords/hardware-security-module","display_name":"Hardware security module","score":0.47365912795066833},{"id":"https://openalex.org/keywords/encryption","display_name":"Encryption","score":0.4667404294013977},{"id":"https://openalex.org/keywords/threat-model","display_name":"Threat model","score":0.44253793358802795},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.4204046130180359},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.3313574194908142},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.17731812596321106},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.096525639295578}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7971013784408569},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7781411409378052},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.5913349390029907},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.5801829099655151},{"id":"https://openalex.org/C2779777834","wikidata":"https://www.wikidata.org/wiki/Q4202277","display_name":"Enforcement","level":2,"score":0.5317056775093079},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.5160862803459167},{"id":"https://openalex.org/C39217717","wikidata":"https://www.wikidata.org/wiki/Q1432354","display_name":"Hardware security module","level":3,"score":0.47365912795066833},{"id":"https://openalex.org/C148730421","wikidata":"https://www.wikidata.org/wiki/Q141090","display_name":"Encryption","level":2,"score":0.4667404294013977},{"id":"https://openalex.org/C140547941","wikidata":"https://www.wikidata.org/wiki/Q7797194","display_name":"Threat model","level":2,"score":0.44253793358802795},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4204046130180359},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.3313574194908142},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.17731812596321106},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.096525639295578},{"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/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3359986.3361200","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3359986.3361200","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W64030814","https://openalex.org/W564480503","https://openalex.org/W1977850862","https://openalex.org/W1992699253","https://openalex.org/W2029815091","https://openalex.org/W2032719203","https://openalex.org/W2063705570","https://openalex.org/W2068341689","https://openalex.org/W2101188359","https://openalex.org/W2125140474","https://openalex.org/W2145548455","https://openalex.org/W2156808151","https://openalex.org/W2161998562","https://openalex.org/W2294407885","https://openalex.org/W2559853975","https://openalex.org/W2757214569","https://openalex.org/W2805760905","https://openalex.org/W2904442697","https://openalex.org/W2963530628","https://openalex.org/W3163671086"],"related_works":["https://openalex.org/W1667647204","https://openalex.org/W2404647514","https://openalex.org/W4247536566","https://openalex.org/W2018477250","https://openalex.org/W3119814709","https://openalex.org/W4241418540","https://openalex.org/W3097218026","https://openalex.org/W4390481443","https://openalex.org/W2115394282","https://openalex.org/W4247267706"],"abstract_inverted_index":{"In":[0,119],"recent":[1],"years":[2],"we":[3,122,153],"have":[4],"seen":[5],"numerous":[6],"proof-of-concept":[7],"attacks":[8,45],"on":[9,50],"implantable":[10,92],"medical":[11,93],"devices":[12,26],"such":[13],"as":[14,83],"pacemakers.":[15],"Attackers":[16],"aim":[17],"to":[18,40,72,139],"breach":[19],"the":[20,30,89,108,111,156],"strict":[21],"operational":[22],"constraints":[23],"that":[24,110,172],"these":[25,42,68],"operate":[27],"within,":[28],"with":[29],"end-goal":[31],"of":[32,44,76,91,145,179],"compromising":[33],"patient":[34,130],"safety":[35],"and":[36,48,52,61,170,182],"health.":[37],"Most":[38],"efforts":[39],"prevent":[41,73],"kinds":[43],"are":[46],"informal,":[47],"focus":[49],"application-":[51],"system-level":[53],"security":[54],"---":[55],"for":[56,64,87,128,136],"instance,":[57],"using":[58,158],"encrypted":[59],"communications":[60],"digital":[62],"certificates":[63],"program":[65],"verification.":[66],"However,":[67],"approaches":[69],"will":[70],"struggle":[71],"all":[74,148],"classes":[75],"attacks.":[77],"Runtime":[78],"verification":[79],"has":[80],"been":[81],"proposed":[82],"a":[84,101,124,141,159,166],"formal":[85],"methodology":[86],"monitoring":[88],"status":[90],"devices.":[94],"Here,":[95],"if":[96],"an":[97],"attack":[98,112],"is":[99,103,134],"detected":[100],"warning":[102],"generated.":[104],"This":[105],"leaves":[106],"open":[107],"risk":[109],"can":[113,117],"succeed":[114],"before":[115],"intervention":[116],"occur.":[118],"this":[120],"paper,":[121],"propose":[123],"runtime-enforcement":[125],"based":[126],"approach":[127,164],"ensuring":[129],"security.":[131],"Custom":[132],"hardware":[133,157],"constructed":[135],"individual":[137],"patients":[138],"ensure":[140,151],"safe":[142],"minimum":[143],"quality":[144],"service":[146],"at":[147],"times.":[149],"To":[150],"correctness":[152],"formally":[154],"verify":[155],"model-checker.":[160],"We":[161],"present":[162],"our":[163],"through":[165],"pacemaker":[167],"case":[168],"study":[169],"demonstrate":[171],"it":[173],"incurs":[174],"minimal":[175],"overhead":[176],"in":[177],"terms":[178],"execution":[180],"time":[181],"power":[183],"consumption.":[184]},"counts_by_year":[{"year":2025,"cited_by_count":21},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}