Séminaire sécurité du LORIA
Séminaire commun avec le Master Informatique de l'université de Lorraine

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 2016 – 2017

Mardi 15 Novembre 2016

Viktor Fischer (Université Jean Monnet (Saint-Etienne))
New directions in random number generation for cryptography
Amphi C, 13:30

Mardi 6 Décembre 2016

Marine Minier (LORIA)
Some results on security in Wireless Sensor Networks (WSNs)
B11-B13, 13:30

Mardi 17 Janvier 2017

Marie-Laure Potet (Verimag)
Sécurité des applications : quels outils ? quelles techniques ?
Amphi C, 13:30
L'analyse du code pour chercher des vulnérabilités ou évaluer leur robustesse vis-à-vis d'attaques pose des problèmes différents de la vérification ou la recherche de bugs pour la sûreté. Dans un premier temps nous illustrerons ceci à travers des exemples et montrerons les outils adaptés pour ces analyses.
Un premier type d'analyse de vulnérabilités sera illustré par l'approche Gueb développée dans le cadre du projet ANR BinSec permettant de détecter les use-after-free, vulnérabilités qui nécessitent une modélisation adaptée de l'allcation dynamique. Nous nous intéresserons ensuite à l'analyse de la robustesse de code contre l'injection de fautes qui nécessitent de représenter les modèles de fautes et de proposer des critères d'évaluation. Nous présenterons FISCC, la première collection publique de code durci contre l'injection de fautes. Ces derniers travaux sont développés dans le cadre du projet DGA-ANR Sertif.

Mardi 7 Février 2017

Aurélien Francillon (Eurecom)
TBA
Amphi C, 13:30
© 2013 - 2016 Pierrick Gaudry, Marion Videau and Emmanuel Thomé ; XHTML 1.0 valide, CSS valide