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.…