AFSEC

Journée non-interference

15th 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

Leave a Reply

You must be logged in to post a comment.