summaryrefslogtreecommitdiffstats
path: root/wireguard.m4 (follow)
Commit message (Expand)AuthorAgeFilesLines
* Updated comments for additional explanations and clarityKevin Milner2017-07-141-21/+40
* Removed unnecessary restrictionsKevin Milner2017-07-141-7/+0
* Re-add heuristic hacksJason A. Donenfeld2017-05-091-4/+8
* Be less uglyJason A. Donenfeld2017-05-081-84/+84
* StyleJason A. Donenfeld2017-05-081-87/+96
* Fix commentsJason A. Donenfeld2017-05-081-5/+1
* Begin psk simplificationJason A. Donenfeld2017-05-081-104/+50
* No TODOJason A. Donenfeld2017-05-061-2/+2
* State carries over ci6 not ci3Jason A. Donenfeld2017-05-061-1/+1
* Exists PSKJason A. Donenfeld2017-05-061-0/+5
* Without heuristic hackeryKevin Milner2017-05-041-76/+5
* Manual proof for heuristic hackeryKevin Milner2017-05-041-0/+71
* PSK mode readdedKevin Milner2017-05-041-50/+72
* Model the PSK mixing non lazilyJason A. Donenfeld2017-05-041-2/+4
* New psk modelJason A. Donenfeld2017-05-041-208/+51
* Cleanup and commentingKevin Milner2017-04-031-46/+51
* Additional documentation of propertiesKevin Milner2017-03-311-26/+49
* Jason likes things in orderKevin Milner2017-03-301-2/+2
* PSK related secrecy, reformulated injectivityKevin Milner2017-03-301-9/+18
* Identity HidingKevin Milner2017-03-301-19/+14
* Changed timestamp to public valueKevin Milner2017-03-301-6/+6
* Updated agreement properties + efficiencyKevin Milner2017-03-301-64/+140
* Change of agreement property and compromise modelKevin Milner2017-03-291-8/+31
* PSK Mode added, and efficiency improved by splitting out state invariantskmilner2017-03-091-123/+161
* More efficiency changes to reduce DH variant computations. Injective agreement now proves directly from agreementKevin Milner2017-03-061-68/+170
* Minor updates to terms for ease of use, and preparation for adding PSK mode. Everything but injective agreement proves automaticallyKevin Milner2017-03-051-53/+120
* Removed incorrect commentKevin Milner2017-03-021-4/+2
* Minor update to remove unnecessary terms, and untype the sidI term so the heuristic does better at picking terms to solve forKevin Milner2017-03-021-17/+19
* Initial modelKevin Milner2017-03-011-0/+163
Copyright © 1996 – 2023 Jason A. Donenfeld. All Rights Reverse Engineered.