Directory of Experts
Back to search results
John Mullins
B.Sc., M.Sc. (Montréal), Ph.D. (INRS)

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
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
Journal article
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
Journal article
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
Conference paper
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

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).