3 citations · 4 across the 10 of their papers we have counts for
6 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…
Refusal Before Decoding: Detecting and Exploiting Refusal Signals in Intermediate LLM Activations
Matteo Gioele Collu, Riccardo Conte, Alberto Giaretta +4
In this paper, we investigate whether refusal behavior can be predicted from LLM intermediate activations before decoding using linear probes trained on residual stream activations…
From Chat Control to Robot Control: Implications of the Chat Control Proposal for Human-Robot Interaction
Neziha Akalin, Alberto Giaretta
This paper explores how a recent European Union proposal, the so-called Chat Control, which creates regulatory incentives for providers to implement content detection and communica…