Showing results 6 to 8 of 8
Issue Date | Title | Author(s) |
---|---|---|
2023-11-21 | Simplifying Mixed Boolean-Arithmetic Obfuscation by Program Synthesis and Term Rewriting | 이우석 |
2017-09 | Sound Non-Statistical Clustering of Static Analysis Alarms | 이우석 |
2018-11 | Syntax-guided synthesis of Datalog programs | 이우석 |