{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T02:07:28Z","timestamp":1776305248655,"version":"3.50.1"},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,5]]},"DOI":"10.1109\/hst.2014.6855571","type":"proceedings-article","created":{"date-parts":[[2014,7,29]],"date-time":"2014-07-29T20:26:31Z","timestamp":1406665591000},"page":"70-75","source":"Crossref","is-referenced-by-count":24,"title":["Security of SoC firmware load protocols"],"prefix":"10.1109","author":[{"given":"Sava","family":"Krstic","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jin","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David W.","family":"Palmer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Randy B.","family":"Osborne","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eran","family":"Talmor","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"13","first-page":"8","volume":"15","year":"2011","journal-title":"Intel Technology Journal"},{"key":"11","article-title":"Business Process Model and Notation (BPMN) version 2.0","year":"2011","journal-title":"Technical Report"},{"key":"12","author":"ryan","year":"2000","journal-title":"The Modelling and Analysis of Security Protocols The CSP Approach"},{"key":"3","article-title":"Guidelines on hardware- rooted security in mobile devices (Draft","author":"chen","year":"2012","journal-title":"Technical Report 800-164"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-004-0145-x"},{"key":"1","article-title":"TOCTOU, traps, and trusted computing","author":"bratus","year":"0","journal-title":"Proceedings of the 1st International Conference on Trusted Computing and Trust in Information Technologies"},{"key":"10","first-page":"2033","article-title":"A precise execution semantics for BPMN","volume":"39","author":"lam","year":"2012","journal-title":"IAENG International Journal of Computer Science"},{"key":"7","first-page":"77105","article-title":"Message sequence charts","author":"hard","year":"2003","journal-title":"UMLfor Real Design of Embedded Real-Time Systems"},{"key":"6","doi-asserted-by":"crossref","first-page":"390","DOI":"10.1007\/3-540-61474-5_86","article-title":"The Murphi verification system","volume":"96","author":"dill","year":"1996","journal-title":"Proceedings of the 8th International Conference on Computer Aided Verfication CAV ?"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011227529550"},{"key":"4","article-title":"When firmware modifications attack: A case study of embedded exploitation","author":"cui","year":"2013","journal-title":"NDSS the Internet Society"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2009.08.016"},{"key":"8","author":"holzmann","year":"2003","journal-title":"The SPIN Model Checker Primer and Reference Manual"}],"event":{"name":"2014 IEEE International Symposium on Hardware-Oriented Security and Trust (HOST)","location":"Arlington, VA, USA","start":{"date-parts":[[2014,5,6]]},"end":{"date-parts":[[2014,5,7]]}},"container-title":["2014 IEEE International Symposium on Hardware-Oriented Security and Trust (HOST)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6847848\/6855557\/06855571.pdf?arnumber=6855571","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,13]],"date-time":"2019-08-13T09:30:11Z","timestamp":1565688611000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6855571\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,5]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/hst.2014.6855571","relation":{},"subject":[],"published":{"date-parts":[[2014,5]]}}}