Re: [PATCH v2 02/17] zinc: introduce minimal cryptography library
From: Jason A. Donenfeld
Date: Sat Aug 25 2018 - 13:17:56 EST
Pressed send too fast.
On Sat, Aug 25, 2018 at 11:06 AM Jason A. Donenfeld <Jason@xxxxxxxxx> 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