News for hackers. Stuff that matters.

A comment on 10 Years SeL4: Still the Best, Still Getting Better. Parent comment

Re:10 Years SeL4: Still the Best, Still Getting Better by nickpsecurity on Tuesday August 06, 2019 @08:16PM (#20630931)
High-assurance security did do work on secure browsers. One prototype inspired Chrome's model. Here's an old thread where I listed some:

https://news.ycombinator.com/item?id=9962444

One or more might be integrated into seL4. Alternatively, components in something like IBOS might be done with higher assurance like seL4 or Muen.

[ Parent | on HN ]

There are no comments on this comment yet.