Towards Provable Security in Industrial Control Systems Via Dynamic Protocol Attestation. - Arthur Amorim; Trevor Kann; Max Taylor; Lance Joneckis (ACSAC Workshops, 2024)

Enhancing Cyber-Physical System Dependability via Synthesis: Challenges and Future Directions. - Max Taylor; Arthur Amorim (DSN-W, 2025)

Enforcing MAVLink Safety & Security Properties via Refined Multiparty Session Types. - Arthur Amorim; Max Taylor; Trevor Kann; William L. Harrison; Gary T. Leavens; Lance Joneckis (NFM, 2025)

Enforcing MAVLink Safety & Security Properties Via Refined Multiparty Session Types. - Arthur Amorim; Max Taylor; Gary T. Leavens; Bill Harrison; Lance Joneckis; Trevor Kann (CoRR, 2025)

UAV Resilience Against Stealthy Attacks. - Arthur Amorim; Max Taylor; Trevor Kann; Gary T. Leavens; William L. Harrison; Lance Joneckis (CoRR, 2025)