wireguard-tamarin, branch master Proof of WireGuard protocol using Tamarin https://git.zx2c4.com/wireguard-tamarin/atom/?h=master 2017-07-17T16:17:38Z Unknown key-share resistance 2017-07-17T16:17:38Z Jason A. Donenfeld Jason@zx2c4.com 2017-07-17T16:17:38Z urn:sha1:a61c234daa9f948062e8a1b473c6a1be05f538d0 .io -> .com 2017-07-16T14:34:10Z Jason A. Donenfeld Jason@zx2c4.com 2017-07-16T14:34:05Z urn:sha1:e24b0d23f75d8178ec76e362fcabc3ad68591198 Fixed unhappy m4 comment 2017-07-14T11:51:30Z Kevin Milner kevin.milner@cs.ox.ac.uk 2017-07-14T11:51:30Z urn:sha1:a716aaa431d69384223485d07e4a1b47fd8e25b5 Updated comments for additional explanations and clarity 2017-07-14T11:48:44Z Kevin Milner kevin.milner@cs.ox.ac.uk 2017-07-14T11:48:44Z urn:sha1:45f8c6ccc2dfb703a85ebc496ec7f5ab889b8922 Add auto proving mode as default makefile target 2017-07-14T11:22:43Z Jason A. Donenfeld Jason@zx2c4.com 2017-07-14T11:22:43Z urn:sha1:eda9436db56a273e7d2b40cc936d7a2cae882aaf Removed unnecessary restrictions 2017-07-14T11:14:24Z Kevin Milner kevin.milner@cs.ox.ac.uk 2017-07-14T11:14:24Z urn:sha1:a450d6b426b5821811046b4446014ee720706601 GPLv2 2017-07-13T22:10:59Z Jason A. Donenfeld Jason@zx2c4.com 2017-07-13T22:10:59Z urn:sha1:bc24e70c10278c49fd73801209a762e78ab65fd5 Re-add heuristic hacks 2017-05-08T22:19:39Z Jason A. Donenfeld Jason@zx2c4.com 2017-05-08T22:16:34Z urn:sha1:f2f5c93de7892758b0e154f82fd7a24031b26979 Be less ugly 2017-05-08T14:16:00Z Jason A. Donenfeld Jason@zx2c4.com 2017-05-08T14:10:51Z urn:sha1:d6ff336b332df53521bd8d9aec6d09e9eaf4fdd2 Style 2017-05-08T13:33:15Z Jason A. Donenfeld Jason@zx2c4.com 2017-05-08T13:28:02Z urn:sha1:aa78951e2c0a23851c25055ab164bf79e9c74b0a