Bisimulation-based Non-deterministic Admissible Interference and its Application to the Analysis of Cryptographic Protocols. - Stéphane Lafrance; John Mullins (CATS, 2002)

Using Admissible Interference to Detect Denial of Service Vulnerabilities. - Stéphane Lafrance; John Mullins (IWFM, 2003)

An Information Flow Method to Detect Denial of Service Vulnerabilities. - Stéphane Lafrance; John Mullins (J. Univers. Comput. Sci., 2003)

An algorithmic approach to verification of intransitive non-interference in security policies. - Nejib Ben Hadj-Alouane; Stéphane Lafrance; Feng Lin 001; John Mullins; Moez Yeddes (CDC, 2004)

Symbolic Approach to the Analysis of Security Protocols. - Stéphane Lafrance (J. Univers. Comput. Sci., 2004)

Characterizing intransitive noninterference for 3-domain security policies with observability. - Nejib Ben Hadj-Alouane; Stéphane Lafrance; Feng Lin 001; John Mullins; Moez Yeddes (IEEE Trans. Autom. Control., 2005)

On the verification of intransitive noninterference in multilevel security. - Nejib Ben Hadj-Alouane; Stéphane Lafrance; Feng Lin 001; John Mullins; Mohamed Moez Yeddes (IEEE Trans. Syst. Man Cybern. Part B, 2005)

Using equivalence-checking to verify robustness to denial of service. - Stéphane Lafrance (Comput. Networks, 2006)