Messages in this thread | | | From | "Jason A. Donenfeld" <> | Date | Sat, 25 Aug 2018 11:17:31 -0600 | Subject | Re: [PATCH v2 02/17] zinc: introduce minimal cryptography library |
| |
Pressed send too fast.
On Sat, Aug 25, 2018 at 11:06 AM Jason A. Donenfeld <Jason@zx2c4.com> 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
| |