If This Then What?-Reference-Cited by-同舟云学术

If This Then What?

Published:2018-01-15 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security
language:
Short-container-title:

Author:

Bastys Iulia¹,Balliu Musard²,Sabelfeld Andrei¹

Affiliation:

1. Chalmers University of Technology, Gothenburg, Sweden

2. KTH Royal Institute of Technology, Stockholm, Sweden

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3243734.3243841

Reference43 articles.

1. textttalexander via IFTTT. 2018. Automatically back up your new iOS photos to Google Drive. https://ifttt.com/applets/90254p-automatically-back-up-your-new-ios-photos-to-google-drive. (2018). textttalexander via IFTTT. 2018. Automatically back up your new iOS photos to Google Drive. https://ifttt.com/applets/90254p-automatically-back-up-your-new-ios-photos-to-google-drive. (2018).

2. Almond via IFTTT. 2018. Get an email alert when your kids come home and connect to Almond. https://ifttt.com/applets/458027p-get-an-email-alert-when-your-kids-come-home-and-connect-to-almond. (2018). Almond via IFTTT. 2018. Get an email alert when your kids come home and connect to Almond. https://ifttt.com/applets/458027p-get-an-email-alert-when-your-kids-come-home-and-connect-to-almond. (2018).

3. Iulia Bastys Musard Balliu and Andrei Sabelfeld. 2018. If This Then What? Controlling Flows in IoT Apps. Complementary materials at http://www.cse.chalmers.se/research/group/security/IFCIoT. 10.1145/3243734.3243841 Iulia Bastys Musard Balliu and Andrei Sabelfeld. 2018. If This Then What? Controlling Flows in IoT Apps. Complementary materials at http://www.cse.chalmers.se/research/group/security/IFCIoT. 10.1145/3243734.3243841

4. Reactive noninterference

Cited by 78 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Activity Recognition Protection for IoT Trigger-Action Platforms;2024 IEEE 9th European Symposium on Security and Privacy (EuroS&P);2024-07-08

2. TrustEvent: Cross-Platform IoT Trigger Event Verification Using Edge Computing;ICC 2024 - IEEE International Conference on Communications;2024-06-09

3. Behavioral equivalences for AbU: Verifying security and safety in distributed IoT systems;Theoretical Computer Science;2024-06

4. MQTTactic: Security Analysis and Verification for Logic Flaws in MQTT Implementations;2024 IEEE Symposium on Security and Privacy (SP);2024-05-19

5. Threat Detection in Trigger-Action Programming Rules of Smart Home With Heterogeneous Information Network Model;IEEE Internet of Things Journal;2024-05-15