Scalable analysis of interaction threats in IoT systems

Mohannad Alhanahnah, Clay Stevens, Hamid Bagheri

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    42 Citations (SciVal)
    Original languageEnglish
    Title of host publicationISSTA 2020 - Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis
    EditorsSarfraz Khurshid, Corina S. Pasareanu
    PublisherAssociation for Computing Machinery
    Pages272-285
    Number of pages14
    ISBN (Electronic)9781450380089
    DOIs
    Publication statusPublished (VoR) - 18 Jul 2020
    Event29th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2020 - Virtual, Online, United States
    Duration: 18 Jul 202022 Jul 2020

    Publication series

    NameISSTA 2020 - Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis

    Conference

    Conference29th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2020
    Country/TerritoryUnited States
    CityVirtual, Online
    Period18/07/2022/07/20

    Keywords

    • Formal Verification
    • Interaction Threats
    • IoT Safety

    Fingerprint

    Dive into the research topics of 'Scalable analysis of interaction threats in IoT systems'. Together they form a unique fingerprint.

    Cite this