SAE Aerospace Electronics and Avionics Systems Conference

Greg Gicca is presenting a paper “Meeting Top Safety and Security Requirements while Reducing Cost, Size, Weight, and Energy: Achieving High Assurance through a Verifiable Language on a
MILS Architecture”.