首页
社区
课程
招聘
[原创] 线性MBA杂谈
发表于: 2023-2-1 09:51 10029

[原创] 线性MBA杂谈

2023-2-1 09:51
10029

例子:
如果存在

那么可以移项

则运算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)

[招生]科锐逆向工程师培训(2024年11月15日实地,远程教学同时开班, 第51期)

收藏
免费 4
支持
分享
最新回复 (2)
雪    币: 15
活跃值: (1853)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
2
补充下,可以结合这个看看,虽然不是很详细但给出了不少化简的方法和paper:https://hex-rays.com/blog/deobfuscation-with-goomba/
2023-2-1 11:26
0
雪    币: 0
活跃值: (48)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
3
USENIX21-MBA-Blast Unveiling and Simplifying Mixed Boolean-Arithmetic Obfuscation
2024-9-3 09:53
0
游客
登录 | 注册 方可回帖
返回
//