L'Association tunisienne de sécurité numérique (ATSN), présidée par M. Adel Bouhoula, professeur à Sup'Com, organise samedi 1er novembre 2008, à l'Amphithéâtre de Sup'Com (Cité Technologique des Communications), un workshop international sur «méthodes formelles pour la sécurité des systèmes et réseaux». Y prennent part en particulier trois experts français -Florent JACQUEMARD, Chargé de Recherche à l'INRIA Futurs («Politiques de sécurité et configuration des firewalls : compilation et vérification automatique», Michaël RUSINOWITCH, Directeur de Recherche à l'INRIA Lorraine («Analyse de protocoles de sécurité»), et Alain GIORGETTI, Maître de Conférences au Laboratoire d'Informatique de l'Université de Franche-Comté («Automates et annotations JML pour la vérification de programmes Java»). Deux étudiants-chercheurs de Sup'Com et membres de l'ATSN- interviendront également au cours de ce workshop. Il s'agit de Nihel BEN YOUSSEF, et Nizar BEN NEJI, qui parleront respectivement de la «Vérification formelle de la conformité et de la complétude des règles de filtrage par rapport à une politique de sécurité» et de l'«Optimisation des performances des firewalls». Cette manifestation est organisée à l'occasion du 21ème anniversaire du 7 Novembre.