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