Raphaël Khoury

Publication Activity (10 Years)

Years Active: 2009-2023
Publications (10 Years): 47

Top Topics

Stream Processing

Top Venues

Comput. Sci. Rev.

Publications

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