{"id":"https://openalex.org/W2142963883","doi":"https://doi.org/10.1016/j.cose.2008.05.002","title":"Enforcing memory policy specifications in reconfigurable hardware","display_name":"Enforcing memory policy specifications in reconfigurable hardware","publication_year":2008,"publication_date":"2008-05-24","ids":{"openalex":"https://openalex.org/W2142963883","doi":"https://doi.org/10.1016/j.cose.2008.05.002","mag":"2142963883"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1016/j.cose.2008.05.002","pdf_url":null,"source":{"id":"https://openalex.org/S12529635","display_name":"Computers & Security","issn_l":"0167-4048","issn":["0167-4048","1872-6208"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"journal-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://calhoun.nps.edu/bitstreams/14df1446-fee6-4350-8931-5c5574c4c75b/download","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5008897604","display_name":"Ted Huffmire","orcid":null},"institutions":[{"id":"https://openalex.org/I35364215","display_name":"Naval Postgraduate School","ror":"https://ror.org/033yfkj90","country_code":"US","type":"education","lineage":["https://openalex.org/I1330347796","https://openalex.org/I3130687028","https://openalex.org/I35364215","https://openalex.org/I4399598358"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ted Huffmire","raw_affiliation_strings":["Naval Postgraduate School, Department of Computer Science, Monterey, CA 93943, USA"],"affiliations":[{"raw_affiliation_string":"Naval Postgraduate School, Department of Computer Science, Monterey, CA 93943, USA","institution_ids":["https://openalex.org/I35364215"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5036932071","display_name":"Timothy Sherwood","orcid":"https://orcid.org/0000-0002-6550-6075"},"institutions":[{"id":"https://openalex.org/I154570441","display_name":"University of California, Santa Barbara","ror":"https://ror.org/02t274463","country_code":"US","type":"education","lineage":["https://openalex.org/I154570441"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Timothy Sherwood","raw_affiliation_strings":["University of California, Santa Barbara, Department of Computer Science, Santa Barbara, CA 93106, USA"],"affiliations":[{"raw_affiliation_string":"University of California, Santa Barbara, Department of Computer Science, Santa Barbara, CA 93106, USA","institution_ids":["https://openalex.org/I154570441"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5000231774","display_name":"Ryan Kastner","orcid":"https://orcid.org/0000-0001-9062-5570"},"institutions":[{"id":"https://openalex.org/I36258959","display_name":"University of California, San Diego","ror":"https://ror.org/0168r3w48","country_code":"US","type":"education","lineage":["https://openalex.org/I36258959"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ryan Kastner","raw_affiliation_strings":["University of California San Diego, Department of Computer Science and Engineering, La Jolla, CA 92093, USA"],"affiliations":[{"raw_affiliation_string":"University of California San Diego, Department of Computer Science and Engineering, La Jolla, CA 92093, USA","institution_ids":["https://openalex.org/I36258959"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5109234740","display_name":"Timothy E. Levin","orcid":null},"institutions":[{"id":"https://openalex.org/I35364215","display_name":"Naval Postgraduate School","ror":"https://ror.org/033yfkj90","country_code":"US","type":"education","lineage":["https://openalex.org/I1330347796","https://openalex.org/I3130687028","https://openalex.org/I35364215","https://openalex.org/I4399598358"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Timothy Levin","raw_affiliation_strings":["Naval Postgraduate School, Department of Computer Science, Monterey, CA 93943, USA"],"affiliations":[{"raw_affiliation_string":"Naval Postgraduate School, Department of Computer Science, Monterey, CA 93943, USA","institution_ids":["https://openalex.org/I35364215"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":3190,"currency":"USD","value_usd":3190,"provenance":"doaj"},"apc_paid":null,"fwci":2.933,"has_fulltext":false,"cited_by_count":23,"citation_normalized_percentile":{"value":0.957195,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":90},"biblio":{"volume":"27","issue":"5-6","first_page":"197","last_page":"215"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Language-based Information Flow Security","score":1.0,"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"}},"topics":[{"id":"https://openalex.org/T11424","display_name":"Language-based Information Flow Security","score":1.0,"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/T11241","display_name":"Characterization and Detection of Android Malware","score":0.9985,"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/T12122","display_name":"Hardware Security and Authentication Techniques","score":0.9985,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/fpga-security","display_name":"FPGA Security","score":0.609461},{"id":"https://openalex.org/keywords/memory-protection","display_name":"Memory Protection","score":0.607329},{"id":"https://openalex.org/keywords/hardware-security","display_name":"Hardware Security","score":0.514831},{"id":"https://openalex.org/keywords/security-policies","display_name":"Security Policies","score":0.500515},{"id":"https://openalex.org/keywords/shared-resource","display_name":"Shared resource","score":0.45846164},{"id":"https://openalex.org/keywords/security-policy","display_name":"Security policy","score":0.41597393},{"id":"https://openalex.org/keywords/auxiliary-memory","display_name":"Auxiliary memory","score":0.4119825}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8476273},{"id":"https://openalex.org/C42935608","wikidata":"https://www.wikidata.org/wiki/Q190411","display_name":"Field-programmable gate array","level":2,"score":0.64705306},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.5840562},{"id":"https://openalex.org/C51332947","wikidata":"https://www.wikidata.org/wiki/Q1172305","display_name":"Shared resource","level":2,"score":0.45846164},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4511782},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.43819112},{"id":"https://openalex.org/C154908896","wikidata":"https://www.wikidata.org/wiki/Q2167404","display_name":"Security policy","level":2,"score":0.41597393},{"id":"https://openalex.org/C82687282","wikidata":"https://www.wikidata.org/wiki/Q66221","display_name":"Auxiliary memory","level":2,"score":0.4119825},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.33608675},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.27817005},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.0},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1016/j.cose.2008.05.002","pdf_url":null,"source":{"id":"https://openalex.org/S12529635","display_name":"Computers & Security","issn_l":"0167-4048","issn":["0167-4048","1872-6208"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"https://hdl.handle.net/10945/7156","pdf_url":"https://calhoun.nps.edu/bitstreams/14df1446-fee6-4350-8931-5c5574c4c75b/download","source":{"id":"https://openalex.org/S4306400952","display_name":"Calhoun: The Naval Postgraduate School Institutional Archive (Naval Postgraduate School)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I35364215","host_organization_name":"Naval Postgraduate School","host_organization_lineage":["https://openalex.org/I35364215"],"host_organization_lineage_names":["Naval Postgraduate School"],"type":"repository"},"license":"public-domain","license_id":"https://openalex.org/licenses/public-domain","version":"submittedVersion","is_accepted":false,"is_published":false}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://hdl.handle.net/10945/7156","pdf_url":"https://calhoun.nps.edu/bitstreams/14df1446-fee6-4350-8931-5c5574c4c75b/download","source":{"id":"https://openalex.org/S4306400952","display_name":"Calhoun: The Naval Postgraduate School Institutional Archive (Naval Postgraduate School)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I35364215","host_organization_name":"Naval Postgraduate School","host_organization_lineage":["https://openalex.org/I35364215"],"host_organization_lineage_names":["Naval Postgraduate School"],"type":"repository"},"license":"public-domain","license_id":"https://openalex.org/licenses/public-domain","version":"submittedVersion","is_accepted":false,"is_published":false},"sustainable_development_goals":[{"display_name":"Peace, justice, and strong institutions","score":0.48,"id":"https://metadata.un.org/sdg/16"}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":79,"referenced_works":["https://openalex.org/W1491178396","https://openalex.org/W1497651746","https://openalex.org/W1523051745","https://openalex.org/W1569549580","https://openalex.org/W1629850749","https://openalex.org/W1865418926","https://openalex.org/W191839766","https://openalex.org/W1969146745","https://openalex.org/W1975085273","https://openalex.org/W1977247323","https://openalex.org/W1977764760","https://openalex.org/W1987323082","https://openalex.org/W2006611045","https://openalex.org/W2012478492","https://openalex.org/W2028149002","https://openalex.org/W2036910349","https://openalex.org/W2039319436","https://openalex.org/W2039870651","https://openalex.org/W2042276850","https://openalex.org/W2048476153","https://openalex.org/W2052027679","https://openalex.org/W2053409086","https://openalex.org/W206338618","https://openalex.org/W2094873755","https://openalex.org/W2098451214","https://openalex.org/W2099137371","https://openalex.org/W2099917029","https://openalex.org/W2100648544","https://openalex.org/W2105590118","https://openalex.org/W2105645970","https://openalex.org/W2109381072","https://openalex.org/W2109387928","https://openalex.org/W2109507516","https://openalex.org/W2112998096","https://openalex.org/W2115294662","https://openalex.org/W2115733366","https://openalex.org/W2118599102","https://openalex.org/W2119076670","https://openalex.org/W2121251946","https://openalex.org/W2121640646","https://openalex.org/W2122049982","https://openalex.org/W2122711125","https://openalex.org/W2129183345","https://openalex.org/W2130768664","https://openalex.org/W2134296086","https://openalex.org/W2135384752","https://openalex.org/W2137622193","https://openalex.org/W2138610902","https://openalex.org/W2139395674","https://openalex.org/W2139913531","https://openalex.org/W2142520924","https://openalex.org/W2145693081","https://openalex.org/W2149209089","https://openalex.org/W2150405043","https://openalex.org/W2157571304","https://openalex.org/W2162022335","https://openalex.org/W2162171351","https://openalex.org/W2162420120","https://openalex.org/W2165547651","https://openalex.org/W2165557710","https://openalex.org/W2166180744","https://openalex.org/W2172988812","https://openalex.org/W2186294736","https://openalex.org/W2294370671","https://openalex.org/W2477998309","https://openalex.org/W2499393420","https://openalex.org/W2535919346","https://openalex.org/W2590065580","https://openalex.org/W2752885492","https://openalex.org/W2803010292","https://openalex.org/W2913927808","https://openalex.org/W2996027056","https://openalex.org/W3145128584","https://openalex.org/W4214931895","https://openalex.org/W4230114382","https://openalex.org/W4231605574","https://openalex.org/W4285719527","https://openalex.org/W4298064752","https://openalex.org/W4298334431"],"related_works":["https://openalex.org/W47036539","https://openalex.org/W4200391368","https://openalex.org/W3042736233","https://openalex.org/W2991958541","https://openalex.org/W2665576784","https://openalex.org/W261301397","https://openalex.org/W2210979487","https://openalex.org/W2111241003","https://openalex.org/W2082487009","https://openalex.org/W2074043759"],"abstract_inverted_index":{"While":[0,49],"general-purpose":[1],"processor":[2],"based":[3],"systems":[4,21],"are":[5,34],"built":[6,22],"to":[7,11,66],"enforce":[8],"memory":[9,86],"protection":[10,87],"prevent":[12],"the":[13,62,72,79,138,142],"unintended":[14],"sharing":[15],"of":[16,74,83,90,109,119,127,141],"data":[17],"between":[18],"processes,":[19],"current":[20],"around":[23],"reconfigurable":[24,32],"hardware":[25],"typically":[26],"offer":[27],"no":[28],"such":[29,46],"protection.":[30],"Several":[31],"cores":[33],"often":[35],"integrated":[36],"onto":[37],"a":[38,96,125,133,149],"single":[39],"chip":[40],"where":[41],"they":[42],"share":[43],"external":[44],"resources":[45],"as":[47,148],"memory.":[48],"this":[50],"enables":[51],"small":[52],"form":[53],"factor":[54],"and":[55,81,95,121],"low":[56],"cost":[57],"designs,":[58],"it":[59],"opens":[60],"up":[61],"opportunity":[63],"for":[64,98,135],"modules":[65],"intercept":[67],"or":[68],"even":[69],"interfere":[70],"with":[71],"operation":[73],"one":[75],"another.":[76],"We":[77,130],"investigate":[78],"design":[80,113],"synthesis":[82],"an":[84],"FPGA":[85,104],"mechanism":[88],"capable":[89],"enforcing":[91],"access":[92,111],"control":[93],"policies":[94],"methodology":[97],"translating":[99],"formal":[100],"policy":[101],"descriptions":[102],"into":[103],"enforcement":[105],"mechanisms.":[106],"The":[107],"efficiency":[108],"our":[110],"language":[112],"flow":[114],"is":[115],"evaluated":[116],"in":[117],"terms":[118],"area":[120],"cycle":[122],"time":[123],"across":[124],"variety":[126],"security":[128],"scenarios.":[129],"also":[131],"describe":[132],"technique":[134],"ensuring":[136],"that":[137],"internal":[139],"state":[140],"reference":[143],"monitor":[144],"cannot":[145],"be":[146],"used":[147],"covert":[150],"storage":[151],"channel.":[152]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2142963883","counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":1},{"year":2012,"cited_by_count":2}],"updated_date":"2024-11-29T16:19:04.693022","created_date":"2016-06-24"}
