Composable Post-Quantum Security for FADEC-Coupled Dual-Spool Turbofan Cyber-Physical Systems

TL;DR

This paper presents a comprehensive mathematical framework for implementing post-quantum security in aerospace cyber-physical systems, addressing cryptography, timing, and system integrity in a unified model.

Contribution

It introduces a novel integrated model combining lattice-based cryptography, system timing, and security analysis for aerospace control systems under post-quantum threats.

Findings

Channel uncertainty affects key renewal periods.

Ciphertext expansion impacts bus schedulability.

Sensor and actuator limits influence integrity and control delays.

Abstract

We develop a unified mathematical formulation for post-quantum authenticated telemetry and actuation in FADEC-coupled dual-spool turbofan cyber-physical systems. The formulation integrates lattice-based key establishment under LWE/SIS-style assumptions, PUF-derived attestation entropy, authenticated encryption, radar-altimeter integrity, avionics-bus timing, and Kalman residual monitoring in a stochastic hybrid model. Within this model, plant evolution, communication latency, leakage, adversarial channel quality, and cryptographic state evolve under a common filtration. We show that channel uncertainty tightens admissible key-renewal periods, that ciphertext expansion enters bus-level schedulability constraints, and that sensing and actuator limits shape integrity thresholds and allowable control delay. We further relate PUF smooth min-entropy to distinguishing advantage and connect innovation statistics to conservative alarm design. Overall, the results characterize how post-quantum security, real-time schedulability, and closed-loop stability interact in safety-critical aerospace control architectures within a defensive analytical treatment that does not provide operational guidance for interference with real platforms.