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