Weighted grammars and Kleene's theorem, Information Processing Letters, vol.24, issue.1, pp.1-4, 1987. ,
DOI : 10.1016/0020-0190(87)90190-6
Measuring similarity of malware behavior, 2009 IEEE 34th Conference on Local Computer Networks, pp.891-898, 2009. ,
DOI : 10.1109/LCN.2009.5355037
CodeSurfer/x86???A Platform for Analyzing x86 Executables, Compiler Construction, 14th International Conference , CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005 Proceedings, volume 3443 of Lecture Notes in Computer Science, pp.250-254, 2005. ,
DOI : 10.1007/978-3-540-31985-6_19
Efficient evaluation of pointer predicates with Z3 SMT solver in SLAM2, 2010. ,
Automatic predicate abstraction of c programs, Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation, PLDI '01, pp.203-213, 2001. ,
Generic unpacking of self-modifying, aggressive, packed binary programs. CoRR, abs/0905, p.4581, 2009. ,
Scalable, Behavior-Based Malware Clustering, 16th Symposium on Network and Distributed System Security (NDSS), 2009. ,
On behavioral detection, Proceedings of EICAR'09, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-00758423
Half-yearly malware report, 2010. ,
Static detection of malicious code in executable programs, Symposium on Requirements Engineering for Information Security, 2001. ,
Rational series and their languages, 1988. ,
DOI : 10.1007/978-3-642-73235-5
URL : https://hal.archives-ouvertes.fr/hal-00619791
The software model checker Blast, International Journal on Software Tools for Technology Transfer, vol.2, issue.4, pp.505-525, 2007. ,
DOI : 10.1007/978-1-4757-3540-6
Lazy Shape Analysis, CAV'06, pp.532-546, 2006. ,
DOI : 10.1007/11817963_48
Architecture of a morphological malware detector, Journal in Computer Virology, vol.0, issue.4, 2008. ,
DOI : 10.1007/s11416-008-0102-4
URL : https://hal.archives-ouvertes.fr/inria-00330022
String-rewriting systems, 1993. ,
Automatically Identifying Trigger-based Behavior in Malware, Botnet Detection, vol.36, pp.65-88, 2008. ,
DOI : 10.1007/978-0-387-68768-1_4
Detecting Self-mutating Malware Using Control-Flow Graph Matching, Conference on Detection of Intrusions and Malware & Vulnerability Assessment, pp.129-143, 2006. ,
DOI : 10.1007/11790754_8
URL : http://idea.sec.dico.unimi.it/~lorenzo/rt0906.pdf
Analysis of pointers and structures, ACM SIGPLAN Notices, vol.25, issue.6, pp.296-310, 1990. ,
DOI : 10.1145/93548.93585
MOP : An Efficient and Generic Runtime Verification Framework, Object-Oriented Programming, Systems, Languages and Applications(OOPSLA'07), pp.569-588, 2007. ,
Semantics-Aware Malware Detection, 2005 IEEE Symposium on Security and Privacy (S&P'05), pp.32-46, 2005. ,
DOI : 10.1109/SP.2005.20
URL : http://www.cs.cmu.edu/~bryant/pubs.pdf
Decompilation of binary programs, Software: Practice and Experience, vol.35, issue.7, pp.811-829, 1995. ,
DOI : 10.1002/spe.4380250706
A Tool for Checking ANSI-C Programs, Tools and Algorithms for the Construction and Analysis of Systems, pp.168-176, 2004. ,
DOI : 10.1007/978-3-540-24730-2_15
Computer viruses, Computers & Security, vol.6, issue.1, pp.22-35, 1987. ,
DOI : 10.1016/0167-4048(87)90122-2
Bandera, Proceedings of the 22nd international conference on Software engineering , ICSE '00, pp.439-448, 2000. ,
DOI : 10.1145/337180.337234
dSPIN: A Dynamic Extension of SPIN, Proceedings of the 5th and 6th International SPIN Workshops on Theoretical and Practical Aspects of SPIN Model Checking, pp.261-276, 1999. ,
DOI : 10.1007/3-540-48234-2_20
A study of anti-virus' response to unknown threats, Proceedings of EICAR'09, 2009. ,
Graph-based comparison of executable objects, Symposium sur la Sécurité des Technologies de l'Information et des Télécommunications, 2005. ,
Evaluating the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs, TACAS'06, pp.73-89, 2006. ,
DOI : 10.1007/978-3-540-31980-1_35
Exploiting object escape and locking information in partial-order reductions for concurrent object-oriented pro- grams. Formal Methods in System Design, pp.199-240, 2004. ,
Bottom-up and topdown tree series transformations, J. Autom. Lang. Comb, vol.7, pp.11-70, 2001. ,
DOI : 10.1007/bf01704020
A uniform framework for problems on context-free grammars, Bulletin of the EATCS, vol.72, pp.169-177, 2000. ,
Interprocedural Control Flow Reconstruction, Proceedings of the 8th Asian conference on Programming languages and systems, APLAS'10, pp.188-203, 2010. ,
DOI : 10.1109/RTCSA.2000.896367
Weighted tree automata and tree transducers, Handbook of Weighted Automata, Monographs in Theoretical Computer Science. An EATCS Series, pp.313-403, 2009. ,
CADP??2006: A Toolbox for the Construction and Analysis of Distributed Processes, Computer Aided Verification, pp.158-163, 2007. ,
DOI : 10.1007/978-3-540-73368-3_18
URL : https://hal.archives-ouvertes.fr/inria-00189021
CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes, Tools and Algorithms for the Construction and Analysis of Systems, pp.372-387, 2011. ,
DOI : 10.1007/BFb0054166
URL : https://hal.archives-ouvertes.fr/inria-00583776
Reachability Analysis of Rewriting for Software Verification . Habilitation à diriger les recherches, 2009. ,
URL : https://hal.archives-ouvertes.fr/tel-00477013
Regular Tree Languages and Rewrite Systems, Fundamenta Informaticae, vol.24, pp.157-176, 1995. ,
URL : https://hal.archives-ouvertes.fr/inria-00538882
Partial-Order Methods for the Verification of Concurrent Systems : An Approach to the State-Explosion Problem, 1996. ,
DOI : 10.1007/3-540-60761-7
DART, ACM SIGPLAN Notices, vol.40, issue.6, pp.213-223, 2005. ,
DOI : 10.1145/1064978.1065036
Automated whitebox fuzz testing, Network Distributed Security Symposium. Internet Society, 2008. ,
Verification of Temporal Properties of Processes in a Setting with Data, 1998. ,
DOI : 10.1007/3-540-49253-4_8
Semantics of Programming Languages : Structures and Techniques, 1992. ,
Specializing configurable systems for finite-state verification, 1998. ,
Slicing software for model construction. Higher-Order and Symbolic Computation, pp.315-3531026599015809, 1023. ,
Model checking JAVA programs using JAVA PathFinder, International Journal on Software Tools for Technology Transfer (STTT), vol.2, issue.4, pp.366-381, 2000. ,
DOI : 10.1007/s100090050043
URL : http://ase.arc.nasa.gov/havelund/Publications/jpf-sttt.ps.Z
Intrusion detection using sequences of system calls, J. Comput. Secur, vol.6, pp.151-180, 1998. ,
The SPIN Model Checker : Primer and Reference Manual, 2003. ,
Dependence analysis for pointer variables, ACM SIGPLAN Notices, vol.24, issue.7, pp.28-40, 1989. ,
DOI : 10.1145/74818.74821
Interprocedural slicing using dependence graphs, Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation, PLDI '88, pp.35-46, 1988. ,
DOI : 10.1145/77606.77608
URL : https://minds.wisconsin.edu/bitstream/handle/1793/58948/TR756.pdf?sequence=1
Better k-best parsing, Proceedings of the Ninth International Workshop on Parsing Technology, Parsing '05, pp.53-64, 2005. ,
Modeling and validation of Java multi-threading applications using Spin, Proceedings of the 4th International SPIN Workshop, 1998. ,
Translating java for multiple model checkers : The bandera back-end. Formal Methods in System Design, pp.137-180, 1007. ,
Behavioral detection of malware: from a survey towards an established taxonomy, Journal in Computer Virology, vol.3548, issue.3, pp.251-266, 2008. ,
DOI : 10.1007/s11416-008-0086-0
Malware Behavioral Detection by Attribute-Automata Using Abstraction from Platform and Language, International Symposium on Recent Advances in Intrusion Detection, pp.81-100, 2009. ,
DOI : 10.1109/SECPRI.2002.1004372
Model Checking C Programs by Translating C to Promela, 2009. ,
Flow analysis and optimization of lisp-like structures, Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, POPL '79, pp.244-256, 1979. ,
A flexible approach to interprocedural data flow analysis and programs with recursive data structures, Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, POPL '82, pp.66-74, 1982. ,
Detecting Malicious Code by Model Checking, Conference on Detection of Intrusions and Malware & Vulnerability Assessment, pp.174-187, 2005. ,
DOI : 10.1007/11506881_11
URL : http://wwwbrauer.in.tum.de/~katzenbe/download/mcode.ps.gz
An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries, Proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation, pp.214-228, 2009. ,
DOI : 10.1016/S0167-6423(01)00014-4
Behaviorbased Spyware Detection, Proceedings of the 15th USENIX Security Symposium, 2006. ,
Applications of Weighted Automata in Natural Language Processing, Handbook of Weighted Automata Theoretical Computer Science. An EATCS Series, pp.571-596, 2009. ,
DOI : 10.1007/978-3-642-01492-5_14
Effective and efficient malware detection at the end host, Proceedings of the 18th conference on USENIX security symposium, SSYM'09, pp.351-366, 2009. ,
Temporal Logic and State Systems. Texts in Theoretical Computer Science. An EATCS Series, 2008. ,
Tree transducers and formal tree series, Acta Cybern, pp.135-164, 1999. ,
Semirings, Automata and Languages, 1985. ,
DOI : 10.1007/978-3-642-69959-7
Pointer-induced aliasing: a problem taxonomy, Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '91, pp.93-103, 1991. ,
DOI : 10.1145/99583.99599
Dynamic detection and classification of computer viruses using general behaviour patterns, International Virus Bulletin Conference, pp.1-22, 1995. ,
M-trends 2010 -the advanced persistent threat, 2010. ,
A Layered Architecture for Detecting Malicious Behaviors, International symposium on Recent Advances in Intrusion Detection, pp.78-97, 2008. ,
DOI : 10.1007/978-3-540-87403-4_5
A Model Checking Language for Concurrent Value-Passing Systems, World Congress on Formal Methods, pp.148-164, 2008. ,
DOI : 10.1007/978-3-540-68237-0_12
URL : https://hal.archives-ouvertes.fr/inria-00315312
Efficient inference through cascades of weighted tree transducers, Proceedings of the 48th Annual Meeting of the Association for Computational Linguistics, ACL '10, pp.1058-1066, 2010. ,
Lazy Annotation for Program Testing and Verification, Computer Aided Verification, pp.104-118, 2010. ,
DOI : 10.1007/978-3-642-14295-6_10
Finite-state transducers in language and speech processing, Comput. Linguist, vol.23, pp.269-311, 1997. ,
Statistical natural language processing, Applied Combinatorics on Words, 2005. ,
Exploring Multiple Execution Paths for Malware Analysis, 2007 IEEE Symposium on Security and Privacy (SP '07), pp.231-245, 2007. ,
DOI : 10.1109/SP.2007.17
Fast malware classification by automated behavioral graph matching, Proceedings of the Sixth Annual Workshop on Cyber Security and Information Intelligence Research, CSIIRW '10, pp.1-45, 2010. ,
DOI : 10.1145/1852666.1852716
Covert debugging circumventing software armoring techniques, Blackhat Briefings, 2007. ,
Mappings and grammars on trees, Theory of Computing Systems, pp.257-287, 1970. ,
PolyUnpack: Automating the Hidden-Code Extraction of Unpack-Executing Malware, 2006 22nd Annual Computer Security Applications Conference (ACSAC'06), pp.289-300, 2006. ,
DOI : 10.1109/ACSAC.2006.38
A schema for interprocedural modification side-effect analysis with pointer aliasing, ACM Trans. Program. Lang. Syst, vol.23, pp.105-186, 2001. ,
Solving shapeanalysis problems in languages with destructive updating, Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, POPL '96, pp.16-31, 1996. ,
A fast automatonbased method for detecting anomalous program behaviors, IEEE Symposium on Security and Privacy Menaces sur les systèmes informatiques, pp.144-155, 2001. ,
Data mining methods for malware detection, p.3335368, 2008. ,
Static verification of worm and virus behavior in binary executables using model checking, Information Assurance Workshop, pp.298-300, 2003. ,
Generalized2 sequential machine maps, Journal of Computer and System Sciences, vol.4, issue.4, pp.339-367, 1970. ,
DOI : 10.1016/S0022-0000(70)80017-4
URL : https://doi.org/10.1016/s0022-0000(70)80017-4
A survey on model checking java programs, 1999. ,
On the complexity of a problem on monadic string rewriting systems, Journal of Automata, Languages and Combinatorics, vol.7, issue.4, pp.599-609, 2002. ,
Static Disassembly and Code Analysis, Malware Detection of Advances in Information Security, pp.19-41, 2007. ,
DOI : 10.1007/978-0-387-44599-1_2