From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: jedi_papi@yahoo.com Received: from krantz.zx2c4.com (localhost [127.0.0.1]) by krantz.zx2c4.com (ZX2C4 Mail Server) with ESMTP id f48b6ca2 for ; Sat, 20 Jan 2018 22:11:07 +0000 (UTC) Received: from sonic312-22.consmr.mail.gq1.yahoo.com (sonic312-22.consmr.mail.gq1.yahoo.com [98.137.69.203]) by krantz.zx2c4.com (ZX2C4 Mail Server) with ESMTP id fd02634d for ; Sat, 20 Jan 2018 22:11:07 +0000 (UTC) Date: Sat, 20 Jan 2018 22:14:45 +0000 (UTC) From: Jose Marinez To: "Jason A. Donenfeld" , Greg KH Message-ID: <95653991.1317652.1516486485320@mail.yahoo.com> In-Reply-To: References: <20180119082957.GB14517@kroah.com> Subject: Re: Formally Verified Cryptographic Primitive Implementations MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_Part_1317649_254356589.1516486485319" Cc: WireGuard mailing list List-Id: Development discussion of WireGuard List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , ------=_Part_1317649_254356589.1516486485319 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Great work. Impressive=C2=A0 On Friday, January 19, 2018, 8:26 AM, Jason A. Donenfeld = wrote: On Fri, Jan 19, 2018 at 9:29 AM, Greg KH 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@lists.zx2c4.com https://lists.zx2c4.com/mailman/listinfo/wireguard ------=_Part_1317649_254356589.1516486485319 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Great work. Impressive

On F= riday, January 19, 2018, 8:26 AM, Jason A. Donenfeld <Jason@zx2c4.com>= ; wrote:

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

Glad you like it. The real work, of course, w= ill be parlaying this
work into kernel crypto api 2.0...<= div class=3D"yqt4031667614" id=3D"yqtfd93024">

Jason
_________________________________________= ______
WireGuard mailing list
WireGuard@lists.zx2c4.com
https://lists.zx2c4.com/mailman/listinfo/wireguard

------=_Part_1317649_254356589.1516486485319--