3 ms·
They're in my Lobsters link in this comment: https://news.ycombinator.com/item?id=18731514 https://news.ycombinator.com/item?id=18731514 Not open source given
by nickpsecurity 8y ago
They're in my Lobsters link in this comment:
https://news.ycombinator.com/item?id=18731514 https://news.ycombinator.com/item?id=18731514
Not open source given only proprietary sector made high-assurance security most of the time. There are some groups that open-sourced stuff after the fact. One whose methods some might emulate is Muen separation kernel. They use SPARK Ada to prove it can't have all kinds of problems. It's also smaller than most things like it.
https://muen.sk/ https://muen.sk/