Alleged "microkernel mathematically proven to be bug free"
Lodewijk andré de la porte
l at odewijk.nl
Tue Jul 29 06:55:38 PDT 2014
2014-07-29 15:03 GMT+02:00 Cathal Garvey <cathalgarvey at cathalgarvey.me>:
> So the kernel can be theoretically secure but still be packed with buffer
> overflows and pointer errors?
>
No.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: text/html
Size: 583 bytes
Desc: not available
URL: <https://lists.cpunks.org/pipermail/cypherpunks/attachments/20140729/1bd12f25/attachment-0001.txt>
More information about the cypherpunks
mailing list