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.ycombinat

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 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.