Arthur Amorim
Incoming Research Scientist and System Security Researcher at MIT Lincoln Laboratory
I build verified protocol implementations and monitors for cyber-physical systems. They are 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 Published the NFM 2026 paper, From High-Level Types to Low-Level Monitors: Synthesizing Verified Runtime Checkers for MAVLink
- 2026 Gave an invited HCSS 2026 presentation, Certified Synthesis of High-Assurance Protocols and Monitors
- 2026 Defended my doctoral dissertation on SPECTRE, a framework for verified cyber-physical protocols
- 2026 Accepted a Research Scientist, System Security Researcher position at MIT Lincoln Laboratory