On 29/07/14 14:55, Lodewijk andré de la porte wrote: > 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.
Care to elaborate? I can mathematically prove any theorem, then implement it in C and segfault the kernel. How is this different? -- T: @onetruecathal, @IndieBBDNA P: +353876363185 W: http://indiebiotech.com
0x988B9099.asc
Description: application/pgp-keys
signature.asc
Description: OpenPGP digital signature
