[2406.10016] Deobfuscation of Semi-Linear Mixed Boolean-Arithmetic Expressions

https://arxiv.org/abs/2406.10016