The US Defense Advanced Research Projects Agency (DARPA) has awarded DornerWorks a Small Business Innovation Research (SBIR) Phase I contract for topic SB172-008 “Ecosystem of Secure Software Components around the seL4 Microkernel” with the project title of “The seL4...Read more