Recherche

Sécurité :

  • Spécification et analyse de protocoles cryptographiques.
  • Détection de code malicieux.
  • Sécurité de Java.
  • Analyse basée sur les langages (language based security),
  • Monitorage

Génie Logiciel :

  • Analyse statique et dynamique de programmes.
  • Méthodes formelles à la spécification et à la vérification.
  • Langages multi-paradigmes.
  • Conception formelle de logiciels

Complexité


Compression de données


 
  Recherche :
Imprimer cette page |  English