2 papers
cs.CR2025
UAV Resilience Against Stealthy Attacks
Arthur Amorim, Max Taylor, Trevor Kann +3
Unmanned aerial vehicles (UAVs) depend on untrusted software components to automate dangerous or critical missions, making them a desirable target for attacks. Some work has been d…
cs.CR2025
Enforcing MAVLink Safety & Security Properties Via Refined Multiparty Session Types
Arthur Amorim, Max Taylor, Trevor Kann +3
A compromised system component can issue message sequences that are legal while also leading the overall system into unsafe states. Such stealthy attacks are challenging to charact…