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