Galois to provide trusted computing hardware and software design and development tools. (Military & Aerospace Electronics, 2024)