{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T00:06:45Z","timestamp":1773187605734,"version":"3.50.1"},"reference-count":40,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,5,10]],"date-time":"2021-05-10T00:00:00Z","timestamp":1620604800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,5,10]],"date-time":"2021-05-10T00:00:00Z","timestamp":1620604800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,5,10]],"date-time":"2021-05-10T00:00:00Z","timestamp":1620604800000},"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":[[2021,5,10]]},"DOI":"10.1109\/infocom42981.2021.9488687","type":"proceedings-article","created":{"date-parts":[[2021,7,27]],"date-time":"2021-07-27T00:07:32Z","timestamp":1627344452000},"page":"1-10","source":"Crossref","is-referenced-by-count":15,"title":["Ruledger: Ensuring Execution Integrity in Trigger-Action IoT Platforms"],"prefix":"10.1109","author":[{"given":"Jingwen","family":"Fan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yi","family":"He","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bo","family":"Tang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Qi","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ravi","family":"Sandhu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","first-page":"147","article-title":"Soteria: Automated iot safety and security analysis","author":"mcdaniel","year":"2018","journal-title":"USENIX ATC"},{"key":"ref38","article-title":"Iotguard: Dynamic enforcement of security and safety policy in commodity iot","author":"tan","year":"2019","journal-title":"NDSS"},{"key":"ref33","first-page":"1455","article-title":"Peeves: Physical event verification in smart homes","author":"eberz","year":"2019","journal-title":"CCS"},{"key":"ref32","first-page":"1056","article-title":"Situational access control in the internet of things","author":"shmatikov","year":"2018","journal-title":"CCS"},{"key":"ref31","first-page":"1439","article-title":"Charting the attack surface of trigger-action iot platforms","author":"yang","year":"2019","journal-title":"CCS"},{"key":"ref30","article-title":"Fear and logging in the internet of things","author":"bates","year":"0","journal-title":"NDSS"},{"key":"ref37","first-page":"361","article-title":"Smartauth: User-centered authorization for the internet of things","author":"lin","year":"2017","journal-title":"Usenix Security"},{"key":"ref36","first-page":"398","article-title":"An empirical characterization of ifttt: Ecosystem, usage, and performance","author":"zhang","year":"2017","journal-title":"IMC"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/3322431.3326327"},{"key":"ref34","first-page":"43","article-title":"Fact: Functionality-centric access control system for iot programming frameworks","author":"kim","year":"2017","journal-title":"SACMAT"},{"key":"ref10","year":"0"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/SPW.2015.27"},{"key":"ref11","year":"0"},{"key":"ref12","year":"0"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2019.00013"},{"key":"ref14","article-title":"Shattered chain of trust: Understanding security risks in cross-cloud iot access delegation","author":"xing","year":"2020","journal-title":"Usenix Security"},{"key":"ref15","first-page":"173","article-title":"Practical byzantine fault tolerance","author":"castro","year":"1999","journal-title":"OSDI"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/DSN48063.2020.00056"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2019.23066"},{"key":"ref18","first-page":"531","article-title":"Flowfence: Practical data protection for emerging iot application frameworks","author":"rahmati","year":"2016","journal-title":"Usenix Security"},{"key":"ref19","first-page":"636","article-title":"Security analysis of emerging smart home applications","author":"jung","year":"2016","journal-title":"IEEE S&P"},{"key":"ref28","first-page":"305","article-title":"In search of an understandable consensus algorithm","author":"ongaro","year":"2014","journal-title":"USENIX ATC"},{"key":"ref4","year":"0"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2018.2812239"},{"key":"ref3","year":"0"},{"key":"ref6","year":"0"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1002\/sec.1748"},{"key":"ref5","year":"0"},{"key":"ref8","year":"0"},{"key":"ref7","year":"0"},{"key":"ref2","year":"0"},{"key":"ref9","year":"0"},{"key":"ref1","year":"0"},{"key":"ref20","article-title":"Decentralized action integrity for trigger-action iot platforms","author":"jung","year":"2018","journal-title":"NDSS"},{"key":"ref22","first-page":"281","article-title":"Autotap: synthesizing and repairing trigger-action programs using ltl properties","author":"martinez","year":"2019","journal-title":"ICSE"},{"key":"ref21","first-page":"1102","article-title":"If this then what? controlling flows in iot apps","author":"balliu","year":"2018","journal-title":"CCS"},{"key":"ref24","first-page":"1501","article-title":"Some recipes can do more than spoil your appetite: Analyzing the security and privacy risks of ifttt recipes","author":"bauer","year":"2017","journal-title":"WWW"},{"key":"ref23","first-page":"690","article-title":"Mace: Detecting privilege escalation vulnerabilities in web applications","author":"naldurg","year":"2014","journal-title":"CCS"},{"key":"ref26","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.iot.2018.05.002","article-title":"Blockchain mechanisms for iot security","volume":"1","author":"minoli","year":"2018","journal-title":"Internet of Things"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.cose.2019.03.016"}],"event":{"name":"IEEE INFOCOM 2021 - IEEE Conference on Computer Communications","location":"Vancouver, BC, Canada","start":{"date-parts":[[2021,5,10]]},"end":{"date-parts":[[2021,5,13]]}},"container-title":["IEEE INFOCOM 2021 - IEEE Conference on Computer Communications"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9488422\/9488423\/09488687.pdf?arnumber=9488687","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T15:43:40Z","timestamp":1652197420000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9488687\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,5,10]]},"references-count":40,"URL":"https:\/\/doi.org\/10.1109\/infocom42981.2021.9488687","relation":{},"subject":[],"published":{"date-parts":[[2021,5,10]]}}}