John Mullins
B.Sc., M.Sc. (Montréal), Ph.D. (INRS)
Adjunct Professor
Department of Computer Engineering and Software Engineering
Department of Computer Engineering and Software Engineering
Research interests and affiliations
Research interests
-
Formal methods
-
Models and calculi of distributed systems including OO and mobile systems
-
Analysis of distributed systems
-
Functional and quantitative information security analysis
Expertise type(s) (NSERC subjects)
- 2700 INFORMATION TECHNOLOGY
- 2710 Information systems design
- 2713 Algorithms
- 2714 Mathematics of computing
Publications
Recent publications
Journal article
Journal article
Journal article
Conference paper
Ammar, I., El Touati, Y., Yeddes, M. & Mullins, J. (2021). Bounded opacity for timed systems. Journal of Information Security and Applications, 61, 13 pages. Retrieved from https://doi.org/10.1016/j.jisa.2021.102926
Ammar, I., El Touati, Y., Mullins, J. & Yeddes, M. (2021). Timed Bounded Verification of Inclusion Based on Timed Bounded Discretized Language. International Journal of Foundations of Computer Science, 32(2), 175-202. Retrieved from https://doi.org/10.1142/s0129054121500106
Beji, S., Hamadou, S., Mullins, J. & Gherbi, A. (2019). Iterative integration of TTEthernet network flows. International Journal of Critical Computer-Based Systems, 9(3), 167-92. Retrieved from https://doi.org/10.1504/ijccbs.2019.104488
Helouet, L., Marchand, H. & Mullins, J. (2018). Concurrent Secrets with Quantified Suspicion. Paper presented at the 18th International Conference on Application of Concurrency to System Design (ACSD 2018), Bratislava, Slovakia (pp. 75-84). Retrieved from https://doi.org/10.1109/ACSD.2018.00011
See all publications (78)
Teaching
Requis et spécification de logiciels. Méthodes formelles de validation de logiciels. Spécification et vérification des protocoles de communication.
Supervision at Polytechnique
COMPLETED
-
Ph.D. Thesis (5)
- Abdellatif, M. (2021). Service Identification to Support the Migration of Legacy Systems to SOA (Ph.D. Thesis, Polytechnique Montréal). Retrieved from https://publications.polymtl.ca/9231/
- 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). Retrieved from https://publications.polymtl.ca/3728/
- Abouzaid, M.F. (2010). Analyse formelle d'orchestrations de services Web (Ph.D. Thesis, École Polytechnique de Montréal). Retrieved from https://publications.polymtl.ca/445
- Hamadou, S. (2008). Analyse formelle des protocoles cryptographiques et flux d'information admissible (Ph.D. Thesis, École Polytechnique de Montréal).
- Lafrance, S. (2005). Spécification et validation de protocoles de sécurité (Ph.D. Thesis, École Polytechnique de Montréal).
-
Master's Thesis (10)
- Barzegar, A. (2021). A Differential Private Approach for Preserving the Privacy in Deep Learning Algorithms (Master's Thesis, Polytechnique Montréal). Retrieved from https://publications.polymtl.ca/6287/
- Larbaoui, L. (2020). Vérification automatique de la confidentialité différentielle (Master's Thesis, Polytechnique Montréal). Retrieved from https://publications.polymtl.ca/5228/
- 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). Retrieved from https://publications.polymtl.ca/5273/
- 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). Retrieved from https://publications.polymtl.ca/2569/
- 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). Retrieved from https://publications.polymtl.ca/1549
- Khadem Mohtaram, A. (2013). Classification, Formalization and Automatic Verification of Untraceability in RFID Protocols (Master's Thesis, École Polytechnique de Montréal). Retrieved from https://publications.polymtl.ca/1094
- 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). Retrieved from https://publications.polymtl.ca/349
- 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).
- 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).
- Bergeron, M. (2004). Model-checking UML designs using a temporal extension of the object constraint language (Master's Thesis, École Polytechnique de Montréal).