Reply to post: Just a reminder...

DARPA joins math-secured microkernel race


Just a reminder...

IIRC, NICTA announced that their 'provably secure' microkernel, seL4 was not mathematically proven secure when DMA is used. seL4 is a great achievement, but there is still a long way to go.

POST COMMENT House rules

Not a member of The Register? Create a new account here.

  • Enter your comment

  • Add an icon

Anonymous cowards cannot choose their icon

Biting the hand that feeds IT © 1998–2022