This profile is built from public research funding records (CIHR, NSERC and SSHRC). We have not imported them from a Université de Sherbrooke directory, so their publications, courses and email address may be missing. Find their university profile.
Research
Latest funding
- $933,190
Streamlining the transition to post-quantum cryptography by enabling cryptoagility
NSERC · 2025 · Principal investigator
- $2,982,528
Banff International Research Station
NSERC · 2022 · Co-investigator
- $168,000
A formal approach to intrusion detection
NSERC · 2019 · Principal investigator
Streamlining the transition to post-quantum cryptography by enabling cryptoagility
Principal investigators: Frappier, Marc
Keywords: Computer software; Information systems and technology
Banff International Research Station
Principal investigators: Pramanik, Malabika M
Keywords: 5-day and 2-day workshops; computer and information science; engineering and material science; focused research groups; graduate and undergraduate summer school; mathematical biology; pure and applied mathematics; research in teams; statistics and data science; theoretical and applied physics
A formal approach to intrusion detection
Principal investigators: Frappier, Marc
Keywords: Compilation and interpretation; Distributed system; Formal methods; Intrusion detection; Modeling; Security
Methods and techniques for the automation and simplification of ICS honey pots deployments and monitoring
Principal investigators: Frappier, Marc
A formal approach to access control and consent management
Principal investigators: Frappier, Marc
Formal reuse and validation of information system specifications/Réutilisation et validation formelle des spécifications de systèmes d'information
Principal investigators: Frappier, Marc
Equipments for developing software synthesis methods
Principal investigators: StDenis, Richard
Specification and Implementation of secure web systems
Principal investigators: Frappier, Marc
Synthèse automatique de systèmes d'information
Principal investigators: Frappier, Marc
Specification and certification of software components
Principal investigators: Frappier, Marc
From CIHR, NSERC and SSHRC funding decisions: CIHR since 2008, NSERC since 1991 and SSHRC since 1998, including their latest published competition results.
A short, specific email works best. This draft uses one of their recent papers; replace the parts in brackets with your own details before sending.