11 citations · 11 across the 3 of their papers we have counts for
5 papers
How Secure is Code Generated by ChatGPT?
Raphaël Khoury, Anderson R. Avila, Jacob Brunelle +1
In recent years, large language models have been responsible for great advances in the field of artificial intelligence (AI). ChatGPT in particular, an AI chatbot developed and rec…
Improving Hyperconnected Logistics with Blockchains and Smart Contracts
Quentin Betti, Raphaël Khoury, Sylvain Hallé +1
The Physical Internet and hyperconnected logistics concepts promise an open, more efficient and environmentally friendly supply chain for goods. Blockchain and Internet of Things t…
Event Stream Processing with Multiple Threads
Sylvain Hallé, Raphaël Khoury, Sébastien Gaboury
Current runtime verification tools seldom make use of multi-threading to speed up the evaluation of a property on a large event trace. In this paper, we present an extension to the…
An Alternating Automaton for First-Order Linear Temporal Logic--Tech Report
Yannick Lebrun, Raphaël Khoury, Sylvain Hallé
In this paper we give automata-based representation of LTL-FO properties. LTL-FO is an extension of LTL that includes first-order quantification over bounded variable, thus…
Runtime Enforcement With Partial Control
Raphaël Khoury, Sylvain Hallé
This study carries forward the line of enquiry that seeks to characterize precisely which security policies are enforceable by runtime monitors. In this regard, Basin et al.\ recen…