Zobrazeno 1 - 10
of 114
pro vyhledávání: '"Touili, Tayssir"'
Autor:
Touili, Tayssir, Ye, Xin
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. Thus, analysing self modifying code is nowadays a big challenge. In thi
Externí odkaz:
http://arxiv.org/abs/1909.12635
Autor:
Touili, Tayssir, Ye, Xin
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 detect by anti-viruses. Thus, the analysis of such self modifying progra
Externí odkaz:
http://arxiv.org/abs/1909.12626
Autor:
Pommellet, Adrien, Touili, Tayssir
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, and dynamic creation of new threads. To this end, we consider a model ca
Externí odkaz:
http://arxiv.org/abs/1907.02834
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 access the part of the memory that is below the current stack or base
Externí odkaz:
http://arxiv.org/abs/1811.02982
Autor:
Nguyen, Huu-Vu, Touili, Tayssir
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 (BCARET) that allows to write branching temporal formulas while taking int
Externí odkaz:
http://arxiv.org/abs/1805.04580
Autor:
Nguyen, Huu-Vu, Touili, Tayssir
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 that allows to write linear temporal formulas while taking into account
Externí odkaz:
http://arxiv.org/abs/1709.09006
Autor:
Song, Fu, Touili, Tayssir
A Dynamic Pushdown Network (DPN) is a set of pushdown systems (PDSs) where each process can dynamically create new instances of PDSs. DPNs are a natural model of multi-threaded programs with (possibly recursive) procedure calls and thread creation. E
Externí odkaz:
http://arxiv.org/abs/1611.02528
Autor:
Touili, Tayssir
Nous nous intéressons dans cette thèse au model-checking des systèmes infinis, notammentles systèmes paramétrés et les programmes récursifs parallèles. Nous présen\-tons un cadreuniforme pour la vérification algorithmique de ces systèmes.
Externí odkaz:
http://tel.archives-ouvertes.fr/tel-00161124
http://tel.archives-ouvertes.fr/docs/00/16/11/24/PDF/touili-these.pdf
http://tel.archives-ouvertes.fr/docs/00/16/11/24/PDF/touili-these.pdf
Autor:
Macedo, Hugo Daniel, Touili, Tayssir
The number of malicious software (malware) is growing out of control. Syntactic signature based detection cannot cope with such growth and manual construction of malware signature databases needs to be replaced by computer learning based approaches.
Externí odkaz:
http://arxiv.org/abs/1312.4814
Publikováno v:
Proceedings of the Second International Conference on Algebraic Biology (06/07/2007) 12
The classical attenuation regulation of gene expression in bacteria is considered. We propose to represent the secondary RNA structure in the leader region of a gene or an operon by a term, and we give a probabilistic term rewriting system modeling t
Externí odkaz:
http://arxiv.org/abs/0706.2126