The seL4 microkernel was verified using formal methods, providing strong assurance of the security guarantees of the operating system that are needed for systems requiring high degrees of security and/or safety. However seL4 makes generous assumptions about the correctness of the hardware on which the microkernel is being run. These assumptions are required because the most commonly used processor architectures are proprietary and often contain undocumented functionality.
While general cybersecurity approaches have focused on perimeter defenses like passwords and firewalls, Draper Inherently Secure Processor is built with security as a fundamental principle. By using proven hardware extensions to the open RISC-V ISA in a custom System on Chip, many common vulnerabilities can be eliminated with minimal changes to software. The combination of these two technologies offers an approach to system security that cannot be met by software alone.
Distribution Statement “A” (Approved for Public Release, Distribution Unlimited)
Visit Our Site