Formally Verified Cryptographic Primitive Implementations

Jose Marinez jedi_papi at
Sat Jan 20 23:14:45 CET 2018

Great work. Impressive 

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

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...

WireGuard mailing list
WireGuard at

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the WireGuard mailing list