Marc Frappier est professeur titulaire à la Faculté des sciences de l’Université de Sherbrooke et enseigne au Département d’informatique. Il est également membre du Groupe de recherche en informatique fondamentale de l’Université de Sherbrooke. Il s’intéresse au développement de méthodes et d’outils pour la construction de logiciels sûrs et réalise des projets de recherche portant sur les méthodes formelles de spécification (spécification, raffinement, implémentation; génération automatique de code; preuve et model-checking de propriétés), sur la sécurité (contrôle d’accès, test de vulnérabilité, détection d’intrusions et d'anomalies) et sur la gestion du consentement. Il est chercheur principal sur une importante subvention octroyée par Sécurité publique Canada (1 M$, 2020-2024), dans le cadre de son Programme de coopération en matière de cybersécurité, ainsi que d'Énergie et ressources naturelles Canada (376 K$, 2019-2022), dans le cadre de son programme de la cybersécurité et de l’infrastructure énergétique essentielle.
Coordonnées | Page personnelle
Publications
- Nganyewou Tidjon, L., Frappier, M., Mammar, A.: Intrusion Detection Systems: A Cross-Domain Overview, IEEE Communications Surveys and Tutorials, 21(4), 2019, pp. 3639-3681.
- Huynh, N., Frappier, M., Pooda., H., Mammar, A., Laleau, R. : SGAC: a Multi-Layered Access Control Model with Conflict Resolution Strategy, The Computer Journal, British Computer Society, Oxford University Press, 62(12), December 2019, pp. 1707–1733.
- Chane-Yack-Fa, R., Frappier, M., Mammar, A., Finkel, A.: Parameterized verification of monotone information systems, Formal Aspects of Computing, Springer-Verlag, 30(3-4), August 2018, pp. 463–489.
- Huynh, N., Frappier, M., Mammar, A., Laleau, R., Desharnais, J.: A Formal Validation of the RBAC ANSI 2012 Standard using B, Science of Computer Programming, 131 (1), December 2016, pp. 76–93.
- Mammar, A., Frappier, M.: Proof-Based Verification Approaches for Dynamic Properties: Application to the Information System Domain, Formal Aspects of Computing, Springer-Verlag, 27(2), 2015, pp. 33.
- Milhau, J., Idani, A., Laleau, R., Labiadh, M.A., Ledru, L., Frappier, M.: Combining UML and B for the Formal Specification of an Access Control Filter, Innovations in Systems and Software Engineering, Springer-Verlag, 7(4), 2011, pp. 303-313.
- Embe Jiague, M., Frappier, M.,Gervais, F., Laleau, R., St-Denis, R.: Enforcing ASTD Access-Control Policies with WS-BPEL Processes in SOA Environments, International Journal of Systems and Service-Oriented Engineering, 2(2) (2011) pp. 37-59.
- Konopacki, P., Frappier, M., Laleau., R.: Modélisation de politiques de sécurité à l’aide d’une algèbre de processus. RSTI – Ingénierie des Systèmes d’Information (ISI), Hermès-Lavoisier 2010, 15(3), pp. 113-136.
- D. de Azevedo Oliveira, M. Frappier: Verifying SGAC Access Control Policies: a Comparison of ProB, Alloy and Z3. 7th International Conference on Rigorous State Based Methods (ABZ 2020), Ulm, Germany, May 27-29, 2020, LNCS 12071, Springer, pp. 223-229.
- Nganyewou Tidjon, L., Frappier, M., Mammar, A.: Intrusion Detection using ASTDs, The 34-th International Conference on Advanced Information Networking and Applications (AINA-2020), April 15 – 17, 2020, Caserta, Italy, AISC – Advances in Intelligent Systems and Computing, vol 1151, Springer-Verlag, pp. 1397-1411, PDF.
- S.J. Tueno Fotso, R. Laleau, M. Frappier, A. Mammar, F. Thibodeau and M. Nsangou Mouchili: Assessment of a Formal Requirements Modeling.Approach on a Transportation System, 21st International Conference on Formal Engineering Methods (ICFEM 2019), November 5th-9th, 2019, Shenzhen, China, LNCS 11852, Springer-Verlag, pp. 470-486.
- Huynh, N., Frappier, M., Mammar, A., Laleau, R.: Verification of SGAC Access Control Policies using Alloy and ProB, 18th IEEE International Symposium on High Assurance Systems Engineering (HASE), IEEE Computer Society, Singapore, January 12-14, 2017, pp. 120-123.
- Huynh, N., Frappier, M., Pooda, H., Mammar, A., Laleau, R.: SGAC: A Patient-Centered Access Control Method, 10th IEEE International Conference on Research Challenges in Information Science (RCIS), Grenoble, France, June 1-3, 2016, pp. 385-396.
- Huynh, N., Frappier, M., Mammar, A., Laleau, R., Desharnais, J.: Validating the RBAC ANSI 2012 Standard using B, Abstract State Machines, Alloy, B and Z, 4th International Conference (ABZ 2014), Toulouse, France, June 2-6, 2014, LNCS 8477, Springer-Verlag, pp. 255-270.
- Savary, A., Frappier, M., Lanet, J.-L.: Detecting Vulnerabilities in Java-Card Bytecode Verifiers Using Model-Based Testing. International Conference on Integrated Formal Methods (IFM2013), Turku, Finland, June 10-14, 2013, LNCS 7940, Springer-Verlag, pp. 223-237.
- Ferrier-Belhaouari, H., Konopacki, P., Laleau, R., Frappier, M. : A Design by Contract Approach to Verify Access Control Policies, 17th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2012, Paris, July 18-20, 2012, IEEE Computer Society, pp. 263-272, 2012.
- Embe Jiague, M., Frappier, M., Gervais, F., Konopacki, P., Milhau, J., Laleau, R., St-Denis, R.: A four-concern-oriented secure IS development approach. In 8th International Joint Conference on e-Business and Telecommunications (ICETE 2011), Seville, Spain, 18-21 July. INSTICC Press, volume SECRYPT 2011, pp. 464-471, 2011.
- Konopacki, P., Frappier, M., Laleau, R.: Expressing Access Control Policies with an Event-Based Approach, C. Salinesi and O. Pastor (Eds.): CAiSE 2011 Workshops, LNBIP 83, Springer-Verlag, pp. 607-621, 2011.
- Savary, A., Frappier, M., Lanet, J.-L.: Automatic generation of vulnerability tests for the java card byte code verifier, 6th Int.Conference on Network and Information Systems Security, IEEE Computer Society, Larochelle, France, May 18-21, 2011, pp. 1-7.
- M. Embe Jiague, Frappier, M., Gervais, F., Laleau, R., St-Denis, R.: From ASTD Access Control Policies to WS-BPEL Processes Deployed in a SOA Environment, 1st International Symposium on Web Intelligent Systems & Services (WISS 2010), December 12-14, 2010, Hong Kong, LNCS 6724, Springer-Verlag, pp. 126-141.
- M. Embe Jiague, Frappier, M., Gervais, F., Konopacki, P., Milhau, J., Laleau, R., St-Denis, R.: Model-Driven Engineering of Functional Security Policies, International Conference on Enterprise Information Systems (ICEIS 2010), Funchal, Madeira, June 8-12, 2010.
- Konopacki, P. , Frappier, M. , Laleau, R. : Modélisation de politiques de sécurité à l’aide d’une algèbre de processus, Informatique des organisations et systèmes d’information et de décision (INFORSID 2009), Toulouse, mai 2009.