{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,25]],"date-time":"2026-02-25T18:02:36Z","timestamp":1772042556349,"version":"3.50.1"},"reference-count":45,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"8","license":[{"start":{"date-parts":[[2020,8,1]],"date-time":"2020-08-01T00:00:00Z","timestamp":1596240000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,8,1]],"date-time":"2020-08-01T00:00:00Z","timestamp":1596240000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,8,1]],"date-time":"2020-08-01T00:00:00Z","timestamp":1596240000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001381","name":"National Research Foundation, Prime Minister\u2019s Office, Singapore, under its Corporate Laboratory@University Scheme, National University of Singapore","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100001381","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100013401","name":"Singapore Telecommunications Limited","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100013401","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Internet Things J."],"published-print":{"date-parts":[[2020,8]]},"DOI":"10.1109\/jiot.2020.2983655","type":"journal-article","created":{"date-parts":[[2020,3,26]],"date-time":"2020-03-26T20:04:45Z","timestamp":1585253085000},"page":"7220-7233","source":"Crossref","is-referenced-by-count":65,"title":["HAtt: Hybrid Remote Attestation for the Internet of Things With High Availability"],"prefix":"10.1109","volume":"7","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4629-7589","authenticated-orcid":false,"given":"Muhammad Naveed","family":"Aman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9539-3377","authenticated-orcid":false,"given":"Mohamed Haroon","family":"Basheer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8680-4779","authenticated-orcid":false,"given":"Siddhant","family":"Dash","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jun Wen","family":"Wong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jia","family":"Xu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hoon Wei","family":"Lim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0084-4647","authenticated-orcid":false,"given":"Biplab","family":"Sikdar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","author":"blanchet","year":"2016","journal-title":"ProVerif Automatic Cryptographic Protocol Verier User Manual and Tutorial"},{"key":"ref38","author":"aman","year":"2019","journal-title":"ProVerif Simulation Scripts for Proposed Protocol [Software]"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/11601494_3"},{"key":"ref32","first-page":"1","article-title":"Using SWATT for verifying embedded systems in cars","author":"seshadri","year":"2004","journal-title":"proceedings of the Workshop on Embedded Security in Cars (ESCAR'06)"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/1719030.1719033"},{"key":"ref30","first-page":"1","article-title":"Retroactive detection of malware with applications to mobile platforms","author":"jakobsson","year":"2010","journal-title":"Proc ACM HotSec"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.1983.1056650"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2018.01.039"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/2593069.2593192"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/SRDS.2007.31"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69170-9_25"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2018.2806974"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/3134600.3134621"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2018.2866623"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/11605805_8"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24676-3_31"},{"key":"ref15","doi-asserted-by":"crossref","first-page":"998","DOI":"10.1007\/BF03180031","article-title":"SoCs security: A war against side-channels","volume":"59","author":"guilley","year":"2004","journal-title":"Ann Telecommun"},{"key":"ref16","article-title":"System on chip and method for cryptography using a physically unclonable function","author":"kirkpatrick","year":"2012"},{"key":"ref17","author":"bohm","year":"2012","journal-title":"Physical Unclonable Functions in Theory and Practice"},{"key":"ref18","year":"2011","journal-title":"Totp Time-based One-time Password Algorithm"},{"key":"ref19","first-page":"203","article-title":"Detecting node compromise in hybrid wireless sensor networks using attestation techniques","author":"krau\u00df","year":"2007","journal-title":"Proc ESAS"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2007.28"},{"key":"ref4","first-page":"10","article-title":"Physical unclonable functions for IoT security","author":"aman","year":"2016","journal-title":"Proceedings of ACM IoTPTS"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/1128817.1128847"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/s10207-004-0033-0"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/2592798.2592824"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/1456455.1456458"},{"key":"ref5","first-page":"1","article-title":"SMART: Secure and minimal architecture for (establishing dynamic) root of trust","author":"eldefrawy","year":"2012","journal-title":"Proc Network and Distributed System Security Symp (NDSS)"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.2004.1301329"},{"key":"ref7","first-page":"1","article-title":"TyTAN: Tiny trust anchor for tiny devices","author":"brasser","year":"2016","journal-title":"Proc ACM\/IEEE Design Autom Conf (DAC)"},{"key":"ref2","year":"2011","journal-title":"TPM Main Specification Level 2 Version 1 2"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/1161289.1161306"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/s11280-017-0455-z"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/2069087.2069090"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/IPSN.2005.1440978"},{"key":"ref22","author":"visintin","year":"2019","journal-title":"SAFEd Self-Attestation for Networks of Heterogeneous Embedded Devices"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-26961-0_25"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.3390\/s19214752"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/HST.2018.8383885"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1002\/dac.4139"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/3338507.3358614"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46035-7_22"},{"key":"ref26","first-page":"1085","article-title":"Proactive code verification protocol in wireless sensor network","volume":"2","author":"choi","year":"2009","journal-title":"Proc Int Conf Comput Sci Appl"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2019.2927512"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/1653662.1653711"}],"container-title":["IEEE Internet of Things Journal"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6488907\/9165761\/09047883.pdf?arnumber=9047883","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,10,19]],"date-time":"2022-10-19T20:39:00Z","timestamp":1666211940000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9047883\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,8]]},"references-count":45,"journal-issue":{"issue":"8"},"URL":"https:\/\/doi.org\/10.1109\/jiot.2020.2983655","relation":{},"ISSN":["2327-4662","2372-2541"],"issn-type":[{"value":"2327-4662","type":"electronic"},{"value":"2372-2541","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,8]]}}}