• PhD defense: Quentin Laporte-Chabasse

    Quentin Laporte-Chabasse (COAST team) will defend his thesis on Tuesday, January 12th at 9.30 am. His presentation will be in French and is entitled « Étude morpho-statistique des réseaux sociaux. Application aux collaborations inter-organisationnelles. » Résumé de la thèse : Les applications collaboratives décentralisées permettent de répondre aux problèmes de confidentialité, de disponibilité et de […]

  • PhD defense: Hoai Le Nguyen

    Hoai Le Nguyen, PhD student in the COAST team, will defend his thesis on Thursday, January 14th a at 9am. His defense is entitled "Study of conflicts in Collaborative Editing" and will be held in English. Abstract: Early researches about Collaborative Editing (CE) (in the 1990s and the early 2000) focused on describing different characteristics of […]

  • PhD defense: Itsaka Rakotonirina

    Itsaka Rakotonirina, PhD student in the Pesto Team, will defend his thesis on Monday, February 1st at 2pm. Title: Symbolic verification of cryptographic protocols, theory and practice The defence will be english. You can also find his dissertation here. Abstract: This thesis studies the analysis of cryptographic protocols. They are sequences of instructions permitting to […]

  • PhD defense: Daniel El Ouraoui

    Daniel El Ouraoui, doctorant dans l'équipe Mosel-Veridis, soutiendra sa thèse intitulée "Méthodes pour le raisonnement d’ordre supérieur dans SMT", effectuée sous la direction de Jasmin Blanchette, Pascal Fontaine et Stephan Merz, le 11 février à 9h. Résumé :   La vérification formelle de programmes informatiques ou de systèmes dits critiques tels que dans le transport, […]

  • PhD defense: Sylvain Cecchetto

    Teams

    Sylvain Cecchetto (Carbone) will defend his PhD on Monday, February 22nd at 4pm. His thesis is entitled "Data flow analysis to build control flow graph of obfuscated codes", his presentation will be held in French. Abstract: The increase in cyber attacks around the world makes malicious code analysis a priority research area. This software uses […]