Direction de thèses (7)
3.
Marot, A. (2011). Preserving the separation of concerns while composing aspects with reflective AOP (Thèse doctorale non-publiée). Université libre de Bruxelles, Faculté des Sciences – Informatique, Bruxelles.
4.
Kremer, S. (2004). Formal analysis of optimistic fair exchange protocols (Thèse doctorale non-publiée). Université libre de Bruxelles, Faculté des sciences, Bruxelles.
5.
Markowitch, O. (2001). Les protocoles de non-répudiation (Thèse doctorale non-publiée). Université libre de Bruxelles, Faculté des sciences, Bruxelles.
6.
Saeednia, S. (1995). Zero Useful Knowledge Interactive Proofs of Similarity (Thèse doctorale non-publiée). Université libre de Bruxelles, Faculté des sciences, Bruxelles.
7.
Chraibi, A. (1992). Pour une formalisation des protocoles de signature (Thèse doctorale non-publiée). Université libre de Bruxelles, Faculté des sciences, Bruxelles.
Participation aux jurys de thèse (1)
1.
Gonzãlez-Deleito Collell, N. (2005). Trust relationships in exchange protocols (Thèse doctorale non-publiée). Université libre de Bruxelles, Faculté des Sciences – Informatique, Bruxelles.
Président de jurys de thèse (10)
1.
Poczekajlo, X. (2020). Ordonnancement efficace de systèmes embarqués temps réel strict sur plates-formes hétérogènes (Thèse doctorale non-publiée). Université libre de Bruxelles, Faculté des Sciences – Informatique, Bruxelles.
2.
Gerard, F. (2020). Some Practical Aspects of Lattice-based Cryptography (Thèse doctorale non-publiée). Université libre de Bruxelles, Faculté des Sciences – Informatique, Bruxelles.
3.
Paolillo, A. (2018). Optimisation of Performance Metrics of Embedded Hard Real-Time Systems using Software/Hardware Parallelism (Thèse doctorale non-publiée). Université libre de Bruxelles, Faculté des Sciences – Informatique, Bruxelles.
4.
Lafitte, F. (2017). On the automated verification of symmetric-key cryptographic algorithms: an approach based on SAT-solvers (Thèse doctorale non-publiée). Ecole Royale Militaire, Faculté polytechnique, Département de mathématique - Docteur en Sciences appliquées, Faculté des Sciences – Informatique, Bruxelles.
5.
Veshchikov, N. (2017). Use of simulators for side-channel analysis: Leakage detection and analysis of cryptographic systems in early stages of development (Thèse doctorale non-publiée). Université libre de Bruxelles, Faculté des Sciences – Informatique, Bruxelles.
6.
Dossogne, J. (2015). Advances in secure remote electronic voting (Thèse doctorale non-publiée). Université libre de Bruxelles, Faculté des Sciences – Informatique, Bruxelles.