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