SpaceSec 2026

Towards automated threat modeling for space systems via SPARTA matrix
Joonhyuk Park, Jiwon Kwak, Geunwoo Baek, Dohee Kang, Seungjoo Kim (School of Cybersecurity, Korea University)
Temporal Risk on Satellites
Shiqi Liu, Kun Sun (Center for Secure Information Systems, George Mason University)
Risk Assessment for ML-Based Applications in Satellite Systems
Simon Shigol, Roy Peled, Avishag Shapira, Yuval Elovici, Asaf Shabtai (Ben Gurion University of the Negev)
Orbital Escalation: Modeling Satellite Ransomware Attacks Using Game Theory
Efrén López-Morales (New Mexico State University)

The Compromised Satellite Peripheral Dilemma
Rachel McAmis, Connor Willison, Richard Skowyra, Samuel Mergendahl (MIT Lincoln Laboratory)
Porting NASA's core Flight System to the Formally Verified seL4 Microkernel
Juliana Furgala, Samuel Jero, Andrea Lin, Rick Skowyra (MIT Lincoln Laboratory)
One Small Patch for a File, One Giant Leap for OTA Updates
Julian Rederlechner, Ulysse Planta, Ali Abbasi (CISPA Helmholtz Center for Information Security)

LighTellite: Reinforcement Learning-Based Framework for Energy Efficient Onboard Satellite Anomaly Detection
Aviel Ben Siman Tov, Edita Grolman, Yuval Elovici, Asaf Shabtai (Ben Gurion University of the Negev)
The 1-RTT Penalty: Quantifying the Recurring Cost of PQC Fragmentation in LEO Handovers and ISLs
Young Eun Kwon, Ji Won Yoon (Korea University)

4th Workshop on the Security of Space and Satellite Systems