A survey of compiler testing

J Chen, J Patra, M Pradel, Y Xiong, H Zhang… - ACM Computing …, 2020 - dl.acm.org
Virtually any software running on a computer has been processed by a compiler or a
compiler-like tool. Because compilers are such a crucial piece of infrastructure for building …

A survey on IoT-enabled home automation systems: Attacks and defenses

Z Wang, D Liu, Y Sun, X Pang, P Sun… - … Surveys & Tutorials, 2022 - ieeexplore.ieee.org
With recent advances in communication technologies and Internet of Things (IoT)
infrastructures, home automation (HA) systems have emerged as a new promising paradigm …

A survey on IoT platforms: Communication, security, and privacy perspectives

L Babun, K Denney, ZB Celik, P McDaniel… - Computer Networks, 2021 - Elsevier
Abstract The Internet of Things (IoT) redefines the way how commodity and industrial tasks
are performed every day. The integration of sensors, lightweight computation, and the …

The Complete Guide to SCION

L Chuat, M Legner, D Basin, D Hausheer, S Hitz… - Information Security and …, 2022 - Springer
The first SCION book, published in 2017, summarized the results of eight years of work by
over a dozen researchers. Now, five years later, we have completely rewritten the book. It …

Ten years of BabelNet: A survey

R Navigli, M Bevilacqua, S Conia, D Montagnini… - IJCAI, 2021 - iris.uniroma1.it
The intelligent manipulation of symbolic knowledge has been a long-sought goal of AI.
However, when it comes to Natural Language Processing (NLP), symbols have to be …

物联网安全研究综述: 威胁, 检测与防御

杨毅宇, 周威, 赵尚儒, 刘聪, 张宇辉, 王鹤… - 通信 …, 2021 - infocomm-journal.com
基于近5 年网安国际会议(ACM CCS, USENIX Security, NDSS, IEEE S&P)
中发表的物联网安全文献, 以及其他部分高水平研究工作, 从威胁, 检测, 防御的视角对物联网 …

A survey on conflict detection in iot-based smart homes

B Huang, D Chaki, A Bouguettaya, KY Lam - ACM Computing Surveys, 2023 - dl.acm.org
As the adoption of IoT-based smart homes continues to grow, the importance of addressing
potential conflicts becomes increasingly vital for ensuring seamless functionality and user …

Identifying security and privacy violation rules in trigger-action IoT platforms with NLP models

B Breve, G Cimino, V Deufemia - IEEE Internet of Things …, 2022 - ieeexplore.ieee.org
Trigger-action platforms are systems that enable users to easily define, in terms of
conditional rules, custom behaviors concerning Internet of Things (IoT) devices and Web …

[PDF][PDF] IoTSafe: Enforcing Safety and Security Policy withReal IoT Physical Interaction Discovery

W Ding, H Hu, L Cheng - Network and Distributed System Security …, 2021 - par.nsf.gov
The Internet of Things (IoT) platforms bring significant convenience for increased home
automation. Especially, these platforms provide many new features for managing multiple …

“I would have to evaluate their objections”: Privacy tensions between smart home device owners and incidental users

C Cobb, S Bhagavatula, KA Garrett… - Proceedings on …, 2021 - petsymposium.org
Recent research and articles in popular press have raised concerns about the privacy risks
that smart home devices can create for incidental users—people who encounter smart home …