-
-
[原创] 线性MBA杂谈
-
发表于: 2023-2-1 09:51
-
例子：
如果存在
那么可以移项
则运算x-y即可由右边的运算混淆代替。
更多的例子:
- 什么是BA(Boolean-Arithmetic)
n 为一个正整数，且B={0，1}，那么下面这个代数系统可以成为BA
其中<<,>>代表着左右移位，·代表着乘法，s代表着有符号数的运算。 - 什么是线性MBA Expression
- 1.使用z3等约束求解器进行化简，时间非常长且效果不尽人意
- 2.mba-blast工具(最新论文 MBA-Blast: Unveiling and Simplifying Mixed
Boolean-Arithmetic Obfuscation)
