Concepedia

John Mullins

JM

Statistics

Publications

15

Citations

369

H-Index

13

Active since

2002

Affiliations

Polytechnique Montréal(Current)

Manouba University

Université de Montréal

École de Technologie Supérieure

Centre National de la Recherche Scientifique

John Mullins is an author at Polytechnique Montréal specializing in engineering, computer science, and formal verification.

Top concepts

EngineeringComputer ScienceFormal VerificationFormal MethodsCryptographyVerificationSystems EngineeringInformation SecurityData PrivacyData Security

Publications per year

2002–2021

15

Publications

15

On the Verification of Intransitive Noninterference in Mulitlevel Security

Nejib Ben Hadj-Alouane, Stéphane Lafrance, Feng Lin et al. · IEEE Transactions on Systems Man and Cybernetics Part B (Cybernetics) · 2005 · 62 citations

Engineering, Usable Security, Information Security +21

Quantifying opacity

Béatrice Bérard, John Mullins, Mathieu Sassolas · Mathematical Structures in Computer Science · 2014 · 44 citations · Full text

Engineering, Information Security, Information Leakage +13

A Calculus for Generation, Verification and Refinement of BPEL Specifications

Faisal Abouzaid, John Mullins · Electronic Notes in Theoretical Computer Science · 2008 · 30 citations · Full text

Web Service Specification, Engineering, Verification +23

Non-Interference Control Synthesis for Security Timed Automata

Guillaume Gardey, John Mullins, Olivier Roux · Electronic Notes in Theoretical Computer Science · 2007 · 29 citations · Full text

Engineering, Verification, Formal Verification +17

Quantifying Opacity

Béatrice Bérard, John Mullins, Mathieu Sassolas · 2010 · 28 citations

Quantitative Information Leakage, Engineering, Information Security +15

1–5 of 15