Recherche

	Prénom	Olga
	Nom	KOUCHNARENKO
	Statut	PROFESSEUR
	Adresse	LIFC UFR ST 16 route de Gray 25030 BESANCON Cedex
	Courriel	olga.kouchnarenko [ _at_ ] lifc.univ-fcomte.fr
	Téléphone	+33 (0)3.81.66.65.24
	Fax	+33 (0)3 81 66 64 50
	Equipe	VESONTIO

Recherche

• Combinaison d'Approches pour la Sécurité des Systèmes InfiniS
  Projet CASSIS du LORIA (INRIA, Nancy) et du LIFC
  • Analyse d'atteignabilité de systèmes infinis
  • Vérification de protocoles de sécurité
  • Analyse de Web services
• Vérification et validation symboliques et à contraintes
  • Vérification de systèmes paramétrés
  • Préservation de propriétés temporelles
  • Raffinement et vérification de systèmes à composants

Projets récents

• Spécification, raffinement, preuve et détection d'erreurs pour des applications orientées objet
  Projet GECCOO, ACI Sécurité Informatique
• PRotocoles cryptographiques: OUtils de Vérification automatique
  Projet RNTL PROUVE
• Validation automatique de protocoles de sécurité sur Internet et applications
  Projet AVISPA
• Security Analysis for Trusted Infrastructures and Network protocols
  Projet SATIN ACI Sécurité Informatique
• Composition des politiques et des services
  Projet COPS ARA Sécurité, système embarqués et intelligence ambiante
• Rewriting and Approximation for Java Applets verification
  Projet ANR RAVAJ
• Trustworthy Assembling of Components: frOm requirements to Specification
  Projet ANR TACOS
• Access Control Policies for XML: Verification, Enforcement and Collaborative Edition
  Projet ACI INRIA ACCESS

Direction de thèses

• Christophe Darlot (2002)
• Célina Charlet (2003)
• Arnaud Lanoix (2005, MCF U. Nantes)
• Yohan Boichut (2006, MCF U.Orléans)
• Jérôme Voinot
• Roméo Courbis (en cours)
• Julien Dormoy (en cours)
• Aloïs Dreyfus (en cours)
• Elena Tushkanova (en cours)
• Vincent Hugot (en cours)