2 papers
cs.CR2023
Half-Day Vulnerabilities: A study of the First Days of CVE Entries
Kobra Khanmohammadi, Raphael Khoury
The National Vulnerability Disclosure Database is an invaluable source of information for security professionals and researchers. However, in some cases, a vulnerability report is…
cs.FL2016
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…