Raphaël Khoury, Ph.D.

Raphaël Khoury, Ph.D.
1. Informations Personnelles
Adresse d’affaire
Département of d’Informatique et de Mathématique
Université du Québec à Chicoutimi
555 boul. de l’université, Chicoutimi, QC,
G7H 2B1 Canada
Téléphone
courriel
Site Web
1 (418) 545-5011 ext. 2609
[email protected]
Date de Naissance
Lieu de naissance
Citoyenneté
7 Janvier, 1981
Québec, Québec, Canada
Canadienne
Langues parlées et écrites
Français (langue maternelle)
Anglais (couramment)
Espagnol (de base)
http://www.uqac.ca/portfolio/raphaelkhoury
2. Formation Académique
Philosophiæ Doctor (Ph.D.)
Université Laval, Québec, Qc
Département d’informatique et de Génie Logiciel
Avec Scolarité à l’université McGill, Montréal, Qc
2011
Maîtrise en Informatique (M.Sc.) Université Laval, Québec, Qc
Département d’informatique et de Génie Logiciel
2005
Baccalauréat en Informatique
(B. Sc.)
2003
Université Laval, Québec, Qc
Département d’informatique et de Génie Logiciel
Concentrations:
•Génie Logiciel
• Réseautique et Internet
• Systèmes d’information
3. License d’ingénieur professionnel

