Year | Title |
---|---|
2022 | An In-Place Simplification on Mixed Boolean-Arithmetic Expressions.
Security and Communication Networks.
2022:1-14.
2022
|
2019 | Memory access integrity: detecting fine-grained memory access errors in binary code.
CYBERSECURITY.
2.
2019
|
2017 | MalwareHunt: semantics-based malware diffing speedup by normalized basic block memoization.
Journal of Computer Virology and Hacking Techniques.
13:167-178.
2017
|
Year | Title |
---|---|
2024 | Feature-driven Approximate Computing for Wearable Health-Monitoring Systems.
Proceedings of the Great Lakes Symposium on VLSI 2024.
712-717.
2024
|
2021 | Boosting SMT Solver Performance on Mixed-Bitwise-Arithmetic Expressions.
PROCEEDINGS OF THE 42ND ACM SIGPLAN INTERNATIONAL CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '21).
651-664.
2021
|
2021 | GraphMR: Graph Neural Network for Mathematical Reasoning.
Proceedings of the 2021 Conference on Empirical Methods in Natural Language Processing.
3395-3404.
2021
|
2020 | VAHunt: Warding Off New Repackaged Android Malware in App-Virtualization's Clothing.
Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security.
2020
|
2020 | Security Threats and Countermeasures for Approximate Arithmetic Computing.
2020 25th Asia and South Pacific Design Automation Conference (ASP-DAC).
259-264.
2020
|
2019 | MetaHunt.
Proceedings of the 3rd ACM Workshop on Software Protection.
15-26.
2019
|
2018 | VMHunt.
Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security - CCS '18.
442-458.
2018
|
2017 | Cryptographic Function Detection in Obfuscated Binaries via Bit-Precise Symbolic Loop Mapping.
Proceedings of the 38th IEEE Symposium on Security and Privacy.
921-937.
2017
|
2015 | LOOP.
Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security - CCS '15.
2015
|
2012 | An Address-Based Compiling Optimization for FFT on Multi-cluster DSP.
2012 Fifth International Symposium on Parallel Architectures, Algorithms and Programming.
60-64.
2012
|
BinSim: Trace-based Semantic Binary Diffing via System Call Sliced Segment Equivalence Checking.
Proceedings of the 26th USENIX Security Symposium.
|