Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

And compelling. Can you really make that work securely in the kernel?


It's a nice idea, but it goes against layered security [1]. Perhaps computer-assisted proofs can make that a non-issue.

In any case, I would very much like to see an implementation of this.

[1] https://en.wikipedia.org/wiki/Layered_security




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: