1. 2007-11-28 [1] [Avispa-users] From Pierre : Elliptic Curve simulation using AVISPA avispa-users Pierre E.ABI-CHAR 2. 2007-11-20 [2] [Avispa-users] Modelling Needham-Schroeder protocol avispa-users Ilham Kurnia