Documents dont le directeur de recherche est "Mullins, John"

2021

Abdellatif, M. (2021). Service Identification to Support the Migration of Legacy Systems to SOA [Thèse de doctorat, Polytechnique Montréal]. Disponible

Barzegar, A. (2021). A Differential Private Approach for Preserving the Privacy in Deep Learning Algorithms [Mémoire de maîtrise, Polytechnique Montréal]. Disponible

2020

Vosough Tehrani, M. (2020). Integration of Differential Privacy Mechanism to Map-Reduce Platform for Preserving Privacy in Cloud Environments [Mémoire de maîtrise, Polytechnique Montréal]. Disponible

Larbaoui, L. (2020). Vérification automatique de la confidentialité différentielle [Mémoire de maîtrise, Polytechnique Montréal]. Disponible

2018

Beji, S. (2018). Intégration itérative des systèmes avioniques communicants en mode synchrone et asynchrone [Thèse de doctorat, École Polytechnique de Montréal]. Disponible

2017

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 [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible

2014

Nleng, C. H. (2014). Modélisation et vérification du flux d'information pour les systèmes orientés objets [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible

2013

Khadem Mohtaram, A. (2013). Classification, Formalization and Automatic Verification of Untraceability in RFID Protocols [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible

2010

Abouzaid, M. F. (2010). Analyse formelle d'orchestrations de services Web [Thèse de doctorat, École Polytechnique de Montréal]. Disponible

Kiraga, A. F. (2010). Vérification des systèmes de sécurité probabilistes : restriction de l'attaquant [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible

2008

Hamadou, S. (2008). Analyse formelle des protocoles cryptographiques et flux d'information admissible [Thèse de doctorat, École Polytechnique de Montréal]. Disponible

2005

Lafrance, S. (2005). Spécification et validation de protocoles de sécurité [Thèse de doctorat, École Polytechnique de Montréal]. Disponible

Oarga, R.-M. (2005). Vérification à la volée de contraintes OCL étendues sur des modèles UML [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible

2004

Bastien, G. (2004). ASPiC : un outil d'analyse symbolique automatisée de protocoles cryptographiques basé sur le modèle de flux d'information [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible

Bergeron, M. (2004). Model-checking UML designs using a temporal extension of the object constraint language [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible