Abstract
We explore of use of the tool BeepBeep, a monitor for the temporal logic LTL-FO+, in interpreting assembly traces, focusing on security-related applications. LTL-FO+ is an extension of LTL, which includes first order quantification. We show that LTL-FO+ is a sufficiently expressive formalism to state a number of interesting program behaviors, and demonstrate experimentally that BeepBeep can efficiently verify the validity of the properties on assembly traces in tractable time.
Cite
CITATION STYLE
Khoury, R., Hallé, S., & Waldmann, O. (2016). Execution trace analysis using LTL-FO+. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9953 LNCS, pp. 356–362). Springer Verlag. https://doi.org/10.1007/978-3-319-47169-3_26
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
