Discovering IoT Physical Channel Vulnerabilities-Reference-Cited by-同舟云学术

Discovering IoT Physical Channel Vulnerabilities

Published:2022-11-07 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security
language:
Short-container-title:

Author:

Ozmen Muslum Ozgur¹,Li Xuansong²,Chu Andrew³,Celik Z. Berkay¹,Hoxha Bardh⁴,Zhang Xiangyu¹

Affiliation:

1. Purdue University, West Lafayette, IN, USA

2. Nanjing University of Science and Technology & Nanjing University, Nanijng, China

3. University of Chicago, Chicago, IL, USA

4. Toyota Research Institute North America, Ann Arbor, MI, USA

Funder

National Science Foundation

National Natural Science Foundation of China

China Scholarship Council

Rolls-Royce Cyber Technology Research Network Award

DARPA VSPELLS

Publisher

ACM

Link

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

Reference56 articles.

1. Houssam Abbas Georgios Fainekos Sriram Sankaranarayanan and Aarti Gupta. 2013. Probabilistic temporal logic falsification of cyber-physical systems. ACM Transactions on Embedded Computing Systems (TECS). Houssam Abbas Georgios Fainekos Sriram Sankaranarayanan and Aarti Gupta. 2013. Probabilistic temporal logic falsification of cyber-physical systems. ACM Transactions on Embedded Computing Systems (TECS).

2. Formal property verification in a conformance testing framework

3. Abbas Acar , Hossein Fereidooni , Tigist Abera , Amit Kumar Sikder , Markus Miettinen, Hidayet Aksu, Mauro Conti, Ahmad-Reza Sadeghi, and A Selcuk Uluagac. 2018 . Peek-a-Boo : I see your smart home activities, even encrypted! arXiv preprint arXiv:1808.02741. Abbas Acar, Hossein Fereidooni, Tigist Abera, Amit Kumar Sikder, Markus Miettinen, Hidayet Aksu, Mauro Conti, Ahmad-Reza Sadeghi, and A Selcuk Uluagac. 2018. Peek-a-Boo: I see your smart home activities, even encrypted! arXiv preprint arXiv:1808.02741.

4. RSSI based indoor and outdoor distance estimation for localization in WSN

5. Scalable analysis of interaction threats in IoT systems

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

1. An anonymous and efficient certificateless signature scheme based on blockchain in NDN‐IoT environments;Transactions on Emerging Telecommunications Technologies;2024-04

2. Root Cause Analysis of Anomaly in Smart Homes Through Device Interaction Graph;Lecture Notes in Computer Science;2024

3. A Formal Verification of a Reputation Multi-Factor Authentication Mechanism for Constrained Devices and Low-Power Wide-Area Network Using Temporal Logic;Sensors;2023-08-03

4. Data Transparency Design in Internet of Things: A Systematic Review;International Journal of Human–Computer Interaction;2023-07-18

5. Security Checking of Trigger-Action-Programming Smart Home Integrations;Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis;2023-07-12