{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,21]],"date-time":"2026-08-21T05:27:59Z","timestamp":1787290079434,"version":"build-2736575974"},"reference-count":24,"publisher":"IEEE","license":[{"start":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T00:00:00Z","timestamp":1782864000000},"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":[],"published-print":{"date-parts":[[2026,7]]},"DOI":"10.1109\/compsac69091.2026.00223","type":"proceedings-article","created":{"date-parts":[[2026,8,20]],"date-time":"2026-08-20T19:03:21Z","timestamp":1787252601000},"page":"1685-1688","source":"Crossref","is-referenced-by-count":0,"title":["The Zero Trust IoT (ZT-IoT) Project"],"prefix":"10.1109","author":[{"given":"Atsuko","family":"Takefusa","sequence":"first","affiliation":[{"name":"National Institute of Informatics"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Atsushi","family":"Igarashi","sequence":"additional","affiliation":[{"name":"Kyoto University"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Taro","family":"Sekiyama","sequence":"additional","affiliation":[{"name":"National Institute of Informatics"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Kuniyasu","family":"Suzaki","sequence":"additional","affiliation":[{"name":"Institute of Information Security"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Toshihiro","family":"Matsui","sequence":"additional","affiliation":[{"name":"Tokyo Information Design Professional University"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jie","family":"Yin","sequence":"additional","affiliation":[{"name":"National Institute of Informatics"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Atsuya","family":"Osaki","sequence":"additional","affiliation":[{"name":"National Institute of Informatics"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Naoki","family":"Yamashita","sequence":"additional","affiliation":[{"name":"National Institute of Informatics"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Nobuo","family":"Aoki","sequence":"additional","affiliation":[{"name":"The Graduate University for Advanced Studies (SOKENDAI)"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sewon","family":"Park","sequence":"additional","affiliation":[{"name":"Kyoto University"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Terunobu","family":"Inaba","sequence":"additional","affiliation":[{"name":"Kyoto University"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Lelio","family":"Brun","sequence":"additional","affiliation":[{"name":"National Institute of Informatics"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yutaka","family":"Ishikawa","sequence":"additional","affiliation":[{"name":"Otsuma Women's University"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Kento","family":"Aida","sequence":"additional","affiliation":[{"name":"National Institute of Informatics"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yasushi","family":"Ono","sequence":"additional","affiliation":[{"name":"Institute of Information Security"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Kensuke","family":"Fukuda","sequence":"additional","affiliation":[{"name":"National Institute of Informatics"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Eisaku","family":"Sakane","sequence":"additional","affiliation":[{"name":"National Institute of Informatics"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ichiro","family":"Hasuo","sequence":"additional","affiliation":[{"name":"National Institute of Informatics"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","volume-title":"Society 5.0"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2017.201"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/2744769.2747942."},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.6028\/nist.sp.800-207"},{"key":"ref5","volume-title":"Zero Trust IoT by Formal Verification and System Software"},{"issue":"5","key":"ref6","first-page":"191","article-title":"System software research towards zero trust iot","volume":"68","author":"Takefusa","year":"2024","journal-title":"System\/Control\/Information (in Japanese)"},{"key":"ref7","first-page":"3505","article-title":"The circle of life: A large-scale study of the iot malware lifecycle","volume-title":"Proc. USENIX Security","volume":"21","author":"Alrawi","year":"2021"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/3307334.3326083"},{"key":"ref9","first-page":"61","article-title":"Fingerprinting tooling used for ssh compromisation attempts","volume-title":"Proc. RAID2019","author":"Ghiette","year":"2019"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC65507.2025.00151"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.2197\/ipsjjip.32.586"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3674213.3674219"},{"key":"ref13","volume-title":"Trivy"},{"key":"ref14","volume-title":"grype"},{"key":"ref15","volume-title":"Docker Scout"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC61105.2024.00352"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1587\/transinf.2025ICP0013"},{"issue":"4","key":"ref18","first-page":"18","article-title":"TrustZone: Integrated hardware and software security","volume":"3","author":"Alves","year":"2004","journal-title":"ARM White Paper"},{"key":"ref19","article-title":"Remote attestation on arm trustzone op-tee with veraison verifier - current status and future plan -","volume-title":"Proc. Free and Open Source Development European Meeting (FOSDEM 2025)","author":"Suzaki","year":"2025"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ISNCC62547.2024.10758938"},{"key":"ref21","article-title":"Making Rabbit Run for Security Verification of Networked Systems with Unbounded Loops","volume-title":"Proc. FMCAD 2025","author":"Park","year":"2025"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45800-X_32"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-90936-8"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/3623652.3623667"}],"event":{"name":"2026 IEEE 50th Annual Computers, Software, and Applications Conference (COMPSAC)","location":"Madrid, Spain","start":{"date-parts":[[2026,7,7]]},"end":{"date-parts":[[2026,7,10]]}},"container-title":["2026 IEEE 50th Annual Computers, Software, and Applications Conference (COMPSAC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11645011\/11645104\/11645170.pdf?arnumber=11645170","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,8,21]],"date-time":"2026-08-21T05:21:53Z","timestamp":1787289713000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11645170\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,7]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/compsac69091.2026.00223","relation":{},"subject":[],"published":{"date-parts":[[2026,7]]}}}