[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Alleged "microkernel mathematically proven to be bug free"



2014-07-29 15:03 GMT+02:00 Cathal Garvey <[email protected]>:

> So the kernel can be theoretically secure but still be packed with buffer
> overflows and pointer errors?
>

No.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://cpunks.org/pipermail/cypherpunks/attachments/20140729/1bd12f25/attachment.html>