Olga KOUCHNARENKO

Cliquez ici

Position and Responsabilities

• Professor at the University of Franche-Comté
• Head of the Research Team VESONTIO
• Vice-Head of the CASSIS Team, INRIA/Nancy and the LIFC
• In charge of the Licence Informatique at the University of Franche-Comté
• Co-responsible with J.-M. Couvreur for the working group FORWAL of the GDR CNRS GPL

Research

• Combination of ApproacheS for the Security of Infinite states Systems within the INRIA Team CASSIS
  • Reachability analysis for infinite-state systems
  • Verification of security protocols

• Verification of Parameterized Systems
• Reformulation of dynamic properties during refinement / their preservation
• Specification, refinement and verification of component-based systems

Recent Projects

• Specification, refinement, proof and error detection for object oriented applications
  GECCOO Project, ACI Information Security
• Cryptographic Protocols: Automatic Verification Tools
  RNTL Project PROUVE
• Automated Validation of Internet Security Protocols and Applications
  AVISPA Project
• Security Analysis for Trusted Infrastructures and Network protocols
  SATIN Project, ACI Information Security
• Composition of policies and services
  Project COPS ARA Security, Embedded Systems and Ambient Intelligence
• Rewriting and Approximation for Java Applets verification
  Project ANR RAVAJ
• Trustworthy Assembling of Components: frOm requirements to Specification
  Projet ANR TACOS

Publications

Former and current PhD students

• Christophe Darlot (2002)
• Célina Charlet (2003)
• Arnaud Lanoix (2005, MCF U. Nantes)
• Yohan Boichut (2006, MCF U.Orléans)
Jérome Voinot (currently)
• Roméo Courbis (currently)
• Julien Dormoy (currently)
• Ivan Rubanov (currently)

Teaching

• Process Algebra
• Finite and Infinite Automata
• Techniques and tools for spefification and verification of systems
• Discrete Models for Computer Science
• Data Bases
• Language Theory
• Methods and Tools for Artificial Intellingence