AFSEC

Approches Formelles des Systèmes Embarqués Communicants

Archive pour May, 2008

Journée non-interference

Thursday 15 May 2008

Journée commune DOTS / AFSEC Le 05 juin 2008 sur la Non-interférence
DOTS : http://www.lsv.ens-cachan.fr/anr-dots/
AFSEC : http://afsec-cnrs.org/

Programme:
• 10:00 — Gilles Benattar (IRCCyN): Contrôle de la non-interference
• 11:30 — discussions
• 12:30 — repas.
• 14:00 — John Mullins (Ecole polytechnique de Montréal): non-interférence pour les protocoles cryptographiques.
• 15:30 — pause.
• 16:00 — Loïc Hélouët (IRISA): détection de canaux cachés.

Les transparents sont disponibles : ici

Publié dans Actions Afsec, Journées | Pas de commentaire »

MOVEP’08 (23-27 juin 2008)

Friday 9 May 2008

MOVEP is a 5 day summer school about modeling and verifying parallel processes. ( http://www.univ-orleans.fr/movep2008/)

The purpose of MOVEP is to bring together researchers, students and people from industry working in the fields of control and verification of concurrent and reactive systems. The School seeks to offer a broad spectrum of current research in this area of theoretical and applied computer science. The topics covered by MOVEP’08 include model checking, controller synthesis, software verification, temporal logics, real-time and hybrid systems, stochastic systems, security, etc.

Publié dans Ecoles d'été | Pas de commentaire »