Michael Rusinowitch

Researcher at INRIA

PROJET CASSIS

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

• ARSPA 2005
• FTP 2005
• CRISIS 2005
• 2005 French-Taiwanese IT conference
• Special Issue of The Journal of Automated Reasoning on Automated Reasoning for Security Protocol Analysis
• IJCAR 2004
• WAVISPA 2004
• ACM Computer and Communications Security 2004
• Rencontres Sécurité et Architecture Réseaux 2005
• Rencontres Sécurité et Architecture Réseaux 2004
• Computer Science Logic 2004
• SASYFT2004
• NUMERO SPECIAL TSI SECURITE INFORMATIQUE, Volume 23, No3,2004
• Security Protocols Verification 2003
• 12th International Workshop on Functional and Logic Programming 2003

• European project IST AVISPA
• ACI SECURITE SATIN
• RNTL PROUVE
• NOE ARTIST
• RTP SECC

• Tarek Abbes (co)
• Narjes Berregeb
• Adel Bouhoula
• Yannick Chevalier (co)
• Eric Monfroy
• Julien Musset
• Silvio Ranise (co)
• Sorin Stratulat
• Mathieu Turuani
• Laurent Vigneron