| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Unknown key-share resistanceHEADmaster |   Jason A. Donenfeld | 2017-07-17 | 1 | -0/+6 |
| * | Fixed unhappy m4 comment |   Kevin Milner | 2017-07-14 | 1 | -1/+2 |
| * | Updated comments for additional explanations and clarity | Kevin Milner | 2017-07-14 | 1 | -21/+40 |
| * | Removed unnecessary restrictions | Kevin Milner | 2017-07-14 | 1 | -7/+0 |
| * | Re-add heuristic hacks | Jason A. Donenfeld | 2017-05-09 | 1 | -4/+8 |
| * | Be less ugly | Jason A. Donenfeld | 2017-05-08 | 1 | -84/+84 |
| * | Style | Jason A. Donenfeld | 2017-05-08 | 1 | -87/+96 |
| * | Fix comments | Jason A. Donenfeld | 2017-05-08 | 1 | -5/+1 |
| * | Begin psk simplification | Jason A. Donenfeld | 2017-05-08 | 1 | -104/+50 |
| * | No TODO | Jason A. Donenfeld | 2017-05-06 | 1 | -2/+2 |
| * | State carries over ci6 not ci3 | Jason A. Donenfeld | 2017-05-06 | 1 | -1/+1 |
| * | Exists PSK | Jason A. Donenfeld | 2017-05-06 | 1 | -0/+5 |
| * | Without heuristic hackery |   Kevin Milner | 2017-05-04 | 1 | -76/+5 |
| * | Manual proof for heuristic hackery | Kevin Milner | 2017-05-04 | 1 | -0/+71 |
| * | PSK mode readded | Kevin Milner | 2017-05-04 | 1 | -50/+72 |
| * | Model the PSK mixing non lazily | Jason A. Donenfeld | 2017-05-04 | 1 | -2/+4 |
| * | New psk model | Jason A. Donenfeld | 2017-05-04 | 1 | -208/+51 |
| * | Cleanup and commenting | Kevin Milner | 2017-04-03 | 1 | -46/+51 |
| * | Additional documentation of properties | Kevin Milner | 2017-03-31 | 1 | -26/+49 |
| * | Jason likes things in order | Kevin Milner | 2017-03-30 | 1 | -2/+2 |
| * | PSK related secrecy, reformulated injectivity | Kevin Milner | 2017-03-30 | 1 | -9/+18 |
| * | Identity Hiding | Kevin Milner | 2017-03-30 | 1 | -19/+14 |
| * | Changed timestamp to public value | Kevin Milner | 2017-03-30 | 1 | -6/+6 |
| * | Updated agreement properties + efficiency | Kevin Milner | 2017-03-30 | 1 | -64/+140 |
| * | Change of agreement property and compromise model | Kevin Milner | 2017-03-29 | 1 | -8/+31 |
| * | PSK Mode added, and efficiency improved by splitting out state invariants | kmilner | 2017-03-09 | 1 | -123/+161 |
| * | More efficiency changes to reduce DH variant computations. Injective agreement now proves directly from agreement | Kevin Milner | 2017-03-06 | 1 | -68/+170 |
| * | Minor updates to terms for ease of use, and preparation for adding PSK mode. Everything but injective agreement proves automatically | Kevin Milner | 2017-03-05 | 1 | -53/+120 |
| * | Removed incorrect comment | Kevin Milner | 2017-03-02 | 1 | -4/+2 |
| * | Minor update to remove unnecessary terms, and untype the sidI term so the heuristic does better at picking terms to solve for | Kevin Milner | 2017-03-02 | 1 | -17/+19 |
| * | Initial model | Kevin Milner | 2017-03-01 | 1 | -0/+163 |
