Michaël Rusinowitch

Research activities: security", formal methods, automated deduction, (see also CASSIS)

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

Involvements:

• IFIP WG 11.14 on Secure Engineering
• IFIP Working Group 1.6 Term Rewriting
• CRISIS 2010
• COLSEC 2010
• 2010 Grande Region Security and Reliability Day
• ASIACCS 2010
• SCSS 2009
• COLIBRI
• FTP 2009
• COLSEC 2009
• 1st Luxembourg Day on Security and Reliability
• CADE'09
• RTA'08
• SECRET'08
• SAR-SSI'08
• IJCAR'08, 4th International Joint Conference on Automated Reasoning
• COLSEC'08
• CRiSIS'07
• ASIAN'06, Asian Computing Science Conference
• SecReT 2006
• ISR 2006
• LPAR 2006
• IEEE Symposium on Security and Privacy 2006. OAKLAND
• 19th IEEE Computer Security Foundations Workshop 2006
• 8th International Symposium on Functional and Logic Programming. Fuji. 2006.
• COLSEC. Workshop on Collaboration and Security. 2006
• Rencontres Sécurité et Architecture Réseaux, Seignosse, June 6-9, 2006
• Taiwanese-French Conference on Information Technology 2006
• Applications of Constraint Satisfaction and Programming to Computer Security CPSEC 05
• ARSPA 2005
• First-Order Theorem Proving  2005
• CRISIS 2005
• Rencontres Sécurité et Architecture Réseaux 2005
• French-Taiwanese IT conference 2005
  
• International Joint Conference on Automated Reasoning  2004 (chairman)
• WAVISPA 2004
• ACM Computer and Communications Security 2004

• STIC BRICK
• FP7 IST AVANTSSAR
• FP6 IST AVISPA
• ACI SECURITE SATIN / Colloque STIC
• ARA SSIA COPS (Composition of Policies and Services)
• RNTL PROUVE
• RNTL POSE (Security conformance testing for embedded systems)
  
• NOE ARTIST
• RTP SECC

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