Past contributors to the AVISPA Project