Arthur Amorim
Ph.D. Candidate in Computer Science — UCF & Idaho National Laboratory
I build verified protocol implementations and monitors for cyber-physical systems -- formally proven defenses that block sequences of individually valid commands from driving a physical system into an unsafe state, even when no single message looks suspicious.
Recent
- 2026 NFM 2026 (to appear) — Platum: C FSM synthesis for MAVLink verified monitors
- 2026 OOPSLA 2026 (under review) — Facet: mechanized RMPST metatheory in F*
- 2025 HCSS 2025 & DICE 2025 — Invited talks on DATUM and UAV safety
- 2025 NFM 2025 — MAVlink RMPST paper published (Springer)