On Thu, Jan 19, 2017 at 7:41 AM, stewart mackenzie <setor...@gmail.com> wrote:
> 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: https://sel4.systems/
_______________________________________________ langsec-discuss mailing list langsec-discuss@mail.langsec.org https://mail.langsec.org/cgi-bin/mailman/listinfo/langsec-discuss
