1. 1
    New Computational Proof Results of WireGuard Protocol from Dowling and Paterson ☶ crypto formalmethods linux networking lists.zx2c4.com
    zx2c4 avatar via zx2c4 9 months ago | cached | no comments

The paper itself is here: https://eprint.iacr.org/2018/080.pdf

  1.