GPU-Accelerated Synthesis of Mixed-Boolean Arithmetic: Beyond Caching
arXiv:2605.08243v1 Announce Type: cross
Abstract: Synthesizing Mixed-Boolean Arithmetic (MBA) expressions from input-output examples is central to program deobfuscation and also useful for compiler optimization, reverse engineering, and cryptanalysis….