RAC (Revue avec comité de lecture)Khoury, Raphaël, Rania Taleb, Sylvain Hallé. A Modular Pipeline for Optimal Enforcement of Security Properties at Runtime. Annals of Telecommunications (2023) : Acceptée Khoury, Raphaël, Sylvain Hallé. Are Backdoor Mandates Ethical? - A Position Paper. IEEE Technology and Society Magazine 41. 4 (2022) : 63-70.  taleb, Rania, Sylvain Hallé, Raphaël Khoury. Uncertainty in Runtime Verification: A Survey. Computer Science Review 50. (2023) : p. 100594. CAC (Publications arbitrées dans des actes de colloque)Khoury, Raphaël, Anderson Avila, Jacob Brunelle, Baba Mamadou Camara. How Secure is Code Generated by ChatGPT?. IEEE Systems, Man, and Cybernetics (SMC), Maui, HA, États-Unis. (2023). Acceptée Khoury, Raphaël, Jérémy Bolduc, Jason Lafrenière, Abdel-Gany Odedele. Analysis of Cryptographic CVEs: Lessons Learned and Perspectives. Foundations and Practice of Security (FPS’ 23), Bordeaux, France. (2023). Razgallah, Asma, Raphaël Khoury, Kobra Khanmohammadi, Christophe Père. Comparing the effectiveness of Static, Dynamic and Hybrid Malware detection on a Common Dataset. IEEE Systems, Man, and Cybernetics (SMC), Maui, HA, États-Unis. (2023). Acceptée Khoury, Raphaël, Kobra Khanmohammadi . Half-Day Vulnerabilities: A study of the First Days of CVE Entries. The Conference on Applied Machine Learning in Information Security (CAMLIS), Arlington, VA, USA. (2022). Khoury, Raphaël. A Taxonomy of Software Flaws Leading to Buffer Overflows. QRS 2022 - Software Quality, Reliability, and Security,Guangzhou, China (en ligne), (2022). COF (Communication arbitrée)Khoury, Raphaël. Smart Contracts-Enabled Simulation for Hyperconnected Logistics. 26th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2022). Bozen-Bolzano, Italie, 2022. BRE (Brevet)Hallé, Sylvain, Raphaël Khoury, Muni Venkateswarlu Kumaramangalam. System and Method for Digital Authorization Verification. états-unis 63/527,928. 20 Juillet 2023. |