Author:
Liem Clifford,Gu Yuan Xiang,Johnson Harold
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Simplifying Mixed Boolean-Arithmetic Obfuscation by Program Synthesis and Term Rewriting;Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security;2023-11-15
2. Synthesizing MILP Constraints for Efficient and Robust Optimization;Proceedings of the ACM on Programming Languages;2023-06-06
3. An In-Place Simplification on Mixed Boolean-Arithmetic Expressions;Security and Communication Networks;2022-09-14
4. Boosting SMT solver performance on mixed-bitwise-arithmetic expressions;Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2021-06-18
5. Software Obfuscation with Non-Linear Mixed Boolean-Arithmetic Expressions;Information and Communications Security;2021