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 &quot;high assurance.&quot;  How do you get people to turn their PL research into startups?