{"id":"https://openalex.org/W6925368701","doi":"https://doi.org/10.17615/q39e-f161","title":"MINING SECURE BEHAVIOR OF HARDWARE DESIGNS","display_name":"MINING SECURE BEHAVIOR OF HARDWARE DESIGNS","publication_year":2021,"publication_date":"2021-08-18","ids":{"openalex":"https://openalex.org/W6925368701","doi":"https://doi.org/10.17615/q39e-f161"},"language":"en","primary_location":{"id":"doi:10.17615/q39e-f161","is_oa":true,"landing_page_url":"https://doi.org/10.17615/q39e-f161","pdf_url":null,"source":{"id":"https://openalex.org/S7407051488","display_name":"UNC Libraries","issn_l":null,"issn":[],"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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"thesis"},"type":"article","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.17615/q39e-f161","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Deutschbein, Calvin","orcid":null},"institutions":[{"id":"https://openalex.org/I114027177","display_name":"University of North Carolina at Chapel Hill","ror":"https://ror.org/0130frc33","country_code":"US","type":"education","lineage":["https://openalex.org/I114027177"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Deutschbein, Calvin","raw_affiliation_strings":["University of North Carolina at Chapel Hill"],"affiliations":[{"raw_affiliation_string":"University of North Carolina at Chapel Hill","institution_ids":["https://openalex.org/I114027177"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I114027177"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.4410922,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":true,"primary_topic":{"id":"https://openalex.org/T14404","display_name":"European Socioeconomic and Political Studies","score":0.08699999749660492,"subfield":{"id":"https://openalex.org/subfields/2002","display_name":"Economics and Econometrics"},"field":{"id":"https://openalex.org/fields/20","display_name":"Economics, Econometrics and Finance"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T14404","display_name":"European Socioeconomic and Political Studies","score":0.08699999749660492,"subfield":{"id":"https://openalex.org/subfields/2002","display_name":"Economics and Econometrics"},"field":{"id":"https://openalex.org/fields/20","display_name":"Economics, Econometrics and Finance"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T12619","display_name":"Political Systems and Governance","score":0.04839999973773956,"subfield":{"id":"https://openalex.org/subfields/3320","display_name":"Political Science and International Relations"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10289","display_name":"European Union Policy and Governance","score":0.04619999974966049,"subfield":{"id":"https://openalex.org/subfields/3320","display_name":"Political Science and International Relations"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.5174000263214111},{"id":"https://openalex.org/keywords/privilege","display_name":"Privilege (computing)","score":0.4526999890804291},{"id":"https://openalex.org/keywords/software-security-assurance","display_name":"Software security assurance","score":0.4237000048160553},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.4081000089645386},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.40529999136924744},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.3968000113964081},{"id":"https://openalex.org/keywords/computer-security-model","display_name":"Computer security model","score":0.38089999556541443},{"id":"https://openalex.org/keywords/threat-model","display_name":"Threat model","score":0.33889999985694885},{"id":"https://openalex.org/keywords/hardware-security-module","display_name":"Hardware security module","score":0.3249000012874603}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7178000211715698},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.5174000263214111},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.5085999965667725},{"id":"https://openalex.org/C2780138299","wikidata":"https://www.wikidata.org/wiki/Q3404265","display_name":"Privilege (computing)","level":2,"score":0.4526999890804291},{"id":"https://openalex.org/C62913178","wikidata":"https://www.wikidata.org/wiki/Q7554361","display_name":"Software security assurance","level":4,"score":0.4237000048160553},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.4081000089645386},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.40529999136924744},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.3968000113964081},{"id":"https://openalex.org/C121822524","wikidata":"https://www.wikidata.org/wiki/Q5157582","display_name":"Computer security model","level":2,"score":0.38089999556541443},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.3508000075817108},{"id":"https://openalex.org/C140547941","wikidata":"https://www.wikidata.org/wiki/Q7797194","display_name":"Threat model","level":2,"score":0.33889999985694885},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.329800009727478},{"id":"https://openalex.org/C39217717","wikidata":"https://www.wikidata.org/wiki/Q1432354","display_name":"Hardware security module","level":3,"score":0.3249000012874603},{"id":"https://openalex.org/C527821871","wikidata":"https://www.wikidata.org/wiki/Q228502","display_name":"Access control","level":2,"score":0.32269999384880066},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.3140000104904175},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.3028999865055084},{"id":"https://openalex.org/C52913732","wikidata":"https://www.wikidata.org/wiki/Q857102","display_name":"Software design","level":4,"score":0.29580000042915344},{"id":"https://openalex.org/C22680326","wikidata":"https://www.wikidata.org/wiki/Q7444867","display_name":"Secure coding","level":5,"score":0.27880001068115234},{"id":"https://openalex.org/C3406870","wikidata":"https://www.wikidata.org/wiki/Q6044160","display_name":"Intelligent verification","level":5,"score":0.27140000462532043},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.26809999346733093},{"id":"https://openalex.org/C57371142","wikidata":"https://www.wikidata.org/wiki/Q16914225","display_name":"Functional specification","level":5,"score":0.2676999866962433},{"id":"https://openalex.org/C31352089","wikidata":"https://www.wikidata.org/wiki/Q3750474","display_name":"Systems design","level":2,"score":0.26409998536109924},{"id":"https://openalex.org/C154908896","wikidata":"https://www.wikidata.org/wiki/Q2167404","display_name":"Security policy","level":2,"score":0.26089999079704285},{"id":"https://openalex.org/C90673727","wikidata":"https://www.wikidata.org/wiki/Q901718","display_name":"Product (mathematics)","level":2,"score":0.25690001249313354},{"id":"https://openalex.org/C84651959","wikidata":"https://www.wikidata.org/wiki/Q17052506","display_name":"System requirements specification","level":2,"score":0.25690001249313354},{"id":"https://openalex.org/C195518309","wikidata":"https://www.wikidata.org/wiki/Q13424265","display_name":"Security testing","level":5,"score":0.2556999921798706},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.2540000081062317}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.17615/q39e-f161","is_oa":true,"landing_page_url":"https://doi.org/10.17615/q39e-f161","pdf_url":null,"source":{"id":"https://openalex.org/S7407051488","display_name":"UNC Libraries","issn_l":null,"issn":[],"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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"thesis"}],"best_oa_location":{"id":"doi:10.17615/q39e-f161","is_oa":true,"landing_page_url":"https://doi.org/10.17615/q39e-f161","pdf_url":null,"source":{"id":"https://openalex.org/S7407051488","display_name":"UNC Libraries","issn_l":null,"issn":[],"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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"thesis"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Hardware":[0,27],"presents":[1],"an":[2],"enticing":[3],"target":[4],"for":[5,113,134,160,169,199],"attackers":[6],"attempting":[7],"to":[8,11,33,45,122,143,190,292],"gain":[9],"access":[10],"a":[12,36,128,138,147,179,210,220,246,285,307],"secured":[13],"com-puter":[14],"system.":[15],"Software-only":[16],"exploits":[17],"of":[18,140,146,181],"hardware":[19,37,164,200],"vulnerabilities":[20,270],"may":[21,64,184,258,287],"bypass":[22],"software":[23],"level":[24],"secu-rity":[25],"features.":[26],"must":[28,42,72],"be":[29,43,73,91],"made":[30],"secure.":[31],"However,":[32,87,154],"understand":[34],"whether":[35],"designis":[38],"secure,":[39],"security":[40,47,82,132,193,249,269,299],"specifications":[41,177],"generated":[44],"define":[46],"on":[48],"that":[49,209,222,245,284,305],"design.":[50],"Micro-architectural":[51],"design":[52,79,94,214,308],"elements,":[53],"undocumented":[54],"or":[55],"under-documented":[56],"features,":[57],"debug":[58],"interfaces,and":[59],"information\u2013flow":[60,280],"side":[61],"channels":[62],"all":[63],"introduce":[65],"new":[66],"vulnerabilities.":[67,86],"The":[68],"secure":[69,124,265],"behaviorof":[70],"each":[71],"specified":[74],"in":[75,110,152],"order":[76],"ensure":[77],"the":[78,186,213],"meets":[80],"its":[81],"requirements":[83],"and":[84,96,106,183,236,271],"containsno":[85],"manual":[88],"efforts":[89],"can":[90],"overwhelmed":[92],"by":[93,130,149],"complexity,":[95],"manyhardware":[97],"vulnerabilities,":[98],"such":[99],"as":[100,205,301,303],"Memory":[101,234],"Sinkhole,":[102],"SYSRET":[103,237],"privilege":[104,238],"escalation,":[105],"mostrecently":[107],"Spectre/Meltdown,":[108],"persisted":[109],"product":[111],"lines":[112],"decades":[114],"despite":[115],"extensive":[116],"testing.":[117],"Anautomated":[118],"solution":[119,129],"is":[120],"needed":[121],"specify":[123,144],"designs.Specification":[125],"mining":[126,156,198],"offers":[127],"automating":[131],"specification":[133,155,187,197,221,256],"hardware.Specification":[135],"miners":[136],"use":[137,161],"form":[139],"machine":[141],"learning":[142],"behaviors":[145],"system":[148,151],"studyinga":[150],"execution.":[153],"was":[157],"first":[158],"developed":[159],"with":[162],"software.Complex":[163],"designs":[165,232,266],"offer":[166],"unique":[167],"challenges":[168],"this":[170],"technique.":[171],"Further,":[172],"specificationminers":[173],"traditionally":[174],"capture":[175],"functional":[176],"without":[178],"notion":[180],"security,":[182],"notuse":[185],"logics":[188],"necessary":[189],"describe":[191],"some":[192],"requirements.This":[194],"work":[195],"demonstrates":[196],"security.":[201],"On":[202],"CISC":[203],"architecturessuch":[204],"x86,":[206],"I":[207,243,282],"demonstrate":[208,244,283,306],"miner":[211,247,286],"partitioning":[212],"state":[215],"space":[216],"along":[217],"control":[218],"signalsdiscovers":[219],"includes":[223],"manually":[224],"defined":[225],"properties":[226,260,295,300,304],"and,":[227],"if":[228,262],"followed,":[229,263],"would":[230,264],"secureCPU":[231],"against":[233,272],"Sinkhole":[235],"escalation.":[239],"For":[240,279],"temporal":[241,252],"prop-erties,":[242],"using":[248],"specific":[250],"linear":[251],"logic":[253],"(LTL)":[254],"templatesfor":[255],"detection":[257],"find":[259],"that,":[261],"againsthistorical":[267],"documented":[268],"potential":[273],"future":[274],"attacks":[275],"targeting":[276],"sys-tem":[277],"initialization.":[278],"hyperproperties,":[281],"useInformation":[288],"Flow":[289],"Tracking":[290],"(IFT)":[291],"develop":[293],"output":[294],"containing":[296],"designer":[297],"specifiedinformation\u2013flow":[298],"well":[302],"does":[309],"notcontain":[310],"certain":[311],"Common":[312],"Weakness":[313],"Enumerations":[314],"(CWEs).":[315]},"counts_by_year":[],"updated_date":"2025-11-06T06:51:31.235846","created_date":"2025-10-10T00:00:00"}