Showing 2024Show all
3 papers · 1 filter
cs.RO2024
ROS2-Based Simulation Framework for Cyberphysical Security Analysis of UAVs
Unmesh Patil, Akshith Gunasekaran, Rakesh Bobba +1
We present a new simulator of Uncrewed Aerial Vehicles (UAVs) that is tailored to the needs of testing cyber-physical security attacks and defenses. Recent investigations into UAV…
cs.AI2024
Formal Ethical Obligations in Reinforcement Learning Agents: Verification and Policy Updates
Colin Shea-Blymyer, Houssam Abbas
When designing agents for operation in uncertain environments, designers need tools to automatically reason about what agents ought to do, how that conflicts with what is actually…
cs.CR2024
Defending Large Language Models Against Attacks With Residual Stream Activation Analysis
Amelia Kawasaki, Andrew Davis, Houssam Abbas
The widespread adoption of Large Language Models (LLMs), exemplified by OpenAI's ChatGPT, brings to the forefront the imperative to defend against adversarial threats on these mode…