F022 : 2e Journée SCCyPhy

  • Les exposés auront lieu en Amphi F022 du batiment F de l'UFR IM2AG (60 rue de la Chimie).
  • Le buffet et la pause gouter en salle F319

  • 9h00-9h10 Accueil (Ph. Elbaz-Vincent)
  • 9h10-9h30 Exposé de M.-C. Rousset a propos du LabEx Persyval-lab
  • 9h30-9h50 SCCyPhy : présent et futur (Ph. Elbaz-Vincent)
  • 10h00-11h00 État d'avancement sur les axes de recherche de SCCyPhy (R. Groz, C. Lauradoux, P. Maistri et Ph. Elbaz-Vincent)

--- Début des exposes de doctorant(e)s, ing. et postdocs (inclus le temps complet expose+questions) ---

  • 11h00-11h35 M.-A. Cornélie (Persyval/IF) et S. Pontié (TIMA) : Fast and secure crypto-processor based on Elliptic Curves Cryptography
  • 11h35-11h55 A. Kumar (Persyval/INRIA Privatics/Verimag) : About Google Safe Browsing
  • 11h55-12h15 K. Layat (Persyval/IF/CEA) : Modeling and Validation of Random Number Generators in Physical Systems

12h15-14h00 Buffet dejeunatoire en salle F319


14h00-16h00 (15min par exposé +  5 min questions)

  • F. De Goër (LIG) : Retrieving function prototypes and parameter association: a lightweight heuristic approach
  • J. Feist (Verimag) :  Binary code analysis for exploitable vulnerability detection
  • L. Dureuil (Verimag/CEA) : Assessing smartcard robustness against fault injection attacks

*** pause de 10min ***


  • M. Puys (Verimag/LIG) : Certified filters generation process for control systems
  • N. Kox (LIG/INRIA) : Protections against exploitation in modern systems
  • J.B. Orfila (LJK/IF) : Architecture de sécurité pour les systèmes contrôle-commandes

16h00 : Gouter en salle F319


16h20-17h30

  • L. Demir (INRIA/LIG) : Client based encryption module for the cloud
  • Th. Camus (IF/LJK) : Computational geometry of numbers, cohomology of modular groups, certified computations and applications
  • B. Ekici (LJK) : Proving properties of programs throwing and handling exceptions