PatrIoT: Policy Assisted Resilient Programmable IoT System

Moosa Yahyazadeh, Syed Rafiul Hussain, Endadul Hoque, Omar Chowdhury

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    2 Scopus citations


    This paper presents PatrIoT, which efficiently monitors the behavior of a programmable IoT system at runtime and suppresses contemplated actions that violate a given declarative policy. Policies in PatrIoT are specified in effectively propositional, past metric temporal logic and capture the system’s expected temporal invariants whose violation can break its desired security, privacy, and safety guarantees. PatrIoT has been instantiated for not only an industrial IoT system (EVA ICS) but also for two home representative automation platforms: one proprietary (SmartThings) and another open-source (OpenHAB). Our empirical evaluation shows that, while imposing only a moderate runtime overhead, PatrIoT can effectively detect policy violations.

    Original languageEnglish (US)
    Title of host publicationRuntime Verification - 20th International Conference, RV 2020, Proceedings
    EditorsJyotirmoy Deshmukh, Dejan Nickovic
    PublisherSpringer Science and Business Media Deutschland GmbH
    Number of pages21
    ISBN (Print)9783030605070
    StatePublished - 2020
    Event20th International Conference on Runtime Verification, RV 2020 - Los Angeles, United States
    Duration: Oct 6 2020Oct 9 2020

    Publication series

    NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
    Volume12399 LNCS
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349


    Conference20th International Conference on Runtime Verification, RV 2020
    Country/TerritoryUnited States
    CityLos Angeles

    All Science Journal Classification (ASJC) codes

    • Theoretical Computer Science
    • Computer Science(all)


    Dive into the research topics of 'PatrIoT: Policy Assisted Resilient Programmable IoT System'. Together they form a unique fingerprint.

    Cite this