Formally Verified Cryptographic Primitive Implementations

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

On Fri, Jan 19, 2018 at 9:29 AM, Greg KH <greg at> 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...


More information about the WireGuard mailing list