Action spécifique « Sécurité » du CNRS / CNRS specific action on “Security”

Prof. Patrick COUSOT

Action spécifique « Sécurité »

L'équipe participe à l'action spécifique « Sécurité » du CNRS animée par Michel Riguidel (ENST) et Frédéric Cuppens (CERT). Email : riguidel@enst.fr et cuppens@cert.fr.

Travaux de l'équipe relatifs à l'action spécifique « Sécurité »

1) Analyse de protocoles cryptographiques (travaux de Bruno Blanchet et travaux de David Monniaux)

2) Analyse de confidentialité pour le code mobile (Jérôme Feret)

3) Tatouage sémantique de logiciel (Patrick Cousot, Projet TUAMOTU du RNRT)

4) Sécurisation de programmes par contrôleur d'exécution (“program monitoring”) (Patrick Cousot, travail commun avec Radhia Cousot, École polytechnique)

Une nouvelle voie de recherche sur l'interprétation abstraite probabiliste a des applications évidentes à la sécurité qui restent à explorer :

5) Analyse de programmes probabilistes par interprétation abstraite (David Monniaux)

Retour à / back to: Index, Institutions, Enseignement / Teaching, Recherche / Research, Services
Email: cousot@di.ens.fr, cousotp@acm.org
Dernière mise à jour / Last modified : Wednesday, 04-Jun-2003 12:40:27 CEST