Séminaire sécurité du LORIA

Séminaire sécurité du LORIA

Si vous voulez être tenu au courant des futurs séminaires, vous pouvez vous inscrire à la liste de diffusion seminaire-securite@loria.fr.
Un lien vers un fichier ical est disponible pour vos agendas électroniques.

Exposés 2017 – 2018

Vendredi 15 Septembre 2017

David Basin (ETH Zurich)
Verified Secure Routing: The Verified Scion Project
Amphi C, 13:30
Cet exposé fait partie du Colloquium du LORIA.

Mardi 21 Novembre 2017

Jean-Louis Lanet (Inria Rennes)
How Secure Containers in a Secure Element are Secure?
A008, 13:30

Mardi 5 Décembre 2017

Deepak Garg (MPI Saarbrücken)
Robust and Compositional Verification of Object Capability Patterns
A008, 13:30
© 2013 - 2017 Pierrick Gaudry, Marion Videau and Emmanuel Thomé ; XHTML 1.0 valide, CSS valide