Skip to Main content Skip to Navigation
New interface


...
tel-00010596v1  Theses
Liana Lazar (bozga). Automatic verification of cryptographic protocols
Modeling and Simulation. Université Joseph-Fourier - Grenoble I, 2004. English. ⟨NNT : ⟩
...
tel-00668156v2  Theses
Matthieu Lopez. Apprentissage de problèmes de contraintes
Autre [cs.OH]. Université d'Orléans, 2011. Français. ⟨NNT : 2011ORLE2058⟩
...
tel-02513105v1  Theses
Julien Lepiller. Verifying Software Fault Isolation
Performance [cs.PF]. Université Rennes 1, 2019. English. ⟨NNT : 2019REN1S067⟩