Abstract: As space missions grow in complexity, the cybersecurity threat landscape expands, necessitating a shift toward secure-by-design flight software (FSW). Traditional development prioritizes ...

Abstract: A code is said to be locally testable if an algorithm can distinguish between a codeword and a vector being essentially far from the code using a number of queries that is independent of the ...