This is a very serious matter, but this article omits some important points.
There must be laws and regulations which require every organization handling sensitive information (not only financial institutions and the like) to have sufficiently secure computer systems.
And there must be regular audits of the latter.
Software engineering must be regulated in a manner similar to civil engineering and electrical engineering with respect to reliability, safety, and security.
From the BBC:
Vastaamo hack: My darkest secrets were revealed to the world
<https://www.bbc.com/news/articles/c62nzxqw45eo>
"Software engineering must be regulated in a manner similar to civil engineering and electrical engineering with respect to reliability, safety, and security."
@octade wrote:
«I believe that the U.S. military tried to do this with the Ada programming language. It seems they had a goal to make everything auditable and verifiable.»
Right.
This is an important point.
Indeed the whole story of Ada (now approaching half a century!) is a valuable case study (for one's Unlimited Free Time ™ 🙂).
Not all milk and honey, of course.
But the military know how to take care of their technologies.
Maybe it is clear and redundant to say:
my concern is about civil applications of software engineering.