3 ms·
Had these methods been applied to security aspect of software development? Any examples?
by ComodoHacker 9y ago
Had these methods been applied to security aspect of software development? Any examples?
- DanWaterworth 9y agoOn the lower end of the spectrum, sound type systems prevent a class of vulnerabilities including buffer overflows. On the upper end, https://sel4.systems/ https://sel4.systems/, a formally verified microkernel, is used in security-critical systems.