Formally Verified Cryptographic Primitive Implementations

[Jose Marinez]

Great work. Impressive 


On Friday, January 19, 2018, 8:26 AM, Jason A. Donenfeld <Jason at zx2c4.com> wrote:

On Fri, Jan 19, 2018 at 9:29 AM, Greg KH <greg at kroah.com> wrote:
> No questions, just a general, "Wow, this is great work!"
>
> It's wonderful to see this happen, thanks so much for pushing this
> forward.

Glad you like it. The real work, of course, will be parlaying this
work into kernel crypto api 2.0...

Jason
_______________________________________________
WireGuard mailing list
WireGuard at lists.zx2c4.com
https://lists.zx2c4.com/mailman/listinfo/wireguard



-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.zx2c4.com/pipermail/wireguard/attachments/20180120/67831913/attachment.html>