Information hiding in software with mixed boolean-arithmetic transforms

被引:0
|
作者
Zhou, Yongxin
Main, Alec
Gu, Yuan X.
Johnson, Harold
机构
来源
关键词
D O I
暂无
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
As increasingly powerful software analysis and attack tools arise, we need increasingly potent software protections. We generate an unlimited supply of obscuring transforms via mixed-mode computation over Boolean-arithmetic (MBA) algebras corresponding to real-world functions and data. Such transforms resist reverse engineering with existing advanced tools and create NP-hard problems for the attacker. We discuss broad uses and concrete applications to AACs key hiding and software watermarking.
引用
收藏
页码:61 / 75
页数:15
相关论文
共 31 条
  • [1] On Simplifying Mixed Boolean-Arithmetic Expressions
    Kosolapov, Yu. V.
    AUTOMATIC CONTROL AND COMPUTER SCIENCES, 2024, 58 (07) : 836 - 852
  • [2] Software Obfuscation with Non-Linear Mixed Boolean-Arithmetic Expressions
    Liu, Binbin
    Feng, Weijie
    Zheng, Qilong
    Li, Jing
    Xu, Dongpeng
    INFORMATION AND COMMUNICATIONS SECURITY (ICICS 2021), PT I, 2021, 12918 : 276 - 292
  • [3] Simplification of General Mixed Boolean-Arithmetic Expressions: GAMBA
    Reichenwallner, Benjamin
    Meerwald-Stadler, Peter
    2023 IEEE EUROPEAN SYMPOSIUM ON SECURITY AND PRIVACY WORKSHOPS, EUROS&PW, 2023, : 427 - 438
  • [4] An In-Place Simplification on Mixed Boolean-Arithmetic Expressions
    Liu, Binbin
    Zheng, Qilong
    Li, Jing
    Xu, Dongpeng
    SECURITY AND COMMUNICATION NETWORKS, 2022, 2022
  • [5] Boolean-Arithmetic Equations: Acquisition and Uses
    Gindullin, R.
    Beldiceanu, N.
    Ngouonou, J. Cheukam
    Douence, R.
    Quimper, C-G
    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
    Liu, Binbin
    Shen, Junfu
    Ming, Jiang
    Zheng, Qilong
    Li, Jing
    Xu, Dongpeng
    PROCEEDINGS OF THE 30TH USENIX SECURITY SYMPOSIUM, 2021, : 1701 - 1718
  • [7] Formal Verification of a Program Obfuscation Based on Mixed Boolean-Arithmetic Expressions
    Blazy, Sandrine
    Hutin, Remi
    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
    Lee, Jaehyung
    Lee, Woosuk
    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
    Feng, Weijie
    Liu, Binbin
    Xu, Dongpeng
    Zheng, Qilong
    Xu, Yun
    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
    Wang, Sichun
    2024 IEEE CANADIAN CONFERENCE ON ELECTRICAL AND COMPUTER ENGINEERING, CCECE 2024, 2024, : 405 - 411