We present R2U2, a novel framework for runtime monitoring of security properties and diagnosing of security threats on-board Unmanned Aerial Systems (UAS). R2U2, implemented in FPGA hardware, is a real-time, REALIZABLE, RESPONSIVE, UNOBTRUSIVE Unit for security threat detection. R2U2 is designed to continuously monitor inputs from the GPS and the ground control station, sensor readings, actuator outputs, and flight software status. By simultaneously monitoring and performing statistical reasoning, attack patterns and post-attack discrepancies in the UAS behavior can be detected. R2U2 uses runtime observer pairs for linear and metric temporal logics for property monitoring and Bayesian networks for diagnosis of security threats. We discuss t...
The autonomous control of unmanned aircraft is a highly safety-critical domain with great economic p...
In the last decades, Unmanned Aerial Vehicles (UAVs) are finding more and more fields of application...
R2U2 (Realizable, Responsive, Unobtrusive Unit) is a hardware-supported tool and framework for the r...
We present R2U2, a novel framework for runtime monitoring of security properties and diagnosing of s...
We present R2U2 (Realizable, Responsive, Unobtrusive Unit), a hardware-supported tool and framework ...
For unmanned aerial systems (UAS) to be successfully deployed and integrated within the national air...
For unmanned aerial systems (UAS) to be successfully deployed and integrated within the national air...
The FAA predicts that purchases of hobbyist small unmanned aerial systems (sUAS) will grow from 1.9 ...
R2U2 (Realizable, Responsive, Unobtrusive Unit) is an extensible framework for runtime System Health...
Unmanned Aerial Systems (UAS) can only be deployed if they can effectively complete their mission an...
Unmanned aerial systems (UASs) can only be deployed if they can effectively complete their missions ...
In this paper the general susceptibilities of Unmanned Aerial Vehicles (UAVs) against modern-cyber t...
Cyber–physical systems (CPS) for device-to-device (D2D) communications are gaining prominence in tod...
Unmanned Vehicles (UVs), including aerial, sea, and ground vehicles, include remotely operated vehic...
International audienceUnmanned aerial vehicles (UAVs) networks have not yet received considerable re...
The autonomous control of unmanned aircraft is a highly safety-critical domain with great economic p...
In the last decades, Unmanned Aerial Vehicles (UAVs) are finding more and more fields of application...
R2U2 (Realizable, Responsive, Unobtrusive Unit) is a hardware-supported tool and framework for the r...
We present R2U2, a novel framework for runtime monitoring of security properties and diagnosing of s...
We present R2U2 (Realizable, Responsive, Unobtrusive Unit), a hardware-supported tool and framework ...
For unmanned aerial systems (UAS) to be successfully deployed and integrated within the national air...
For unmanned aerial systems (UAS) to be successfully deployed and integrated within the national air...
The FAA predicts that purchases of hobbyist small unmanned aerial systems (sUAS) will grow from 1.9 ...
R2U2 (Realizable, Responsive, Unobtrusive Unit) is an extensible framework for runtime System Health...
Unmanned Aerial Systems (UAS) can only be deployed if they can effectively complete their mission an...
Unmanned aerial systems (UASs) can only be deployed if they can effectively complete their missions ...
In this paper the general susceptibilities of Unmanned Aerial Vehicles (UAVs) against modern-cyber t...
Cyber–physical systems (CPS) for device-to-device (D2D) communications are gaining prominence in tod...
Unmanned Vehicles (UVs), including aerial, sea, and ground vehicles, include remotely operated vehic...
International audienceUnmanned aerial vehicles (UAVs) networks have not yet received considerable re...
The autonomous control of unmanned aircraft is a highly safety-critical domain with great economic p...
In the last decades, Unmanned Aerial Vehicles (UAVs) are finding more and more fields of application...
R2U2 (Realizable, Responsive, Unobtrusive Unit) is a hardware-supported tool and framework for the r...