Laboratory of Computer Security 
Research Interest
My main esearch activities are related to software and network security and formal methods. Here are some of my current activities.- Computer Security:
- Cloud Security: Define techniques and tools allowing to better secure data and applications in the Cloud
- Blockchain
- Android Security: Define techniques and tools allowing to better secure Android.
- IoT Security: Define techniques and tools allowing to better secure the Internet of Things (IoT).
- Web Security: Define techniques and tools allowing to better secure web servers and applications.
- Hacking : define tools allowing to block some hacking attacks
- Risk analysis : improve the existing techniques allowing to estimate the security risk
- Automatic enforcement of security policies : How we can automatically modify a program or a software so that the new version respect a given security policy? How to automatically configure a networks so that some security policies are respected?
- Cyber forensics : define techniques and tools allowing to help investigator working on cyber crimes to find and prove the existence of some criminal acts.
- Specification and verification of cryptographic protocols: how to find flow in cryptographic protocols and how to garantee that some classes of protocols are correct with respect to a given security property
- Intrusion detection: improve the existing techniques related to intrusion detection
- Software Engeneering :
- Formal specification and verification
- Static andDynamic Analysis of systems
- Multi-paradigm programming languages
- Aspect oriented programming
Funded research projects
- Project: Formal and automatic enforcement of security (current project)
- Granting agency: Natural Sciences and Engineering Research Council of Canada (NSERC)
- Project: Synergy between formal methods and computer security (completed)
- Granting agency: Natural Sciences and Engineering Research Council of Canada (NSERC)
- Project: Electronic Voting (completed)
- Project: Electronic Voting (completed) Funder: Fondation de l'Université Laval
- Project: Specification and analysis of electronic commerce protocols (completed)
- Granting agency: Natural Sciences and Engineering Research Council of Canada (NSERC)
- Project: Specification and analysis of electronic commerce protocols (completed)
- Funder: Le Fonds québécois de la recherche sur la nature et les technologie (FQRNT)
- Project: Intrusion Detection (completed)
- Granting agency: Ministère des Relations internationales -- CPCFQ (Commission Permanente de Coopération Franco-québécoise)
- Project: Optimization and formalization of a new methodology for software development (completed)
- Funder: Iwate University of Japan
Collaborations with other universities
- University : Concordia University, Montreal, Canada
- Professor : Mourad Debbabi
- Subjet : Security and Formal Methods
- University : Université de Québec à Hull, Hull, Canada
- Professor : Kamel Adi
- Subjet : Security and Formal Methods
- University : Iwate, Iwate, Japon
- Professor : Hamido Fujita
- Subjet : Software Engeneering
- University : National Polytechnique de Toulouse, France
- Professors : André-Luc Beylot et Christian Fraboul
- Subjet : Détection d’intrusions