PPF Logiciels Sûrs / SSURF
Journée du Plan Pluri Formation Logiciels Sûrs et de l'action ANR SSURF
05/13/2008Speaker(s) :
H. Binsztok, J.M. Eber, D. Teller, P. Ayrault, T. Hardin, F. Pessaux, P. WeisLe prochain séminaire commun entre le PPF Logiciels Sûrs et l'action SSUrF Safety
and Security under FoCaL aura lieu le mardi 13 mai prochain au Lip6 en salle 549.
Voici un programme préliminaire de la journée.
10h30 Henri Binsztok (MLState)
Sûreté et sécurité des webservices
11h15 Jean-Marc Eber (Lexifi) -- sous réserve
Sécurité par la sémantique
13h30 David Teller (LIFO, Univ. Orléans)
Analyse statique de propriétés de sécurité sur des programmes C.
14h15 Philippe Ayrault, Thérèse Hardin, Francois Pessaux (Lip6)
Development life cycle of critical software under Focal
15h00 Pierre Weis (INRIA)
Tests pour les types relationnels de CAML
Mathieu.Jaume (at)
nulllip6.fr
