Downloadable computer software for providing a secure, high-assurance execution platform for embedded processors, micro-controllers, and field programmable gate array (FPGA) devices, enabling secure and reliable execution of safety critical and security critical workloads in aerospace, defense, and telecommunications systems; Downloadable computer software for configuring, managing, and monitoring secure telecommunications systems; Downloadable computer software for detecting and preventing c...