1. 26 Feb, 2016 3 commits
  2. 22 Feb, 2016 2 commits
  3. 20 Feb, 2016 1 commit
  4. 19 Feb, 2016 2 commits
  5. 18 Feb, 2016 5 commits
  6. 17 Feb, 2016 1 commit
  7. 09 Feb, 2016 2 commits
  8. 08 Feb, 2016 1 commit
  9. 21 Jan, 2016 1 commit
  10. 13 Jan, 2016 1 commit
  11. 11 Jan, 2016 1 commit
  12. 03 Dec, 2015 14 commits
  13. 19 Nov, 2015 1 commit
  14. 06 Nov, 2015 1 commit
  15. 19 Oct, 2015 1 commit
    • Luker's avatar
      proverif fix · d3f12f2f
      Luker authored
      Modified to match actual implementation:
      supported authentication list does not need to be encrypted
      as there is nothing secret and gets sent before authentication
      anyway.
      Signed-off-by: Luker's avatarLuca Fulchir <luker@fenrirproject.org>
      d3f12f2f
  16. 12 Oct, 2015 1 commit
  17. 11 Oct, 2015 1 commit
  18. 09 Oct, 2015 1 commit