Ingénieur Junior (EIT), Ordre professionnel des ingénieurs de l'Ontario (PEO). Licence #: 100181820
Raphaël Khoury
Curriculum Vitae
Page 1 of 7
4. Expérience professionnelle
Professeur
Département d’informatique
et de Mathématique
Université du Québec à Chicoutimi
2014
Chargé de Cours
Département d’informatique
et de Génie Logiciel
Université Laval
2012-2013
Stagiaire Postdoctoral
Recherche et Développement
pour la Défense, Canada
2011-2014
Professionnel de Recherche
Laboratoire de recherche LSFM
Département d’informatique
et de Génie Logiciel
Université Laval
Auxiliaire d’enseignement
Département d’informatique
et de Génie Logiciel
Université Laval
Assistant de Recherche
Laboratoire de recherche LSFM
Département d’informatique
et de Génie Logiciel
Université Laval
2003
Assistant de Recherche
Centre de recherche CENTOR
Faculté des sciences de l’administration
Université Laval
2002
2012
2004-2009
5. Publications
Articles académiques arbitrés
1. R. Khoury & N. Tawbi, “Equivalence-Preserving Corrective Enforcement of Security
Properties”, International Journal of Information and Computer Security7(2/3/4), pp.
113 – 139, (2015).
2. R. Khoury & N. Tawbi, “Corrective Enforcement: A new Paradigm of Security Policy
enforcement by Monitors”, ACM Transactions on Information and System Security
15(2):10, (2012).
3. R. Khoury, A. Hamou-Lhadj, M. Couture, & R. Charpentier, “Diversity through N-Version
Programming: Current State, Challenges and Recommendations”, International Journal
Raphaël Khoury
Curriculum Vitae
Page 2 of 7
of Information Technology and Computer Science (IJITCS) 4(2), pp.56-64, (2012).
4. R. Khoury & N. Tawbi, “Which Security Policies are Enforceable by Runtime Monitors? A
Survey”, Computer Science Review, 6(1), pp.27-45, (2012).
5. H. Chabot, R. Khoury & N. Tawbi, “Extending the Enforcement Power of Truncation
Monitors Using Static Analysis”, Computers & Security 30(4), pp.194-207, (2011).
Chapitre de Livre
1. R.E. Khoury, R. Khoury & A. Hamou-Lhadj, “Microtext Processing”, Encyclopedia of
Social Network Analysis and Mining, Springer, Reda Alhajj et Jon Rokne (eds.) Août 2014,
ISBN: 978-1-4614-6169-2, pp. 894-904.
Comptes-rendus de conférences arbitrés
1. S. Hallé, S. Gaboury & R. Khoury, “A Glue Language for Event Stream Processing”, Realtime and Stream Analytics in Big Data, Washington D.C., É.U., dec. 2016.
2. R. Khoury, S. Hallé & S. Gaboury, “Three views of Log Trace Triaging”, 9th International
Symposium on Foundations & Practice of Security (FPS 2016), oct. 2016, Québec, QC,
Canada.
3. R. Khoury, S. Hallé & O. Waldmann, “Execution Trace Analysis Using LTL-FO+. 7e
International Symposium On Leveraging Applications of Formal Methods, Verification
and Validation (IsoLa 16), Corfu, Greece, oct. 2016.
4. S. Hallé, R. Khoury, Y.Falcone & T. Hokayem, “Decentralized Enforcement of Artifact
Lifecycles”, 12e Enterprise Computing Conference (IEEE EDOC16), Vienna, Autria,
September 2016. Lauréat du Best paper award.
5. R. Khoury, L. Shi, and A. Hamou-Lhadj, “Key Elements Extraction and Traces
Comprehension Using Gestalt Theory and the Helmholtz Principle”, IEEE International
Conference on Software Maintenance and Evolution (ICSME 2016), Raleigh, N. Carolina,
USA.
6. R. Khoury & S. Hallé, “Runtime Enforcement With Partial Control”, 8th International
Symposium on Foundations and Practice of Security (FPS15), Clermont-Ferrand, oct.
2015, pp. 102-116.
7. S. Hallé & R. Khoury, “Runtime Monitoring of Stream Logic Formulae”, 8th International
Symposium on Foundations and Practice of Security (FPS15), Clermont-Ferrand, oct.
2015, pp.251-258.
8. R. Khoury “Symbolic Analysis of Assembly Traces: Lessons Learned and Perspectives”,
22nd IEEE International Conference on Software Analysis, Evolution, and Reengineering
(SANER15), Montréal, Qc, Canada, Mars 2015, pp7-12.
9.
A. Hamou-Lhadj, S. Murtaza, W. Fadel, A. Mehrabian, M. Couture & R. Khoury
“Software Behaviour Correlation in a Redundant and Diverse Environment Using the
Concept of Trace Abstraction”, 2013 International Conference on Reliable And
Convergent Systems (ACM RACS 2013), Montreal (Canada), octobre 2013.
Raphaël Khoury
Curriculum Vitae
Page 3 of 7
10. R. Khoury, A. Hamou-Lhadj & M. Couture, “A Formal Framework for Evaluating the
Effectiveness of Diversity when Applied to Security”, IEEE Symposium: Computational
Intelligence for Security and Defence Applications 2012 (CISDA 12), Ottawa, (Canada),
Juillet 2012.
11. F. Lemay, R. Khoury & N. Tawbi, “Efficient Monitor Inlining of Non-Safety Properties”,
16th Nordic Conference on Secure IT Systems (NORDSEC11), Tallinn, (Estonia), Octobre
2011, pp. 149-159.
12. R. Khoury & N. Tawbi, “Corrective Enforcement of Security Policies”, 7th International
Workshop on Formal Aspects of Security & Trust (FAST2010) Pise, (Italie), Septembre
2010, pp.176-190.
13. R. Khoury & N. Tawbi, “Using Equivalence Relations for Corrective Enforcement of
Security Policies”, 5th International Conference “Mathematical Methods, Models, and
Architectures for Computer Networks Security” (MMM-ACNS-2010), St-Petersburg,
(Russie), Septembre 2010, pp.139-154.
14. H. Chabot, R. Khoury & N. Tawbi, “Generating In-Line Monitors For Rabin Automata”,
14th Nordic Conference on Secure IT Systems (NORDSEC09) à Oslo, (Norvège), Octobre
2009, Springer’s Lecture Notes In Computer Science (LNCS) series, pp. 287-301..
15. S. Cloutier, C. Gustave, R. Khoury, D. Nassour, A. Robison, F. Samson, & N. Tawbi,
“Alternative Java Security Policy Model”, dans NOTERE 2004 conference, Saidia,
(Moroc), Juin 2004.
Présentation arbitrée de posters
1. A. Hamou-Lhadj, M. Couture, & R. Khoury, “Detecting System Anomalies in a Diverse
Environment”, présenté au Consortium for Software Engineering Research Spring 2012,
à Victoria, Colombie-Britannique, Canada, Mai 2012.
Rapports Techniques
1. Y. Lebrun, R. Khoury, S. Hallé, An Alternating Automata for First-Order Temporal Logic,
Technical Report, Université du Québec à Chicoutimi, Oct. 2016.
2. R. Khoury & S. Hallé, “Runtime Enforcement with Partial Control ”, Rapport technique,
Université du Québec à chicoutimi, Août 2015.
3. R. Khoury & M. Couture, “Comparative Analysis of Marathon everRun and Datagardens
Wave”, Rapport technique TN 2013-153, Recherche et développement pour la Défense Canada,
Août 2013.
4. R. Khoury, M. Couture & A. Hamou-Lhadj, “Best Design Practices the Effective Use of NVersion Programming”, Rapport technique TM 2013-017, Recherche et développement pour la
Défense Canada, Février 2013.
5. R. Khoury, “Towards a Reasoning Framework Using Diversity for Security”, Rapport
Raphaël Khoury
Curriculum Vitae
Page 4 of 7
technique TR 2013-154, Recherche et développement pour la Défense Canada, Août 2013.
6. Conférences et Séminaires
Conférencier Invité
1. “Which Security Properties are Enforceable by Monitors”, Université Laval, avril 2013.
2. “Using Diversity for Security”, Université Concordia, May 2015.
Séminaires
1. “Développement et implantation de monitors formels fondés sur les dépendances des
données”, 76th Conférence de l’Association Francophone pour le Savoir (ACFAS), Québec
QC, Canada (2008).
2. “Détection du Code Malicieux par un Système de Type à Effets”, 76e Conférence de
l’Association Francophone pour le Savoir (ACFAS), Québec QC, Canada (2008).
3. “Overview of Linear Logic”, séminaire d’informatique”, Université Laval, Québec, Canada
(2007).
4. “The use of Game Theory in Model-Checking”, séminaire d’informatique, Université
Laval, Québec, Canada (2006).
5. “Security Policy Markup Languages”, séminaire d’informatique, Université Laval,
Québec, Canada (2004)
7. Activités Professionnelles


