The INFOSEC field was invented by people doing such things, they solved many root issues back in 1970's-1990's, were ignored, mainstream reinvents stuff at a trickle, and niche in CompSci and government doing high-assurance are gettimg more results than ever. I stay promoting it since our critical systems and infrastructure being bulletproof is unserved need. I also design ways to approximate it at lower cost and talent required.
And it's really draining. I just do it since it's both an interesting subject that's also a social need. Seemed like right thing to do.
https://dwheeler.com/essays/high-assurance-floss.html
The INFOSEC field was invented by people doing such things, they solved many root issues back in 1970's-1990's, were ignored, mainstream reinvents stuff at a trickle, and niche in CompSci and government doing high-assurance are gettimg more results than ever. I stay promoting it since our critical systems and infrastructure being bulletproof is unserved need. I also design ways to approximate it at lower cost and talent required.
And it's really draining. I just do it since it's both an interesting subject that's also a social need. Seemed like right thing to do.