DARPA Joins Math-Secured Microkernel Race

Embedded systems need better security

In a discussion that will sound familiar to Australian readers, US military development agency DARPA wants to create provably-secure software.…