1. 2018-02-23 [4] Re: [curves] new 25519 measurements of formally verified implementations moderncrypto Jason A. Donenfeld