|
|
|
|
|
|
by DanWaterworth
3317 days ago
|
|
|
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. |
|
|