Lance Joneckis
1 indexed paper
Recent (6 mo)
1With code
0Influential cites
0Benchmarked
0Publications per year
126
Top categories
Crypto×1Formal Lang.×1
Frequent co-authors
Research Timeline
2026
From High-Level Types to Low-Level Monitors: Synthesizing Verified Runtime Checkers for MAVLink
The paper introduces Platum, a novel framework that synthesizes verified, low-latency runtime monitors for MAVLink protocols, enabling robust enforcement of contextual message validity on resource-constrained UAV hardware.
Highlighted terms show continued research focus across papers