Raphaël Khoury

70 papers A 3B 9C 3Misc 1Journal 26Unranked 26

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Enhancing Network Intrusion Detection Systems: A Multi-Layer Ensemble Approach to Mitigate Adversarial Attacks. CoRR Nasim Soltani, Shayan Nejadshamsi, Zakaria Abou El Houda, Raphaël Khoury, Kelton A. P. Costa, Tiago H. Falk, Anderson R. Avila
2025	J	`jnl`	Assessing the Effectiveness of ChatGPT in Secure Code Development: A Systematic Literature Review. ACM Comput. Surv. Rezika Bouzid, Raphaël Khoury
2025	B	`conf`	Enhancing Network Intrusion Detection Systems: A Multi-Layer Ensemble Approach to Mitigate Adversarial Attacks. SMC Nasim Soltani, Shayan Nejadshamsi, Zakaria Abou El Houda, Raphaël Khoury, Kelton A. P. Costa, Tiago H. Falk, Anderson R. Avila
2025	B	`conf`	Mining Five Years of Actively Exploited Vulnerabilities. COMPSAC Raphaël Khoury, Kobra Khanmohammadi, Justin Vallé, Abdelwahab Hamou-Lhadj
2025	J	`jnl`	WildCode: An Empirical Analysis of Code Generated by ChatGPT. CoRR Kobra Khanmohammadi, Pooria Roy, Raphaël Khoury, Abdelwahab Hamou-Lhadj, Wilfried Patrick Konan
2024	C	`conf`	Distributed and Verifiable Digital Badges. CRiSIS Raphaël Khoury, Sylvain Hallé, Muni Venkateswarlu Kumaramangalam
2024	—	`conf`	ExploitabilityBirthMark: An Early Predictor of the Likelihood of Exploitation. FPS (2) Kobra Khanmohammadi, Zakeya Namrud, François Labrèche, Raphaël Khoury
2023	J	`jnl`	A modular pipeline for enforcement of security properties at runtime. Ann. des Télécommunications Rania Taleb, Sylvain Hallé, Raphaël Khoury
2023	—	`conf`	Analysis of Cryptographic CVEs: Lessons Learned and Perspectives. FPS (1) Raphaël Khoury, Jérémy Bolduc, Jason Lafrenière-Nickopoulos, Abdel-Gany Odedele
2023	B	`conf`	Comparing the Effectiveness of Static, Dynamic and Hybrid Malware Detection on a Common Dataset. SMC Asma Razgallah, Raphaël Khoury, Kobra Khanmohammadi, Christophe Pere
2023	—	`conf`	Half-Day Vulnerabilities: A study of the First Days of CVE Entries. CAMLIS Kobra Khanmohammadi, Raphaël Khoury
2023	J	`jnl`	Half-Day Vulnerabilities: A study of the First Days of CVE Entries. CoRR Kobra Khanmohammadi, Raphaël Khoury
2023	B	`conf`	How Secure is Code Generated by ChatGPT? SMC Raphaël Khoury, Anderson R. Avila, Jacob Brunelle, Baba Mamadou Camara
2023	J	`jnl`	How Secure is Code Generated by ChatGPT? CoRR Raphaël Khoury, Anderson R. Avila, Jacob Brunelle, Baba Mamadou Camara
2023	J	`jnl`	Uncertainty in runtime verification: A survey. Comput. Sci. Rev. Rania Taleb, Sylvain Hallé, Raphaël Khoury
2022	C	`conf`	A Taxonomy of Software Flaws Leading to Buffer Overflows. QRS Raphaël Khoury
2022	J	`jnl`	Are Backdoor Mandates Ethical? - A Position Paper. IEEE Technol. Soc. Mag. Raphaël Khoury, Sylvain Hallé
2022	A	`conf`	TwinDroid: A Dataset of Android app System call traces and Trace Generation Pipeline. MSR Asma Razgallah, Raphaël Khoury, Jean-Baptiste Poulet
2021	—	`conf`	A Modular Runtime Enforcement Model Using Multi-traces. FPS Rania Taleb, Sylvain Hallé, Raphaël Khoury
2021	J	`jnl`	A survey of malware detection in Android apps: Recommendations and perspectives for future research. Comput. Sci. Rev. Asma Razgallah, Raphaël Khoury, Sylvain Hallé, Kobra Khanmohammadi
2021	J	`jnl`	Automata-based monitoring for LTL-FO Int. J. Softw. Tools Technol. Transf. Raphaël Khoury, Sylvain Hallé, Yannick Lebrun
2021	C	`conf`	Behavioral classification of Android applications using system calls. APSEC Asma Razgallah, Raphaël Khoury
2021	J	`jnl`	Detecting trend deviations with generic stream processing patterns. Inf. Syst. Massiva Roudjane, Djamal Rebaïne, Raphaël Khoury, Sylvain Hallé
2021	—	`conf`	Employing Feature Selection to Improve the Performance of Intrusion Detection Systems. FPS Ricardo Ávila, Raphaël Khoury, Christophe Pere, Kobra Khanmohammadi
2021	—	`conf`	Runtime Verification Under Access Restrictions. FormaliSE@ICSE Rania Taleb, Raphaël Khoury, Sylvain Hallé
2021	—	`conf`	Test Sequence Generation with Cayley Graphs. ICST Workshops Sylvain Hallé, Raphaël Khoury
2021	J	`jnl`	The Botnet Simulator: A simulation tool for understanding the interaction between botnets. Softw. Impacts Benjamin Vignau, Raphaël Khoury, Sylvain Hallé, Abdelwahab Hamou-Lhadj
2021	J	`jnl`	The evolution of IoT Malwares, from 2008 to 2019: Survey, taxonomy, process simulator and perspectives. J. Syst. Archit. Benjamin Vignau, Raphaël Khoury, Sylvain Hallé, Abdelwahab Hamou-Lhadj
2021	J	`jnl`	Use of Security Logs for Data Leak Detection: A Systematic Literature Review. Secur. Commun. Networks Ricardo Ávila, Raphaël Khoury, Richard Khoury, Fábio Petrillo
2020	—	`conf`	An Analysis of the Use of CVEs by IoT Malware. FPS Raphaël Khoury, Benjamin Vignau, Sylvain Hallé, Abdelwahab Hamou-Lhadj, Asma Razgallah
2019	—	`conf`	10 Years of IoT Malware: A Feature-Based Taxonomy. QRS Companion Benjamin Vignau, Raphaël Khoury, Sylvain Hallé
2019	J	`jnl`	Empirical study of android repackaged applications. Empir. Softw. Eng. Kobra Khanmohammadi, Neda Ebrahimi, Abdelwahab Hamou-Lhadj, Raphaël Khoury
2019	J	`jnl`	Improving Hyperconnected Logistics With Blockchains and Smart Contracts. IT Prof. Quentin Betti, Raphaël Khoury, Sylvain Hallé, Benoît Montreuil
2019	J	`jnl`	Improving Hyperconnected Logistics with Blockchains and Smart Contracts. CoRR Quentin Betti, Raphaël Khoury, Sylvain Hallé, Benoît Montreuil
2019	—	`conf`	On the Use of API Calls for Detecting Repackaged Malware Apps: Challenges and Ideas. ISSRE Workshops Kobra Khanmohammadi, Raphaël Khoury, Abdelwahab Hamou-Lhadj
2019	B	`conf`	Predictive Analytics for Event Stream Processing. EDOC Massiva Roudjane, Djamal Rebaine, Raphaël Khoury, Sylvain Hallé
2019	—	`conf`	TRIADE A Three-Factor Trace Segmentation Method to Support Program Comprehension. ISSRE Workshops Raphaël Khoury, Abdelwahab Hamou-Lhadj, Mohamed Ilyes Rahim, Sylvain Hallé, Fábio Petrillo
2018	J	`jnl`	Decentralized enforcement of document lifecycle constraints. Inf. Syst. Sylvain Hallé, Raphaël Khoury, Quentin Betti, Antoine El-Hokayem, Yliès Falcone
2018	—	`ch.`	Microtext Processing. Encyclopedia of Social Network Analysis and Mining. 2nd Ed. Richard Khoury, Raphaël Khoury, Abdelwahab Hamou-Lhadj
2018	B	`conf`	Real-Time Data Mining for Event Streams. EDOC Massiva Roudjane, Djamal Rebaine, Raphaël Khoury, Sylvain Hallé
2018	J	`jnl`	Streamlining the Inclusion of Computer Experiments In a Research Paper. Computer Sylvain Hallé, Raphaël Khoury, Mewena Awesso
2018	Misc	`conf`	Tally Keeping-LTL: An LTL Semantics for Quantitative Evaluation of LTL Specifications. IRI Raphaël Khoury, Sylvain Hallé
2018	B	`conf`	Writing Domain-Specific Languages for BeepBeep. RV Sylvain Hallé, Raphaël Khoury
2017	—	`conf`	A Few Things We Heard About RV Tools (Position Paper). RV-CuBES Sylvain Hallé, Raphaël Khoury, Sébastien Gaboury
2017	—	`conf`	Event Stream Processing with BeepBeep 3. RV-CuBES Sylvain Hallé, Raphaël Khoury
2017	B	`conf`	Event Stream Processing with Multiple Threads. RV Sylvain Hallé, Raphaël Khoury, Sébastien Gaboury
2017	J	`jnl`	Event Stream Processing with Multiple Threads. CoRR Sylvain Hallé, Raphaël Khoury, Sébastien Gaboury
2017	—	`conf`	Monitoring of Security Properties Using BeepBeep. FPS Mohamed Recem Boussaha, Raphaël Khoury, Sylvain Hallé
2017	A	`conf`	SealTest: a simple library for test sequence generation. ISSTA Sylvain Hallé, Raphaël Khoury
2016	—	`conf`	A glue language for event stream processing. IEEE BigData Sylvain Hallé, Sébastien Gaboury, Raphaël Khoury
2016	J	`jnl`	An Alternating Automaton for First-Order Linear Temporal Logic-Tech Report. CoRR Yannick Lebrun, Raphaël Khoury, Sylvain Hallé
2016	B	`conf`	Decentralized Enforcement of Artifact Lifecycles. EDOC Sylvain Hallé, Raphaël Khoury, Antoine El-Hokayem, Yliès Falcone
2016	—	`conf`	Execution Trace Analysis Using LTL-FO ^+. ISoLA (2) Raphaël Khoury, Sylvain Hallé, Omar Waldmann
2016	A	`conf`	Key Elements Extraction and Traces Comprehension Using Gestalt Theory and the Helmholtz Principle. ICSME Raphaël Khoury, Lei Shi, Abdelwahab Hamou-Lhadj
2016	—	`conf`	Three Views of Log Trace Triaging. FPS Raphaël Khoury, Sébastien Gaboury, Sylvain Hallé
2015	J	`jnl`	Equivalence-preserving corrective enforcement of security properties. Int. J. Inf. Comput. Secur. Raphaël Khoury, Nadia Tawbi
2015	J	`jnl`	Runtime Enforcement With Partial Control. CoRR Raphaël Khoury, Sylvain Hallé
2015	—	`conf`	Runtime Enforcement with Partial Control. FPS Raphaël Khoury, Sylvain Hallé
2015	—	`conf`	Runtime Monitoring of Stream Logic Formulae. FPS Sylvain Hallé, Raphaël Khoury
2015	—	`conf`	Symbolic analysis of assembly traces: Lessons learned and perspectives. PCODA@SANER Raphaël Khoury
2014	—	`ch.`	Microtext Processing. Encyclopedia of Social Network Analysis and Mining Richard Khoury, Raphaël Khoury, Abdelwahab Hamou-Lhadj
2013	—	`conf`	Software behaviour correlation in a redundant and diverse environment using the concept of trace abstraction. RACS Abdelwahab Hamou-Lhadj, Syed Shariyar Murtaza, Waseem Fadel, Ali Mehrabian, Mario Couture, Raphaël Khoury
2012	J	`jnl`	Corrective Enforcement: A New Paradigm of Security Policy Enforcement by Monitors. ACM Trans. Inf. Syst. Secur. Raphaël Khoury, Nadia Tawbi
2012	—	`conf`	Towards a formal framework for evaluating the effectiveness of system diversity when applied to security. CISDA Raphaël Khoury, Abdelwahab Hamou-Lhadj, Mario Couture
2012	J	`jnl`	Which security policies are enforceable by runtime monitors? A survey. Comput. Sci. Rev. Raphaël Khoury, Nadia Tawbi
2011	J	`jnl`	Extending the enforcement power of truncation monitors using static analysis. Comput. Secur. Hugues Chabot, Raphaël Khoury, Nadia Tawbi
2011	—	`conf`	Optimized Inlining of Runtime Monitors. NordSec Frédérick Lemay, Raphaël Khoury, Nadia Tawbi
2010	—	`conf`	Corrective Enforcement of Security Policies. Formal Aspects in Security and Trust Raphaël Khoury, Nadia Tawbi
2010	—	`conf`	Using Equivalence Relations for Corrective Enforcement of Security Policies. MMM-ACNS Raphaël Khoury, Nadia Tawbi
2009	—	`conf`	Generating In-Line Monitors for Rabin Automata. NordSec Hugues Chabot, Raphaël Khoury, Nadia Tawbi