He has spent his life designing so-called high-assurance (high-security) systems for governments, military, and other organizations that require a level of security beyond what COTS (commercial, off-the-shelf software) or open-source software can provide.