Membre du comité de programme, 6e International Workshop on Program Comprehension
through Dynamic Analysis (PCODA), Montréal Canada, Mars 2015.
Chaire du comité de publicité, The 9th International Symposium on Foundations & Practice
of Security (FPS), Québec, Canada, Octobre 2016.
8. Bourses d’étude

Bourse CRSNG Programme de bourses de recherche scientifique dans les
laboratoires du gouvernement Canadien (2011-2013)
Valeur : 47 234 -48 943$ (annuel)
Description: “Des comités de sélection [...] effectueront une évaluation des
demandes et recommanderont les candidats les plus méritants” (Source : Site Web
du CRSNG)

Bourse FQRNT, Gouvernement du Québec (2008-2009)
Valeur : 20 000$
Description: “Les programmes de bourses du [FQRNT] ont pour but [...] d'aider
financièrement les meilleurs candidats à entreprendre ou à poursuivre un
Raphaël Khoury
Curriculum Vitae
Page 5 of 7
programme de maîtrise ou de doctorat en recherche dans les domaines des sciences
naturelles, des sciences mathématiques et du génie.” (Source : Site Web du FQRNT)

Bourse d’études graduées, Université Laval (2004-2010)
Valeur : 9 000- 12 000$
9. Subventions de Recherche








CRSNG Découverte, 90 000$, 2015-2010.
Subvention CRSNG SEP en collaboration avec la companie TLM, 25 000$, 2015.
CRSNG Connexion, 1 184$, 2016
Subvention FQRNT Nouveau Chercheur, 60 000$, 2016-2018
Bourse de soutient discrétionnaire du département d’informatique et de mathématique
de l’UQAC, 10 000$, 2014-2015.
Fond de démarrage du département d’informatique et de mathématique de l’UQAC,
10 000$, 2014-2015.
Fond Institutionnel de l’UQAC, 4800$, 2014-2016
Université du Québec à Chicoutimi, Programme de soutien au développement de la
recherche et de la création, 15 000$, 2015-2018.
10. Supervision
Étudiants gradués
 Lei Shi, Maitrise, From Gestalt Theory to Trace Analysis, 2015.
 Imen Doudech, Maitrise, Automated Bot Detection in Video game traces, 2016.
 Francisco Senda Buiti, Maitrise, Titre anticipé du mémoire : Détection automatisé des
influenceurs dans les réseaux sociaux au moyen de la programmation par contraintes.
 Eric Laberge, Maitrise, Titre anticipé du mémoire : Détection automatisé des bugs dans
les jeux videos par l’entremise de l’analyse symbolique.
 Quentin Betti, Doctorat.
Projets de premier cycle
 Guillaume Tremblay, Triage des traces d’exécutions, 2015, récipiendaire d’une Bourse
de Recherche de Premier Cycle (BRPC) de CRSNG.
 Omar Waldmann, Analyse des traces d’exécutions pour assurer la sécurité des
programmes, 2015.
 Julie Melo, Optimisations du moniteur Beep Beep, 2015.
 Maxime Tosolini, Développement d’un moniteur basé sur les automates pour les traces
XML, 2015.
 Yannick Lebrun, Création d’un automate pour LTL-FO+.
 Aurélien Terrain, Analyse de traces d’exécutions avec le moniteur BeepBeep.
Raphaël Khoury
Curriculum Vitae
Page 6 of 7
11. Enseignement
Cours Sous-Gradués
 Compilation et Interprétation, Université Laval, 2012.
 Algorithmes et Structures de données, Université Laval. (Cours à distance) 2013
 Programmation, algorithmique et structures de données, Université du Québec à
Chicoutimi, 2014
 Sécurité Des Applications, Université du Québec à Chicoutimi, 2015
 Computer Security, Tianjin University of Technology (Tianjin, China), 2016
Cours Gradués
 Sécurité Informatique, Université du Québec à Chicoutimi, 2015-2016
Raphaël Khoury
Curriculum Vitae
Page 7 of 7