[langsec-discuss] Will we ever "solve" security, or prove that we can't?

Tony Arcieri bascule at gmail.com
Thu Jan 19 15:59:05 UTC 2017

On Thu, Jan 19, 2017 at 7:41 AM, stewart mackenzie <setori88 at gmail.com>

> This might be a step in the right direction https://eprint.iacr.
> org/2016/550
> Here's the src: https://github.com/azonenberg/antikernel

As far as that sort of thing goes, seL4 is pretty interesting:

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mail.langsec.org/pipermail/langsec-discuss/attachments/20170119/b48a023d/attachment.html>

More information about the langsec-discuss mailing list