Formally Verified Cryptographic Primitive Implementations

Jason A. Donenfeld Jason at zx2c4.com
Fri Jan 19 14:26:07 CET 2018


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


More information about the WireGuard mailing list