{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,2]],"date-time":"2026-06-02T23:58:02Z","timestamp":1780444682127,"version":"3.54.1"},"reference-count":28,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,6]]},"DOI":"10.1109\/hst.2011.5954992","type":"proceedings-article","created":{"date-parts":[[2011,7,20]],"date-time":"2011-07-20T16:53:14Z","timestamp":1311180794000},"page":"34-39","source":"Crossref","is-referenced-by-count":29,"title":["Security Checkers: Detecting processor malicious inclusions at runtime"],"prefix":"10.1109","author":[{"given":"Michael","family":"Bilzor","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ted","family":"Huffmire","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Cynthia","family":"Irvine","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Tim","family":"Levin","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref10","first-page":"1","article-title":"Integrated Circuit Security: New Threats and Solutions","year":"0","journal-title":"CSIIRW '09 Proceedings of the 5th Annual Workshop on Cyber Security and Information Intelligence Research"},{"key":"ref11","first-page":"296","article-title":"Trojan Detection using IC Fingerprinting","year":"2007","journal-title":"IEEE Symposium on Security & Privacy 2007"},{"key":"ref12","article-title":"Trusted RTL: Trojan detection methodology in presilicon designs","year":"2010","journal-title":"Hardware-Oriented Security and Trust (HOST) 2010 IEEE International Symposium on"},{"key":"ref13","article-title":"Efficient Automata-Based Assertion-Checker Synthesis of PSL Properties","year":"2006","journal-title":"Eleventh Annual IEEE International High-Level Design and Test Workshop"},{"key":"ref14","first-page":"1","article-title":"PSL For Runtime Verification: Theory and Practice","year":"2007","journal-title":"Proceedings of the 7th International Workshop on Runtime Verification"},{"key":"ref15","year":"2007","journal-title":"Behavioral Synthesis of PSL Assertions"},{"key":"ref16","first-page":"53","article-title":"Fast LTL to Buchi Automata Translation","year":"2001","journal-title":"Proceedings of the 13th International Conference on Computer Aided Verification"},{"key":"ref17","article-title":"Overcoming an Untrusted Computing Base: Detecting and Removing Malicious Hardware Automatically","year":"2010","journal-title":"Proceedings of the 31st IEEE Symposium on Security and Privacy"},{"key":"ref18","year":"2010","journal-title":"Step-by-step functional verification with SystemVerilog and OVM"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/HST.2008.4559049"},{"key":"ref28","first-page":"15","article-title":"Detecting Malicious Inclusions in Secure Hardware: Challenges and Solutions","year":"0","journal-title":"2008 IEEE International Workshop on Hardware-Oriented Security and Trust HST"},{"key":"ref4","year":"0","journal-title":"Opencores"},{"key":"ref27","first-page":"109","article-title":"Complete Information Flow Tracking from the Gates Up","year":"0","journal-title":"Proceeding of the 14th international conference on Architectural support for programming languages and operating systems - ASPLOS '09"},{"key":"ref3","year":"0","journal-title":"MIPS Technologies"},{"key":"ref6","year":"2010","journal-title":"AMD Undocumented Machine-Specific Registers"},{"key":"ref5","year":"2010","journal-title":"AMD Processors Undocumented Debugging Features and MSRs"},{"key":"ref8","year":"2010","journal-title":"Xradia Exhibits X-ray Vision for Semiconductor Failure Analysis"},{"key":"ref7","first-page":"1","year":"2010","journal-title":"IEEE Standard for Property Specification Language (PSL)"},{"key":"ref2","year":"0","journal-title":"ISABELLE"},{"key":"ref9","article-title":"FoCs - Automatic Generation of Simulation Checkers from Formal Specifications","year":"2000"},{"key":"ref1","year":"0","journal-title":"DARPA Trust in Integrated Circuits (TRUST)"},{"key":"ref20","first-page":"50","article-title":"Experiences in Hardware Trojan Design and Implementation","year":"0","journal-title":"2009 IEEE International Workshop on Hardware-Oriented Security and Trust host"},{"key":"ref22","first-page":"1","article-title":"Designing and Implementing Malicious Hardware","year":"0","journal-title":"Proceedings of the 1st USENIX Workshop on Large-Scale Exploits and Emergent Threats"},{"key":"ref21","year":"2010","journal-title":"Fake Chips Threaten Military"},{"key":"ref24","first-page":"573","article-title":"PSL Model Checking and Run-Time Verification Via Testers","year":"2006","journal-title":"Lecture Notes on Computer Science"},{"key":"ref23","article-title":"Old Trick Threatens Newest Weapons","year":"2009","journal-title":"New York Times"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/353323.353382"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/HST.2008.4559037"}],"event":{"name":"2011 IEEE International Symposium on Hardware-Oriented Security and Trust (HOST)","location":"San Diego, CA, USA","start":{"date-parts":[[2011,6,5]]},"end":{"date-parts":[[2011,6,6]]}},"container-title":["2011 IEEE International Symposium on Hardware-Oriented Security and Trust"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5946040\/5954984\/05954992.pdf?arnumber=5954992","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T08:24:33Z","timestamp":1490084673000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5954992\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,6]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/hst.2011.5954992","relation":{},"subject":[],"published":{"date-parts":[[2011,6]]}}}