{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,16]],"date-time":"2024-08-16T00:23:48Z","timestamp":1723767828120},"reference-count":15,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,3,25]],"date-time":"2024-03-25T00:00:00Z","timestamp":1711324800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,3,25]],"date-time":"2024-03-25T00:00:00Z","timestamp":1711324800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024,3,25]]},"DOI":"10.23919\/date58400.2024.10546576","type":"proceedings-article","created":{"date-parts":[[2024,8,14]],"date-time":"2024-08-14T17:28:02Z","timestamp":1723656482000},"page":"1-6","source":"Crossref","is-referenced-by-count":0,"title":["Formal Verification of Secure Boot Process"],"prefix":"10.23919","author":[{"given":"Sriram","family":"Vasudevan","sequence":"first","affiliation":[{"name":"Nanyang Technological University,Temasek Lab @ NTU,Singapore"}]},{"given":"Prasanna","family":"Ravi","sequence":"additional","affiliation":[{"name":"Nanyang Technological University,Temasek Lab @ NTU,Singapore"}]},{"given":"Arpan","family":"Jati","sequence":"additional","affiliation":[{"name":"Nanyang Technological University,Temasek Lab @ NTU,Singapore"}]},{"given":"Shivam","family":"Bhasin","sequence":"additional","affiliation":[{"name":"Nanyang Technological University,Temasek Lab @ NTU,Singapore"}]},{"given":"Anupam","family":"Chattopadhyay","sequence":"additional","affiliation":[{"name":"School of Computer Science and Engineering, Nanyang Technological University,Singapore"}]}],"member":"263","reference":[{"volume-title":"Xilinx Zynq FSBL CVE-2022\u201323822","key":"ref1"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/s10617-008-9027-x"},{"key":"ref3","article-title":"Attribution: A major challenge for EU cyber sanctions. An analysis of WannaCry, Not Petya, Cloud Hopper, Bundestag Hack and the attack on the OPCW","author":"Bendiek","year":"2021","journal-title":"SWP Research Paper, Tech. Rep."},{"journal-title":"Zooming into video conferencing privacy and security threats","year":"2020","author":"Kagan","key":"ref4"},{"volume-title":"Common Vulnerabilities Exposures Database","key":"ref5"},{"key":"ref6","article-title":"Breaking RSA Authentication on Zynq-7000 SoC and Beyond: Identification of Critical Security Flaw in FSBL Software","author":"Ravi","year":"2023","journal-title":"Cryptology ePrint Archive, Paper 2023\/1913"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-012-0269-9"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2020.107233"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/3522582"},{"volume-title":"Formally Verifying Security Properties for OpenTitan Boot Code with Uppaal","year":"2021","author":"M\u00f8ller","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30080-9_7"},{"key":"ref12","article-title":"ANSI-C bounded model checker user manual","volume-title":"School of Computer Science","author":"Clarke","year":"2006"},{"volume-title":"Secure Boot of Zynq-7000 SoC","key":"ref13"},{"volume-title":"Xilinx Embedded Software (Zynq FSBL)","key":"ref14"},{"volume-title":"Using Queries","key":"ref15"}],"event":{"name":"2024 Design, Automation & Test in Europe Conference & Exhibition (DATE)","start":{"date-parts":[[2024,3,25]]},"location":"Valencia, Spain","end":{"date-parts":[[2024,3,27]]}},"container-title":["2024 Design, Automation & Test in Europe Conference & Exhibition (DATE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10546498\/10546499\/10546576.pdf?arnumber=10546576","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,15]],"date-time":"2024-08-15T04:29:32Z","timestamp":1723696172000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10546576\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,3,25]]},"references-count":15,"URL":"https:\/\/doi.org\/10.23919\/date58400.2024.10546576","relation":{},"subject":[],"published":{"date-parts":[[2024,3,25]]}}}