Security research on autonomous systems
Post-quantum cryptography, formal verification, and protocol design for
safety-critical embedded systems. Author of
CleitonQ —
ML-KEM-1024 + ML-DSA-87 authentication for MAVLink v2.
post-quantum
MAVLink
formal-verification
Rust
embedded
-
Nonce Design for Safety-Critical Systems: Lessons from a Post-Quantum MAVLink Protocol
2026-06-22
·
rust, security, embedded, post-quantum, MAVLink
Building replay-attack resistance for drone command-and-control links — and the three non-obvious decisions that make it work.