Search
Add filters:
Results 1-3 of 3 (Search time: 0.003 seconds).
- previous
- 1
- next
| Issue Date | Title | Author(s) | Type | Access |
|---|---|---|---|---|
| 2009 | Sécurisation de code basée sur la combinaison de la vérification statique et dynamique : génération de moniteur à partir d'un automate de Rabin | Chabot, Hugues | Mémoire de maîtrise | Open access |
| 2008 | Abstraction et vérification de programmes informatiques | Chorfi, Redha | Mémoire de maîtrise | Open access |
| 2005 | Détection du code malicieux : système de type à effets et instrumentation du code | Khoury, Raphaël | Mémoire de maîtrise | Open access |
Author
Advisor