Valrie Viet Triem Tong

Associate Professor @CentraleSupelec

Member of CIDRE joint project-team with INRIA, CNRS, University of Rennes 1 and CentraleSupelec on the field of Cybersecurity

 

 

 

 

valerie.viettriemtongRemove@MEcentralesupelec.fr

+33 299 84 45 73

 

CentraleSupelec

Avenue de la Boulaie.

35576. Rennes CEDEX. CS 47601 France

 

 

     Habilitation degree (HDR) to supervise research in computer science (2015)

Slideshow (in french)

 

     Phd in the field of formal methods for security (2003)

 

I am mostly interesting to use information flow monitoring to enhance security in real devices.

Research domains :

   

             Information flow monitoring at the operating system level

             Malware analysis

             Security policies

             Intrusion detection

             Formal methods for security

 

Phd Supervisions :

Ongoing:

Start october 2016: Aurlien Trulla (Malware analysis)

Start october 2015: Mourad Leslous (Automatic malware triggering)

Start october 2014: Laurent Georget (Formal validation of information flow monitors)

 

Completed :

2015: Paul Lajoie Mazenc (reputation and privacy in distributed systems)

2014: Radoniaina Andriatsimendefitra (Android malware)

2013: Thomas Demongeot (web services security)

2010: Mehdi Talbi (e-voting security)

2009: Franois Lesueur (P2P security)

2008: Guillaume Hiet (Intrusion Detection)

 

Publications :

2 patents, 9 peer-reviewed journals, 31 publications in proceedings of international conferences, 9 publications in proceedings of French conferences

 

Entire list available on  HAL or scholar.

Research Tools :

      Blare an information flow monitor for Linux and Android

         http://blare-ids.org

 

      GroddDroid for identification and triggering malicious behaviors (Android)

         http://kharon.gforge.inria.fr/grodddroid.html

 

      Kharon : Online analysis of Android malware

         http://kharon.gforge.inria.fr

 

 

      Kharon16: Dataset of reversed malware

         http://kharon.gforge.inria.fr/dataset

 

        

 

      Kayrebt : visualization for the Linux Codebase             

         https://www.lgeorget.eu/code-panel/kayrebt/extractor/index.html

 

Research Projects :

Ongoing:

      Labex CominLabs Kharon Project Android malware Analysis

http://kharon.gforge.inria.fr

         Project Leader

 

 

Completed :

 

      ANR project SAVE (for Scurit et Audit du Vote Electronique) 

         http://www.projet-save.fr

 

      ANR project POLUX (for POLicy Unied eXpression)

         http://www.rennes.supelec.fr/polux

 

      ANR project LISE (for Liability Issues in Software Engineering) 

         http://licit.inrialpes.fr/lise/

 

Lectures (in French only):

      Cours de premire anne Supelec (Algorithmes et Structures de donnes)

     Support du cours sur les structures arborescentes

     Exercices sur les arbres faits en cours (le code propos ici est en Python 3 comme en TL)

     Parcours en profondeur prfixe

     Parcours en profondeur infixe

     Parcours en profondeur postfixe

     Parcours en largeur

     Tri du bijoutier

     Arbre binaire de recherche (avec la correction du suivant)

 

 

Sujet dՎtude de laboratoire sur le pavage du plan