Go home now Header Background Image
Submission Procedure
share: |
Follow us

Stéphane Lafrance
École Polytechnique de Montréal, Canada

S. Lafrance, J. Mullins:
An Information Flow Method to Detect Denial of Service Vulnerabilities
page 1350 - 1369
Vol.9 / Issue 11
S. Lafrance:
Symbolic Approach to the Analysis of Security Protocols
page 1156 - 1198
Vol.10 / Issue 9