{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,11]],"date-time":"2026-07-11T16:53:58Z","timestamp":1783788838176,"version":"3.55.0"},"reference-count":9,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,11,6]],"date-time":"2023-11-06T00:00:00Z","timestamp":1699228800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,11,6]],"date-time":"2023-11-06T00:00:00Z","timestamp":1699228800000},"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":[[2023,11,6]]},"DOI":"10.1109\/cscn60443.2023.10453172","type":"proceedings-article","created":{"date-parts":[[2024,3,4]],"date-time":"2024-03-04T19:01:05Z","timestamp":1709578865000},"page":"290-295","source":"Crossref","is-referenced-by-count":1,"title":["Formal Verification of the FDO Protocol"],"prefix":"10.1109","author":[{"given":"Simone","family":"Bussa","sequence":"first","affiliation":[{"name":"Dip. Automatica e Informatica, Politecnico di Torino,Torino,Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Riccardo","family":"Sisto","sequence":"additional","affiliation":[{"name":"Dip. Automatica e Informatica, Politecnico di Torino,Torino,Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Fulvio","family":"Valenza","sequence":"additional","affiliation":[{"name":"Dip. Automatica e Informatica, Politecnico di Torino,Torino,Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","volume-title":"IIC automated onboarding and device provisioning: Best practices","year":"2022"},{"key":"ref2","volume-title":"Fido device onboard specification","author":"Cooper","year":"2020"},{"key":"ref3","volume-title":"Intel secure device onboarding (SDO)"},{"key":"ref4","volume-title":"FDO protocol reference implementation"},{"key":"ref5","volume-title":"Fdo security requirements"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/CSNet56116.2022.9955610"},{"key":"ref7","volume-title":"Fdo ownership voucher double extension vulnerability guidance"},{"key":"ref8","article-title":"Fido device onboard specification 1.1","author":"Cooper","year":"2021","journal-title":"FIDO Device Onboard Specification"},{"key":"ref9","volume-title":"Proverif 2.00: automatic cryptographic protocol verifier, user manual and tutorial","author":"Blanchet"}],"event":{"name":"2023 IEEE Conference on Standards for Communications and Networking (CSCN)","location":"Munich, Germany","start":{"date-parts":[[2023,11,6]]},"end":{"date-parts":[[2023,11,8]]}},"container-title":["2023 IEEE Conference on Standards for Communications and Networking (CSCN)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10452895\/10453116\/10453172.pdf?arnumber=10453172","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,8]],"date-time":"2024-03-08T01:41:13Z","timestamp":1709862073000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10453172\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,11,6]]},"references-count":9,"URL":"https:\/\/doi.org\/10.1109\/cscn60443.2023.10453172","relation":{},"subject":[],"published":{"date-parts":[[2023,11,6]]}}}