avispa-users

2008-11-01 - 2008-12-01 (11 messages)

2008-10-01 - 2008-11-01 (9 messages)

  1. 2008-11-24  [1] [Avispa-users] Doubt about HLPSL and OFEPSP+          avispa-us =?ISO-8859-1?
  2. 2008-11-22  [1] Re: [Avispa-users] Flaw in avispa / ofmc?!            avispa-us Luca Vigano` 
  3. 2008-11-19  [2] [Avispa-users] Kudo-Mathuria protocol                 avispa-us Laurent Vigne
  4. 2008-11-15  [2] [Avispa-users] SATMC problem                          avispa-us Roberto Carbo
  5. 2008-11-14  [5] [Avispa-users] Authentication of data items           avispa-us Günther Starn