{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,29]],"date-time":"2026-01-29T23:03:40Z","timestamp":1769727820699,"version":"3.49.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,5]]},"DOI":"10.1109\/hst.2016.7495564","type":"proceedings-article","created":{"date-parts":[[2016,6,25]],"date-time":"2016-06-25T07:39:11Z","timestamp":1466840351000},"page":"97-102","source":"Crossref","is-referenced-by-count":2,"title":["ACBuilder: A tool for hardware architecture security evaluation"],"prefix":"10.1109","author":[{"given":"Henrique","family":"Kawakami","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Ott","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hao-Chi","family":"Wong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ricardo","family":"Dahab","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roberto","family":"Gallo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/AERO.2008.4526576"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2010.26"},{"key":"ref12","article-title":"Clips user's guide","author":"giarratano","year":"1993"},{"key":"ref13","article-title":"Getting into the smram: Smm reloaded","author":"duflot","year":"2009","journal-title":"CanSecWest"},{"key":"ref14","article-title":"Attacking SMM Memory via Intel CPU Cache Poisoning","author":"wojtczuk","year":"2009","journal-title":"Invisible Things Lab Technical Report"},{"key":"ref15","year":"0","journal-title":"Intel 64 and IA-32 Architectures Software Developers Manual Combined Volumes (Document Number 325462&#x2013;043US)"},{"key":"ref16","year":"0","journal-title":"Intel Intel Core i7&#x2013;800 and i5-700 Desktop Processor Series(Document Number 322164&#x2013;004)"},{"key":"ref17","year":"0","journal-title":"Intel Intel 5 SeriesChipset and Intel 3400 SeriesChipset (Document Number 322169&#x2013;004)"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40793-2_3"},{"key":"ref4","article-title":"The goal structuring notation&#x2013;a safety argument notation","author":"kelly","year":"2004","journal-title":"Proceedings of the Dependable Systems and Networks 2004 Workshop on Assurance Cases"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-1534-2_14"},{"key":"ref6","article-title":"Arguing security-creating security assurance cases","author":"goodenough","year":"2007"},{"key":"ref5","article-title":"Ascadadelard safety case development manual","author":"bloomfield","year":"1998"},{"key":"ref8","article-title":"Assurance and safety case environment (asce)","author":"adelard","year":"2011"},{"key":"ref7","article-title":"Nato aep-67 - engineering for system assurance nato in programmes","year":"0"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.6028\/jres.115.013"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ARES.2015.60"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33675-1_2"}],"event":{"name":"2016 IEEE International Symposium on Hardware Oriented Security and Trust (HOST)","location":"McLean, VA, USA","start":{"date-parts":[[2016,5,3]]},"end":{"date-parts":[[2016,5,5]]}},"container-title":["2016 IEEE International Symposium on Hardware Oriented Security and Trust (HOST)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7489989\/7495545\/07495564.pdf?arnumber=7495564","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2016,9,29]],"date-time":"2016-09-29T09:03:17Z","timestamp":1475139797000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7495564\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,5]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/hst.2016.7495564","relation":{},"subject":[],"published":{"date-parts":[[2016,5]]}}}