3 citations · 7 across the 8 of their papers we have counts for
9 papers
LTL Model Checking of Self Modifying Code
Tayssir Touili, Xin Ye
Self modifying code is code that can modify its own instructions during the execution of the program. It is extensively used by malware writers to obfuscate their malicious code. T…
Reachability Analysis of Self Modifying Code
Tayssir Touili, Xin Ye
A Self modifying code is code that modifies its own instructions during execution time. It is nowadays widely used, especially in malware to make the code hard to analyse and to de…
Static Analysis of Multithreaded Recursive Programs Communicating via Rendez-vous
Adrien Pommellet, Tayssir Touili
We present in this paper a generic framework for the analysis of multi-threaded programs with recursive procedure calls, synchronisation by rendez-vous between parallel threads, an…
Reachability Analysis of Pushdown Systems with an Upper Stack
Adrien Pommellet, Marcio Diaz, Tayssir Touili
Pushdown systems (PDSs) are a natural model for sequential programs, but they can fail to accurately represent the way an assembly stack actually operates. Indeed, one may want to…
Branching Temporal Logic of Calls and Returns for Pushdown Systems
Huu-Vu Nguyen, Tayssir Touili
Pushdown Systems (PDSs) are a natural model for sequential programs with (recursive) procedure calls. In this work, we define the Branching temporal logic of CAlls and RETurns (BCA…
CARET analysis of multithreaded programs
Huu-Vu Nguyen, Tayssir Touili
Dynamic Pushdown Networks (DPNs) are a natural model for multithreaded programs with (recursive) procedure calls and thread creation. On the other hand, CARET is a temporal logic t…