no code implementations • 29 May 2019 • Peng Chen, Jianzhong Liu, Hao Chen
Our evaluation also uncovered the key technique contributing to Matryoshka's impressive performance: it collects only the nesting constraints that may cause the target conditional statements unreachable, which greatly simplifies the constraints that it has to solve.
Cryptography and Security