Re: [PATCH v2 02/17] zinc: introduce minimal cryptography library
From: "Jason A. Donenfeld" <Jason@zx2c4.com>
Date: 2018-08-25 17:17:47
Also in:
linux-crypto, lkml
Pressed send too fast. On Sat, Aug 25, 2018 at 11:06 AM Jason A. Donenfeld [off-list ref] wrote:
- https://www.wireguard.com/papers/wireguard-formal-verification.pdf - https://www.wireguard.com/papers/dowling-paterson-computational-2018.pdf - https://www.wireguard.com/formal-verification/
- https://www.wireguard.com/papers/lipp-computational-2018.pdf - https://eprint.iacr.org/2018/766.pdf