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