Skip to content
  1. Feb 26, 2016
  2. Feb 22, 2016
  3. Feb 20, 2016
  4. Feb 19, 2016
  5. Feb 18, 2016
  6. Feb 17, 2016
  7. Feb 09, 2016
  8. Feb 08, 2016
  9. Jan 21, 2016
  10. Jan 13, 2016
  11. Jan 11, 2016
  12. Dec 03, 2015
  13. Nov 19, 2015
  14. Nov 06, 2015
  15. Oct 19, 2015
    • 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: default avatarLuca Fulchir <luker@fenrirproject.org>
      d3f12f2f
  16. Oct 12, 2015
  17. Oct 11, 2015
  18. Oct 09, 2015