B
Binbin Liu
Researcher at University of Science and Technology of China
Publications - 6
Citations - 26
Binbin Liu is an academic researcher from University of Science and Technology of China. The author has contributed to research in topics: Bitwise operation & Expression (mathematics). The author has an hindex of 2, co-authored 5 publications receiving 6 citations.
Papers
More filters
Proceedings ArticleDOI
Boosting SMT solver performance on mixed-bitwise-arithmetic expressions
TL;DR: In this paper, a semantic-preserving transformation is proposed to reduce the mixing degree of bitwise and arithmetic operations for solving mixed-bitwise-Arithmetic obfuscation problems.
Proceedings ArticleDOI
NeuReduce: Reducing Mixed Boolean-Arithmetic Expressions by Recurrent Neural Network.
TL;DR: This paper proposes NeuReduce, a string to string method based on neural networks to automatically learn and reduce complex MBA expressions, and develops a comprehensive MBA dataset, including one million diversified MBA expression samples and corresponding simplified forms.
Book ChapterDOI
Software Obfuscation with Non-Linear Mixed Boolean-Arithmetic Expressions.
TL;DR: In this paper, the authors proposed a deobfuscation technique for mixed Boolean arithmetic expressions, which combines bitwise operations (e.g., AND, OR, and NOT) and arithmetic operations (i.e., ADD and IMUL).
Proceedings Article
MBA-Blast: Unveiling and Simplifying Mixed Boolean-Arithmetic Obfuscation
Journal ArticleDOI
An In-Place Simplification on Mixed Boolean-Arithmetic Expressions
TL;DR: This study proposes a novel method to simplify mixed Boolean-arithmetic expression expressions without any precomputed requirements, named MBA-Flatten, and implements the proposed scheme as an open-source tool and evaluation results show that MBA- Flatten is a general and effective MBA simplification method.