collaborators

1 paper

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…