[Cryptography] Yet more formal methods news: seL4 to go open source

[Lodewijk andré de la porte]

I'm very excited about this. This might finally open up the possibility to
have a truly secure system!

Or at least, it's a mayor, mayor, mayor step in the direction.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.metzdowd.com/pipermail/cryptography/attachments/20140611/3c9eb278/attachment.html>