Loki: Hardening code obfuscation against automated attacks
Software obfuscation is a crucial technology to protect intellectual property and manage
digital rights within our society. Despite its huge practical importance, both commercial and …
digital rights within our society. Despite its huge practical importance, both commercial and …
Simplifying Mixed Boolean-Arithmetic Obfuscation by Program Synthesis and Term Rewriting
Mixed Boolean Arithmetic (MBA) obfuscation transforms a program expression into an
equivalent but complex expression that is hard to understand. MBA obfuscation has been …
equivalent but complex expression that is hard to understand. MBA obfuscation has been …
Efficient deobfuscation of linear mixed boolean-arithmetic expressions
B Reichenwallner, P Meerwald-Stadler - … of the 2022 ACM Workshop on …, 2022 - dl.acm.org
Mixed Boolean-Arithmetic (MBA) expressions are frequently used for obfuscation. As they
combine arithmetic as well as Boolean operations, neither arithmetic laws nor transformation …
combine arithmetic as well as Boolean operations, neither arithmetic laws nor transformation …
Technical Report: Hardening Code Obfuscation Against Automated Attacks
Software obfuscation is a crucial technology to protect intellectual property and manage
digital rights within our society. Despite its huge practical importance, both commercial and …
digital rights within our society. Despite its huge practical importance, both commercial and …
Simplification of general mixed boolean-arithmetic expressions: Gamba
B Reichenwallner… - 2023 IEEE European …, 2023 - ieeexplore.ieee.org
Malware code often resorts to various self-protection techniques to complicate analysis. One
such technique is applying Mixed-Boolean Arithmetic (MBA) expressions as a way to create …
such technique is applying Mixed-Boolean Arithmetic (MBA) expressions as a way to create …
GraphMR: Graph neural network for mathematical reasoning
W Feng, B Liu, D Xu, Q Zheng, Y Xu - Proceedings of the 2021 …, 2021 - aclanthology.org
Mathematical reasoning aims to infer satisfiable solutions based on the given mathematics
questions. Previous natural language processing researches have proven the effectiveness …
questions. Previous natural language processing researches have proven the effectiveness …
Software obfuscation with non-linear mixed boolean-arithmetic expressions
B Liu, W Feng, Q Zheng, J Li, D Xu - … 19-21, 2021, Proceedings, Part I 23, 2021 - Springer
Abstract Mixed Boolean-Arithmetic (MBA) expression mixes bitwise operations (eg, AND,
OR, and NOT) and arithmetic operations (eg, ADD and IMUL). It enables a semantic …
OR, and NOT) and arithmetic operations (eg, ADD and IMUL). It enables a semantic …
An In‐Place Simplification on Mixed Boolean‐Arithmetic Expressions
B Liu, Q Zheng, J Li, D Xu - Security and Communication …, 2022 - Wiley Online Library
Mixed Boolean‐arithmetic (MBA) expression, which involves both bitwise operations (eg,
NOT, AND, and OR) and arithmetic operations (eg,+,−, and∗), is a software obfuscation …
NOT, AND, and OR) and arithmetic operations (eg,+,−, and∗), is a software obfuscation …
Program Synthesis-based Simplification of MBA Obfuscated Malware with Restart Strategies
Program obfuscation is one of the frequently used methods to make malware hard to
analyze. Among the various obfuscation techniques, Mixed Boolean-Arithmetic (MBA) …
analyze. Among the various obfuscation techniques, Mixed Boolean-Arithmetic (MBA) …
Synthesizing MILP Constraints for Efficient and Robust Optimization
While mixed integer linear programming (MILP) solvers are routinely used to solve a wide
range of important science and engineering problems, it remains a challenging task for end …
range of important science and engineering problems, it remains a challenging task for end …