Michaël Rusinowitch

Research activities: security, formal methods, automated deduction

• 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

• European project IST AVISPA
• ACI SECURITE SATIN / internship available
• ARA SSIA COPS (Composition of Policies and Services)
• RNTL PROUVE
• RNTL POSE / postdoc available (Security conformance testing for embedded systems)
  
• 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