3 citations · 4 across the 10 of their papers we have counts for
7 papers · 1 filter
RobResilience: Implementing and Evaluating a Resilience Framework for Cyber-Physical Embodied Systems
Gysella Imrell, Emanuele Miotto, Mahya Mohammadi Kashani +2
In embodied cyber-physical systems, active cyberattacks pose an immediate threat not just to data, but to physical integrity and human safety. While existing security approaches ex…
Towards Behavior Tree-Guided Vulnerability Detection with Lightweight LLMs
Enna Basic, Alberto Giaretta
Large Language Models (LLMs) are increasingly used for software vulnerability detection, but their performance depends on how source code is represented in the input. Most promptin…
Does Reasoning Mitigate Backdoor Attacks? A Neuro-Symbolic Perspective
Marco Antonio Corallo, Andrea Agiollo, Mauro Conti +1
Neuro-Symbolic (NeSy) AI has recently emerged as a novel paradigm to enable trustworthy AI, aiming at integrating sub-symbolic neural perception with grounded symbolic reasoning. T…
A Formal Resilience Framework for Cyber-Physical Embodied Systems under Device-Level Cyberattacks
Alberto Giaretta
In cyber-physical systems (CPSs), fault tolerance is traditionally achieved by analysing sensor and actuator outputs, detecting progressive drift or sudden failures, and initiating…
From Vulnerabilities to Remediation: A Systematic Literature Review of LLMs in Code Security
Enna Basic, Alberto Giaretta
Large Language Models (LLMs) have emerged as powerful tools for automating programming tasks, including security-related ones. However, they can also introduce vulnerabilities duri…
Hidden in Plain Sound: Environmental Backdoor Poisoning Attacks on Whisper, and Mitigations
Jonatan Bartolini, Todor Stoyanov, Alberto Giaretta
Thanks to the popularisation of transformer-based models, speech recognition (SR) is gaining traction in various application fields, such as industrial and robotics environments po…
Cybersecurity and Embodiment Integrity for Modern Robots: A Conceptual Framework
Alberto Giaretta, Amy Loutfi
Thanks to new technologies and communication paradigms, such as the Internet of Things (IoT) and the Robotic Operating System (ROS), modern robots can be built by combining heterog…