R Khoury,
S Hallé, O Waldmann - International Symposium on Leveraging …, 2016 - Springer
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 …