2 ms·

I agree that software bugs are a bigger concern than encrypting everything. I think the problem is that not many people are starting companies around "high assu

by hnhnhn3 11y ago

I agree that software bugs are a bigger concern than encrypting everything. I think the problem is that not many people are starting companies around "high assurance." How do you get people to turn their PL research into startups?

nickpsecurity 11y ago
Galois Inc is a perfect example of one that continually makes money on high-assurance R&D some of which they open-source. Others spin it off into useful commercial tools. INRIA has done that with Astree Analyzer for C. Other times they can just make the tools practical and available for a community that will then build on them alongside their students. INRIA w/ Ocaml and Coq come to mind again. So, that's one route.