An orchestrated survey of methodologies for automated software test case generation, Journal of Systems and Software, 2013. ,
Enhancing symbolic execution with veritesting, Commun. ACM, vol.59, issue.6, 2016. ,
WYSINWYX: what you see is not what you execute, ACM Trans. Program. Lang. Syst, vol.32, 2010. ,
Code obfuscation against symbolic execution attacks, Annual Conference on Computer Security Applications, ACSAC 2016, 2016. ,
Predicting the resilience of obfuscated code against symbolic execution attacks via machine learning, USENIX Security Symposium, 2017. ,
On the (im)possibility of obfuscating programs, Advances in Cryptology -CRYPTO, 2001. ,
Backward-bounded DSE: targeting infeasibility questions on obfuscated codes, 2017 IEEE Symposium on Security and Privacy, 2017. ,
URL : https://hal.archives-ouvertes.fr/cea-01808887
Satisfiability Modulo Theories, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01095009
Bounded Model Checking, Handbook of Satisfiability, 2009. ,
Effectiveness of synthesis in concolic deobfuscation, Computers & Security, vol.70, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01241356
Codisasm: Medium scale concatic disassembly of self-modifying binaries with overlapping instructions, Conference on Computer and Communications Security, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01257908
Automatically identifying trigger-based behavior in malware, Botnet Detection: Countering the Largest Security Threat, vol.36, pp.65-88, 2008. ,
Boolector: An efficient SMT solver for bit-vectors and arrays, International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS, 2009. ,
Code obfuscation against abstract model checking attacks, Verification, Model Checking, and Abstract Interpretation -19th International Conference, 2018. ,
Targeted program transformations for symbolic execution, Meeting on Foundations of Software Engineering, ESEC/FSE, 2015. ,
KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs, 8th USENIX Symposium on Operating Systems Design and Implementation, 2008. ,
Symbolic execution for software testing: three decades later, Commun. ACM, vol.56, issue.2, 2013. ,
Understanding the behaviour of hackers while performing attack tasks in a professional setting and in a public challenge, Empirical Software Engineering, vol.24, issue.1, pp.240-286, 2019. ,
Unleashing mayhem on binary code, Symposium on Security and Privacy, 2012. ,
Surreptitious Software: Obfuscation, Watermarking, and Tamperproofing for Software Protection, 2009. ,
A taxonomy of obfuscating transformations, 1997. ,
Distributed application tamper detection via continuous software updates, Annual Computer Security Applications Conference, 2012. ,
Deobfuscation of virtualizationobfuscated software: a semantics-based approach, Conference on Computer and Communications Security, CCS, 2011. ,
Specification of concretization and symbolization policies in symbolic execution, International Symposium on Software Testing and Analysis, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01721492
BINSEC/SE: A dynamic symbolic execution toolkit for binary-level analysis, IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering, SANER, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01721502
Z3: an efficient SMT solver, Tools and Algorithms for the Construction and Analysis of Systems, TACAS, 2008. ,
Reverse engineering self-modifying code: Unpacker extraction, Working Conference on Reverse Engineering, 2010. ,
Defeating mba-based obfuscation, Proceedings of the 2016 ACM Workshop on Software PROtection, SPRO@CCS 2016, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01388109
SAGE: whitebox fuzzing for security testing, Commun. ACM, vol.55, issue.3, 2012. ,
Lazy abstraction, The 29th SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), 2002. ,
Renovo: a hidden code extractor for packed executables, ACM Workshop Recurring Malcode (WORM) ,
Towards static analysis of virtualization-obfuscated binaries, 19th Working Conference on Reverse Engineering, 2012. ,
Implicit flows: Can't live with 'em, can't live without 'em, Information Systems Security, 4th International Conference, ICISS, 2008. ,
Static information flow analysis with handling of implicit flows and a study on effects of implicit flows vs explicit flows, 14th European Conference on Software Maintenance and Reengineering, 2010. ,
Adaptive restart and cegar-based solver for inverting cryptographic hash functions, 2017. ,
Symbolic deobfuscation: from virtualized code back to the original, 5th Conference on Detection of Intrusions and malware & Vulnerability Assessment (DIMVA), 2018. ,
Triton : Framework d'exÃ?cution concolique, SSTIC, 2015. ,
Protecting software through obfuscation: Can it keep pace with progress in code analysis?, ACM Comput. Surv, vol.49, issue.1, 2016. ,
All you ever wanted to know about dynamic taint analysis and forward symbolic execution (but might have been afraid to ask), Symposium on Security and Privacy, 2010. ,
The geometry of innocent flesh on the bone: return-into-libc without function calls (on the x86), Conference on Computer and Communications Security, CCS, 2007. ,
Impeding malware analysis using conditional code obfuscation, Network and Distributed System Security Symposium, NDSS, 2008. ,
SOK: (state of) the art of war: Offensive techniques in binary analysis, IEEE Symposium on Security and Privacy, 2016. ,
An improved algorithm for slicing machine code, Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2016 ,
Probabilistic obfuscation through covert channels, European Symposium on Security and Privacy, 2018. ,
SMT solvers in software security, 6th USENIX Workshop on Offensive Technologies, WOOT'12, 2012. ,
Software tamper resistance: Obstructing static analysis of programs, 2000. ,
Protection of software-based survivability mechanisms, International Conference on Dependable Systems and Networks (DSN), 2001. ,
Linear obfuscation to combat symbolic execution, European Symposium on Research in Computer Security, ESORICS, 2011. ,
Symbolic execution of obfuscated code, Conference on Computer and Communications Security (CCS), 2015. ,
A generic approach to automatic deobfuscation of executable code, Symposium on Security and Privacy, 2015. ,
Information hiding in software with mixed boolean-arithmetic transforms, Information Security Applications, WISA, 2007. ,