{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,23]],"date-time":"2025-04-23T16:45:16Z","timestamp":1745426716588},"reference-count":8,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/hldvt.2003.1252478","type":"proceedings-article","created":{"date-parts":[[2004,3,30]],"date-time":"2004-03-30T17:17:26Z","timestamp":1080667046000},"page":"77-82","source":"Crossref","is-referenced-by-count":5,"title":["Testing ThumbPod: Softcore bugs are hard to find"],"prefix":"10.1109","author":[{"given":"P.","family":"Schaumont","sequence":"first","affiliation":[]},{"given":"K.","family":"Sakiyama","sequence":"additional","affiliation":[]},{"given":"Y.","family":"Fan","sequence":"additional","affiliation":[]},{"given":"D.","family":"Hwang","sequence":"additional","affiliation":[]},{"given":"S.","family":"Yang","sequence":"additional","affiliation":[]},{"given":"A.","family":"Hodjat","sequence":"additional","affiliation":[]},{"given":"B.","family":"Lai","sequence":"additional","affiliation":[]},{"given":"I.","family":"Verbauwhede","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1109\/MSECP.2003.1203221"},{"key":"ref3","article-title":"Electronic Passports Prep for Check-in","author":"yoshida","year":"0","journal-title":"EETimes"},{"key":"ref6","article-title":"User's Guide to NIST Fingerprint Image Software (NFIS)","author":"garris","year":"2001","journal-title":"NISTIR 6813"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1109\/54.970421"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1109\/MSECP.2003.1193209"},{"year":"0","key":"ref7"},{"year":"0","journal-title":"Sun MicroSystem","article-title":"The K Virtual Machine","key":"ref2"},{"key":"ref1","article-title":"Design Flow for HW\/SW Interface Acceleration Transparancy in the Thumbpod secure embedded system","author":"hwang","year":"2003","journal-title":"Proc 40th DAC"}],"event":{"acronym":"HLDVT-03","name":"Eighth IEEE International High-Level Design Validation and Test Workshop","location":"San Francisco, CA, USA"},"container-title":["Eighth IEEE International High-Level Design Validation and Test Workshop"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8873\/28031\/01252478.pdf?arnumber=1252478","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,13]],"date-time":"2017-03-13T20:50:27Z","timestamp":1489438227000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1252478\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":8,"URL":"https:\/\/doi.org\/10.1109\/hldvt.2003.1252478","relation":{},"subject":[]}}