This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Fooling the analyst
A subject the papers are about. The loosest grouping, and the one to reach for last.
Software obfuscation and the automated analyses that undo it: virtualisation, opaque predicates and mixed Boolean-arithmetic against symbolic execution and simplifiers. Membership: an obfuscation, or an attack on one.
19 references
Loki: Hardening code obfuscation against automated attacks
M. Schloegel and others (2022) · 31st USENIX Security Symposium (USENIX Security 22)
MBA-Blast: Unveiling and Simplifying Mixed Boolean-Arithmetic Obfuscation
B. Liu and others (2021) · 30th USENIX Security Symposium (USENIX Security 21)
Generating Effective Software Obfuscation Sequences With Reinforcement Learning
H. Wang and others (2020) · Institute of Electrical and Electronics Engineers (IEEE)
How to kill symbolic deobfuscation for free
——, (2019) · 35th Annual Computer Security Applications Conference
SATURN - Software Deobfuscation Framework Based On LLVM
Peter Garba and others (2019) · ACM Workshop on Software Protection (SPRO) · Association for Computing Machinery
Obfuscation: where are we in anti-DSE protections?(a first attempt)
M. Ollivier and others (2019) · Proceedings of the 9th Workshop on Software Security, Protection, and Reverse Engineering
A tutorial on software obfuscation
S. Banescu and others (2018) · Advances in Computers
Software protection on the go: A large-scale empirical study on mobile app obfuscation
P. Wang and others (2018) · 2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE). IEEE
Backward-Bounded DSE: Targeting Infeasibility Questions on Obfuscated Codes
Sébastien Bardin and others (2017) · Proceedings - IEEE Symposium on Security and Privacy/Proceedings of the ... IEEE Symposium on Security and Privacy · IEEE Computer Society
Obfuscation with Mixed Boolean-Arithmetic Expressions : reconstruction, analysis and simplification tools
N. Eyrolles (2017) · Agence Bibliographique de l'Enseignement Supérieur
Maximal incompleteness as obfuscation potency
Roberto Giacobazzi and others (2017) · Formal Aspects of Computing · Springer Science+Business Media
Code obfuscation against symbolic execution attacks
S. Banescu and others (2016) · ACM
VOT4CS: A Virtualization Obfuscation Tool for C#
S. Banescu and others (2016) · Proceedings of the 2016 ACM Workshop on Software PROtection
Protecting Software through Obfuscation: Can It Keep Pace with Progress in Code Analysis?
Sebastian Schrittwieser and others (2016) · ACM Computing Surveys · Association for Computing Machinery
A Framework for Measuring Software Obfuscation Resilience against Automated Attacks
S. Banescu and others (2015) · IEEE
Loop: Logic-oriented opaque predicate detection in obfuscated binary code
J. Ming and others (2015) · Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security
Obfuscation: The Hidden Malware
P. O’Kane and others (2011) · Institute of Electrical and Electronics Engineers (IEEE)
Information Hiding in Software with Mixed Boolean-Arithmetic Transforms
Yongxin Zhou and others (2007) · Lecture notes in computer science · Springer Science+Business Media
On the (Im)possibility of Obfuscating Programs
Boaz Barak and others (2001) · Lecture notes in computer science · Springer Science+Business Media