News for hackers. Stuff that matters.

A comment on L4 microkernels: The lessons from 20 years of research and deployment. Parent comment

Re:L4 microkernels: The lessons from 20 years of research an... by mafribe on Tuesday September 20, 2016 @11:16AM (#12540145)
I'm happy to believe that almost all IoT vulnerabilities are application level problems.

The beginning availability of verified kernels and compilers makes it much more worthwhile to invest in formal approaches for application level vulnerabilities.

[ Parent | on HN ]
Re:L4 microkernels: The lessons from 20 years of research an... by nickpsecurity on Tuesday September 20, 2016 @12:48PM (#12540925)
See my comment. It has top approaches to that which already delivered implementations.
[ Parent | on HN ]