SEAMS 2025
Mon 28 - Tue 29 April 2025 Ottawa, Ontario, Canada
co-located with ICSE 2025
Tue 29 Apr 2025 12:05 - 12:20 at 204 - Session 6: Security Chair(s): Antonio Filieri

Smart home users often lack the technical expertise required to secure their devices and could benefit from the automated selection of security controls. In this paper, we explore the capabilities of inductive learning to adapt the requirements and system specification of a smart home system to identify security controls. We present preliminary results from using Inductive Learning via Answer Set Programming (ILASP) to learn how to produce (1) an updated system specification that enables benign behaviours while excluding malicious ones and (2) updated security requirements that the system should satisfy. We encode traces of benign and malicious execution traces from two smart home attack datasets (CICIoT2023 and IoT-23) into ILASP’s language. ILASP could learn updated system specifications (to prevent DoS/Botnet attacks), new security requirements (to check for malware uploads and insecure protocols), and other integrity constraints that could be indicators of compromise. However, challenges remain when ILASP cannot perform the learning due to its sensitive syntax or complex system behaviour that lead to a large analysis space. Finally, we discuss how these limitations can be addressed in future work.

Towards Using Inductive Learning to Adapt Security Controls in Smart Homes (Towards_Using_Inductive_Learning_to_Adapt_Security_Controls_in_Smart_Homes.pdf)264KiB

Tue 29 Apr

Displayed time zone: Eastern Time (US & Canada) change

11:00 - 12:30
Session 6: SecurityResearch Track at 204
Chair(s): Antonio Filieri AWS and Imperial College London
11:00
25m
Talk
Self-Adaptive Dual-Layer DDoS Mitigation using Autoencoder and Reinforcement LearningFULL
Research Track
Qi Duan Carnegie Mellon University, Ehab Al-Shaer Carnegie Mellon University, USA, David Garlan Carnegie Mellon University
11:25
25m
Talk
Analysis of Autonomous Driving Software to Low-Level Sensor Cyber AttacksFULL
Research Track
Andrew Roberts Tallinn University of Technology, Mohsen Malayjerdi Tallinn University of Technology, Mauro Bellone FinEst Smart City Centre, Raivo Sell Tallinn University of Technology, Olaf Maennel University of Adelaide, Mohammad Hamad Technical University of Munich, Sebastian Steinhorst Technical University of Munich
11:50
15m
Talk
Approaching Proactive Self-Adaptation in Nonlinear Cyber-Physical SystemsSHORT
Research Track
Farid Edrisi Linnaeus University, Diego Perez-Palacin Linnaeus University, Mauro Caporuscio Linnaeus University, Raffaela Mirandola Karlsruhe Institute of Technology (KIT)
12:05
15m
Talk
Towards Using Inductive Learning to Adapt Security Controls in Smart HomesSHORT
Research Track
Kushal Ramkumar Lero@University College Dublin, Wanling Cai Lero@Trinity College Dublin, John McCarthy Lero@University College Cork, Gavin Doherty Lero@Trinity College Dublin, Bashar Nuseibeh The Open University, UK; Lero, University of Limerick, Ireland, Liliana Pasquale University College Dublin & Lero
File Attached
12:20
10m
Other
Discussion Session 6
Research Track

:
:
:
: