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