October 2, 2014

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

Read more at The Register
Click Here!