News for hackers. Stuff that matters.

A comment on Hospitals across England hit by large-scale cyber-attack. Parent comment

Re:Hospitals across England hit by large-scale cyber-attack by ComodoHacker on Friday May 12, 2017 @04:23PM (#14327571)
Had these methods been applied to security aspect of software development? Any examples?
[ Parent | on HN ]
Re:Hospitals across England hit by large-scale cyber-attack by DanWaterworth on Friday May 12, 2017 @04:28PM (#14327622)
On the lower end of the spectrum, sound type systems prevent a class of vulnerabilities including buffer overflows. On the upper end, https://sel4.systems/, a formally verified microkernel, is used in security-critical systems.
[ Parent | on HN ]