Academic year 2016-2017

These are examples of the master projects performed by the HECS students:

  • A unifying framework for comparing and implementing probabilistic models
    (INRIA/LIG, Grenoble, France)
  •  Evaluation of online video rate adaptation algorithms in AMuSe system
    (Wimnet Lab, Columbia University, USA)
  •  Formal modelling and automated verification of workflow models
    (INRIA/LIG, Grenoble, France)
  •  Formal verification of a new cache coherence protocol
    (TIMA, Grenoble, France)
  • Improving code coverage in Vuzzer using symbolic execution for security vulnerability analysis
    (Vrije Universiteit Amsterdam, The Netherlands)
  • L’injection de fautes sur les données au sein de l’exécution concolique
    (Verimag, Grenoble, France)
  • Portage et certification de sous‐systèmes d’EGNOS
    (Capgemini Technology Services/Aerospace & Public, Bayonne, France)
  • Using symbolic allocators to analyse heap memory vulnerabilities
    (Verimag, Grenoble, France)

Comments are closed.