{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,8]],"date-time":"2026-01-08T01:17:24Z","timestamp":1767835044009,"version":"3.49.0"},"reference-count":7,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2023,5,1]],"date-time":"2023-05-01T00:00:00Z","timestamp":1682899200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Secur. Privacy"],"published-print":{"date-parts":[[2023,5]]},"DOI":"10.1109\/msec.2023.3251954","type":"journal-article","created":{"date-parts":[[2023,4,20]],"date-time":"2023-04-20T21:19:10Z","timestamp":1682025550000},"page":"27-36","source":"Crossref","is-referenced-by-count":21,"title":["Security Verification of the OpenTitan Hardware Root of Trust"],"prefix":"10.1109","volume":"21","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4283-0833","authenticated-orcid":false,"given":"Andres","family":"Meza","sequence":"first","affiliation":[{"name":"University of California San Diego (UCSD), La Jolla, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6955-1888","authenticated-orcid":false,"given":"Francesco","family":"Restuccia","sequence":"additional","affiliation":[{"name":"University of California San Diego (UCSD), La Jolla, USA"}]},{"ORCID":"https:\/\/orcid.org\/0009-0002-8327-6696","authenticated-orcid":false,"given":"Jason","family":"Oberg","sequence":"additional","affiliation":[{"name":"Cycuity, San Jose, USA"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-0785-8271","authenticated-orcid":false,"given":"Dominic","family":"Rizzo","sequence":"additional","affiliation":[{"name":"OpenTitan project, Cambridge, United Kingdom"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9062-5570","authenticated-orcid":false,"given":"Ryan","family":"Kastner","sequence":"additional","affiliation":[{"name":"University of California San Diego (UCSD), La Jolla, USA"}]}],"member":"263","reference":[{"key":"ref7","year":"0","journal-title":"MITRE"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/3489517.3530637"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/3447867"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/1030083.1030110"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/SP.1982.10014"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.3233\/JCS-2009-0393"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.3233\/JCS-1992-1103"}],"container-title":["IEEE Security & Privacy"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8013\/10137354\/10106105.pdf?arnumber=10106105","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,12]],"date-time":"2023-06-12T18:30:19Z","timestamp":1686594619000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10106105\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,5]]},"references-count":7,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/msec.2023.3251954","relation":{},"ISSN":["1540-7993","1558-4046"],"issn-type":[{"value":"1540-7993","type":"print"},{"value":"1558-4046","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,5]]}}}