Accelerating Time-to-Market using an Integrated High-Assurance Software Stack

Paul Pazandak , Fabrizio Bertocci

September 16, 2022

General-purpose computing, operating systems (OSs), inherent language features (like C memory allocation), and software quality issues have led to a lack of inherent security and resiliency in systems throughout industry. This has resulted in many security breaches that have had dire consequences to national security. It is necessary to design assured systems based on appropriate techniques and tools by applying sound security and engineering principles.