Great work. Impressive
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 i
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
On Thu, Jan 18, 2018 at 04:42:10PM +0100, Jason A. Donenfeld wrote:
> Hi folks,
>
> Writing crypto code is hard and sometimes scary. Especially on things
> like elliptic curves and big number arithmetic, subtle but critical
> bugs often sit around undetected for years. For this reason, I've been
>
Hi folks,
Writing crypto code is hard and sometimes scary. Especially on things
like elliptic curves and big number arithmetic, subtle but critical
bugs often sit around undetected for years. For this reason, I've been
working with some researchers at INRIA on using a formally verified
Curve25519
