4 ms·
> some NSA pentesting didn't break during evaluation Which ones? Are any open-source?
by AlexCoventry 8y ago
> some NSA pentesting didn't break during evaluation
Which ones? Are any open-source?
- nickpsecurity 8y agoThey'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/
- chupasaurus 8y agoThe only time-proven one that I know of is pulling the plug. And even this could be hacked.