Items where Research Director is "Mullins, John"

A

Abdellatif, M. (2021). Service Identification to Support the Migration of Legacy Systems to SOA [Ph.D. thesis, Polytechnique Montréal]. Available

Abouzaid, M. F. (2010). Analyse formelle d'orchestrations de services Web [Ph.D. thesis, École Polytechnique de Montréal]. Available

B

Barzegar, A. (2021). A Differential Private Approach for Preserving the Privacy in Deep Learning Algorithms [Master's thesis, Polytechnique Montréal]. Available

Beji, S. (2018). Intégration itérative des systèmes avioniques communicants en mode synchrone et asynchrone [Ph.D. thesis, École Polytechnique de Montréal]. Available

Bastien, G. (2004). ASPiC : un outil d'analyse symbolique automatisée de protocoles cryptographiques basé sur le modèle de flux d'information [Master's thesis, École Polytechnique de Montréal]. Available

Bergeron, M. (2004). Model-checking UML designs using a temporal extension of the object constraint language [Master's thesis, École Polytechnique de Montréal]. Available

D

Dupeuble, G. (2017). Préservation de l'opacité par raffinement de systèmes spécifiés par des chaînes de Markov discrètes à intervalles [Master's thesis, École Polytechnique de Montréal]. Available

H

Hamadou, S. (2008). Analyse formelle des protocoles cryptographiques et flux d'information admissible [Ph.D. thesis, École Polytechnique de Montréal]. Available

K

Khadem Mohtaram, A. (2013). Classification, Formalization and Automatic Verification of Untraceability in RFID Protocols [Master's thesis, École Polytechnique de Montréal]. Available

Kiraga, A. F. (2010). Vérification des systèmes de sécurité probabilistes : restriction de l'attaquant [Master's thesis, École Polytechnique de Montréal]. Available

L

Larbaoui, L. (2020). Vérification automatique de la confidentialité différentielle [Master's thesis, Polytechnique Montréal]. Available

Lafrance, S. (2005). Spécification et validation de protocoles de sécurité [Ph.D. thesis, École Polytechnique de Montréal]. Available

N

Nleng, C. H. (2014). Modélisation et vérification du flux d'information pour les systèmes orientés objets [Master's thesis, École Polytechnique de Montréal]. Available

O

Oarga, R.-M. (2005). Vérification à la volée de contraintes OCL étendues sur des modèles UML [Master's thesis, École Polytechnique de Montréal]. Available

V

Vosough Tehrani, M. (2020). Integration of Differential Privacy Mechanism to Map-Reduce Platform for Preserving Privacy in Cloud Environments [Master's thesis, Polytechnique Montréal]. Available