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