News for hackers. Stuff that matters.

A comment on “Most serious” Linux privilege-escalation bug ever is under active exploit. Parent comment

Re:“Most serious” Linux privilege-escalation bug ever is und... by wbl on Friday October 21, 2016 @01:48AM (#12758403)
seL4 does not have these kinds of errors. By shrinking the TCB, you make it possible to do hardcore verification. The challenge is in extending to larger systems and composition.
[ Parent | on HN ]
Re:“Most serious” Linux privilege-escalation bug ever is und... by snvzz on Friday October 21, 2016 @06:41AM (#12759363)
Worth noting that as of Genode's latest release, a lot of progress has been made in that regard.
[ Parent | on HN ]