{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T21:42:28Z","timestamp":1729633348984,"version":"3.28.0"},"reference-count":24,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/csac.2002.1176312","type":"proceedings-article","created":{"date-parts":[[2003,6,26]],"date-time":"2003-06-26T11:35:00Z","timestamp":1056627300000},"page":"403-412","source":"Crossref","is-referenced-by-count":8,"title":["Malicious code detection for open firmware"],"prefix":"10.1109","author":[{"given":"F.","family":"Adelstein","sequence":"first","affiliation":[]},{"given":"M.","family":"Stillerman","sequence":"additional","affiliation":[]},{"given":"D.","family":"Kozen","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","first-page":"28","article-title":"Stack-based typed assembly language","author":"morrisett","year":"1998","journal-title":"Proc Workshop on Types in Compilation volume 1473 of Lecture Notes in Computer Science"},{"key":"ref11","article-title":"The TIL\/ML compiler: Performance and safety through types","author":"morrisett","year":"1996","journal-title":"1996 Workshop on Compiler Support for Systems Software"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/268946.268954"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263712"},{"journal-title":"Compiling with proofs","year":"1998","author":"necula","key":"ref14"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/238721.238781"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/277650.277752"},{"key":"ref17","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1109\/LICS.1998.705646","article-title":"Efficient representation and validation of proofs","author":"necula","year":"1998","journal-title":"Proc IEEE 13th Symp Logic in Computer Science"},{"key":"ref18","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1007\/3-540-68671-1_5","article-title":"Safe, untrusted agents using using proof-carrying code","volume":"1419","author":"necula","year":"1998","journal-title":"Special Issue on Mobile Agent Security"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/292540.292549"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/292540.292563"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.1996.502681"},{"key":"ref6","article-title":"Efficient code certification","author":"kozen","year":"1998","journal-title":"Technical Report 98–1661"},{"journal-title":"Standard for Boot (Initialization Configuration) Firmware Core Requirements and Practices","first-page":"1275","year":"1994","key":"ref5"},{"journal-title":"The Java Virtual Machine Specification","year":"1996","author":"lindholm","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45739-9_5"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.1997.601317"},{"key":"ref1","first-page":"149","article-title":"A type system for Java bytecode subroutines","author":"abadi","year":"1998","journal-title":"Proc Symp Principles of Programming Languages"},{"key":"ref9","first-page":"25","article-title":"TALx 86: A realistic typed assembly language","author":"morrisett","year":"1999","journal-title":"Workshop on Compiler Support for System Software"},{"key":"ref20","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BFb0030670","article-title":"Towards fault-tolerant and secure agentry","volume":"1320","author":"schneider","year":"1997","journal-title":"Lecture Notes in Computer Science"},{"key":"ref22","article-title":"Trust in Cyberspace","author":"schneider","year":"1999","journal-title":"Committee on Information Systems Trustworthiness Computer Science and Telecommunications Board"},{"key":"ref21","article-title":"Enforceable security policies","author":"schneider","year":"1998","journal-title":"Technical Report TR98–1664"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/168619.168635"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/231379.231414"}],"event":{"name":"Eighteenth Annual Computer Security Applications Conference","acronym":"CSAC-02","location":"Las Vegas, NV, USA"},"container-title":["18th Annual Computer Security Applications Conference, 2002. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8386\/26404\/01176312.pdf?arnumber=1176312","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,15]],"date-time":"2017-06-15T18:46:19Z","timestamp":1497552379000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1176312\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/csac.2002.1176312","relation":{},"subject":[]}}