This post summarizes my 2025 IEEE SMC-IT paper "Cyber Resilience in Cislunar Space: Security Strategies for Large-Scale Space Infrastructure" co-authored with Gregory Falco.

A round-trip signal to the Moon takes approximately 2.56 seconds. For assets at Earth-Moon Lagrange points, it's longer. That number sounds small until you think about …

This post summarizes my 2025 IEEE SMC-IT paper "Alcyone: A Blueprint for Secure Rust Flight Software" co-authored with Gregory Falco.

When I wrote about the attack surface of cFS and RTEMS, the natural follow-up question was: what would you build instead? Alcyone is our answer, or at least the start …

This post summarizes my 2025 IEEE Aerospace Conference paper "Testable Cyber Requirements for Space Flight Software" co-authored with Gregory Falco.

Nobody can test "the system shall be secure." It checks a compliance box, but a test engineer reading it has nothing to work with. What does "secure" mean? Against what …

This post summarizes my 2024 IEEE SMC-IT paper "Attack Surface Analysis for Spacecraft Flight Software" co-authored with Gregory Falco.

There's a principle from formal verification of financial algorithms that stuck with me: you cannot properly reason about the behavior of a system higher in the stack unless you have verified …

This post summarizes my 2023 IEEE SMC-IT paper "A Research Agenda for Space Flight Software Security" co-authored with Gregory Falco.

When I started my dissertation research, I went looking for the academic literature on flight software security. I found policy papers about space being a contested domain, a growing body …