1. 2018-01-31 [5] [curves] new 25519 measurements of formally verified implementations moderncrypto Armando Faz =?utf-8?b