Directory of Experts
Back to search results
Edit my profile
Help
  Publications
  Link(s)
John Mullins
B.Sc., M.Sc. (Montréal), Ph.D. (INRS)
  Publications
  Link(s)
Adjunct Professor
Department of Computer Engineering and Software Engineering
Phone: (514) 340-4711 Ext. 3278 Fax: (514) 340-5139 Room: M-4101
Areas of expertise
Information technology Information systems design Algorithms Mathematics of computing Cybersecurity

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