summaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Unknown key-share resistanceHEADmasterJason A. Donenfeld2017-07-171-0/+6
* .io -> .comJason A. Donenfeld2017-07-161-1/+1
* Fixed unhappy m4 commentKevin Milner2017-07-141-1/+2
* Updated comments for additional explanations and clarityKevin Milner2017-07-141-21/+40
* Add auto proving mode as default makefile targetJason A. Donenfeld2017-07-141-1/+4
* Removed unnecessary restrictionsKevin Milner2017-07-141-7/+0
* GPLv2Jason A. Donenfeld2017-07-141-0/+339
* 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
* Use proof serverJason A. Donenfeld2017-05-061-0/+2
* Makefile should be functional on linuxJason A. Donenfeld2017-05-061-1/+1
* 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
* Fixed awk syntax in remoteKevin Milner2017-03-301-5/+5
* Change of agreement property and compromise modelKevin Milner2017-03-291-8/+31
* Makefile: be less insaneJason A. Donenfeld2017-03-281-18/+20
* 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
* Hacky makefile for convenienceKevin Milner2017-03-011-0/+46
* Initial modelKevin Milner2017-03-011-0/+163