Results 1-2 of 2 (Search time: 0.001 seconds).
Issue Date | Title | Author(s) |
---|---|---|
2023-06-06 | Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpretation | 이우석 |
2023-11-21 | Simplifying Mixed Boolean-Arithmetic Obfuscation by Program Synthesis and Term Rewriting | 이우석 |