共 31 条
- [2] Software Obfuscation with Non-Linear Mixed Boolean-Arithmetic Expressions INFORMATION AND COMMUNICATIONS SECURITY (ICICS 2021), PT I, 2021, 12918 : 276 - 292
- [3] Simplification of General Mixed Boolean-Arithmetic Expressions: GAMBA 2023 IEEE EUROPEAN SYMPOSIUM ON SECURITY AND PRIVACY WORKSHOPS, EUROS&PW, 2023, : 427 - 438
- [5] Boolean-Arithmetic Equations: Acquisition and Uses INTEGRATION OF CONSTRAINT PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND OPERATIONS RESEARCH, CPAIOR 2023, 2023, 13884 : 378 - 394
- [6] MBA-Blast: Unveiling and Simplifying Mixed Boolean-Arithmetic Obfuscation PROCEEDINGS OF THE 30TH USENIX SECURITY SYMPOSIUM, 2021, : 1701 - 1718
- [7] Formal Verification of a Program Obfuscation Based on Mixed Boolean-Arithmetic Expressions PROCEEDINGS OF THE 8TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS (CPP' 19), 2019, : 196 - 208
- [8] Simplifying Mixed Boolean-Arithmetic Obfuscation by Program Synthesis and Term Rewriting PROCEEDINGS OF THE 2023 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, CCS 2023, 2023, : 2351 - 2365
- [9] NeuReduce: Reducing Mixed Boolean-Arithmetic Expressions by Recurrent Neural Network FINDINGS OF THE ASSOCIATION FOR COMPUTATIONAL LINGUISTICS, EMNLP 2020, 2020, : 635 - 644
- [10] Mixed Boolean-Arithmetic (MBA) Obfuscation Using Permutation Polynomials on Modular Lipschitz Integers 2024 IEEE CANADIAN CONFERENCE ON ELECTRICAL AND COMPUTER ENGINEERING, CCECE 2024, 2024, : 405 - 411