Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
wbl
on Oct 21, 2016
|
parent
|
context
|
favorite
| on:
“Most serious” Linux privilege-escalation bug ever...
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.
snvzz
on Oct 21, 2016
[–]
Worth noting that as of Genode's latest release, a lot of progress has been made in that regard.
Join us for
AI Startup School
this June 16-17 in San Francisco!
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
