Secure Satellite Software-Defined Payloads With High-Assurance Post-Quantum Cryptography

his paper presents the integration of formally verified, post-quantum cryptography into SpaceOS, a unikernel-based operating system for satellite platforms. Published at 2025 Security for Space Systems (3S).