Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Michael Rusinowitch's Home Page
[go: Go Back, main page]

Michaël Rusinowitch

Researcher at INRIA

PROJET CASSIS
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
research activities: security, formal methods, automated deduction
publications (in DBLP Bibliography)

AVISPA-TOOL
CASRUL

Events:

Links:

Former PhD students: