Michaël Rusinowitch

Researcher at INRIA

Head of  CASSIS TEAM
LORIA-INRIA-Lorraine
615, rue du Jardin Botanique, BP 101,
54602 Villers les Nancy Cedex, France


tel: (33) 03.83.59.30.20
fax: (33) 03.83.27.83.19


office: A209
email: Firstname.Lastname@loria.fr


Have a look at Nancy!


Research activities: security, formal methods, automated deduction

Recent publications (in DBLP Bibliography)

Tools for Automated Validation of Security Protocols AVISPA-TOOL
(its ancestor: CASRUL)

Involvements:

Recent projects:

Former PhD students: