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-users =?ISO-8859-1?Q?Jorge_
  2. 2008-11-22  [1] Re: [Avispa-users] Flaw in avispa / ofmc?!                               avispa-users Luca Vigano` 
  3. 2008-11-19  [2] [Avispa-users] Kudo-Mathuria protocol                                    avispa-users Laurent Vigneron 
  4. 2008-11-15  [2] [Avispa-users] SATMC problem                                             avispa-users Roberto Carbone 
  5. 2008-11-14  [5] [Avispa-users] Authentication of data items                              avispa-users Günther Starnberger