이 저장소는 혼합 부울-산술(MBA) 난독화와 관련된 링크를 포함합니다. PR은 언제나 환영합니다.

여기에 있는 일부 자료는 MBA와 엄밀히 관련되지는 않지만, 모두 어떤 방식으로든 관련이 있습니다.

논문

• 혼합 부울-산술 변환을 이용한 소프트웨어 정보 은닉
• 혼합 부울-산술 표현식을 이용한 난독화 : 재구성, 분석 및 단순화 도구
• 혼합 부울-산술 표현식 단순화를 위한 직교 접근법의 분석 및 응용
• 프로그램 합성 기반 혼합 부울-산술 표현식 단순화를 통한 코드 역난독화
• 혼합 비트와이즈-산술 표현에 대한 SMT 솔버 성능 향상
• MBA-Blast: 혼합 부울-산술 난독화의 규명과 단순화
• 혼합 부울-산술 표현식의 인플레이스 단순화
• 비선형 혼합 부울-산술 표현식을 이용한 소프트웨어 난독화
• NeuReduce: 순환 신경망을 통한 혼합 부울-산술 표현식 축소
• 선형 혼합 부울-산술 표현식의 효율적인 역난독화
• 프로그램 합성과 항 재작성을 통한 혼합 부울-산술 난독화 단순화
• 일반 혼합 부울-산술 표현식의 단순화: GAMBA
• 반선형 혼합 부울-산술 표현식의 역난독화
• 모듈러 립시츠 정수에 대한 순열 다항식을 이용한 혼합 부울-산술(MBA) 난독화
• 혼합 부울-산술 표현식 단순화에 대하여
• 이진 순열 다항식의 역연산과 난독화 기법에의 응용
• 이진 순열 다항식의 역연산을 위한 2차 시간 알고리즘
• 동치 다변수 이진 다항식의 효율적인 정규화 축약 및 생성
• 동적 합성을 통한 악성코드 난독화 우회
• 탐색 기반 로컬 블랙박스 역난독화: 이해, 개선 및 완화
• Syntia: 난독화된 코드의 의미론 합성
• Arybo: 혼합 부울-산술 기호 표현식의 조작, 정규화 및 식별
• Loki: 자동화 공격에 대비한 코드 난독화 강화
• QSynth – 바이너리 코드 역난독화를 위한 프로그램 합성 기반 접근법
• 다항 함수 (mod m)에 대하여
• 다항 함수 (modm)
• 모듈로 2^w 순열 다항식
• 부울 함수 최소화를 위한 그뢰브너 기저

구현

단순화:

• SiMBA: 선형 혼합 부울-산술 표현식의 효율적인 역난독화
• SiMBA++: SiMBA의 C/C++ 포팅
• GAMBA: 일반 혼합 부울-산술 표현식의 단순화
• 오라클 합성과 동등성 포화의 만남
• MSiMBA: 반선형 혼합 부울-산술 표현식의 역난독화
• Simplifier: 효율적인 범용 혼합 부울-산술(MBA) 단순화기
• MBA-Blast: MBA 표현식 단순화 도구
• MBA-Solver: 혼합 비트와이즈-산술 표현에 대한 SMT 솔버 성능 향상
• Arybo: 혼합 부울-산술 기호 표현식의 조작, 정규화 및 식별
• msynth: 혼합 부울-산술(MBA) 표현식을 단순화하는 코드 역난독화 프레임워크
• QSynth: 어셈블리 명령어 역난독화에 특화된 그레이박스 합성기
• gooMBA: 혼합 부울-산술(MBA) 표현식을 단순화하는 Hex-Rays 디컴파일러 플러그인
• Syntia: 프로그램 합성 기반 역난독화 프레임워크
• Tigress Deobfuscation - 여러 Tigress 난독화 패스에 대한 문서화 및 혼합 부울-산술(MBA) 표현식 단순화 시도
• M3: 동적 분석을 이용한 혼합 부울-산술(MBA) 표현식의 효율적인 역난독화

부울 조작 및 최소화:

• 부울 함수 최소화를 위한 그뢰브너 기저
• Espresso 휴리스틱 논리 최소화기
• Kitty: C++ 부울 진리표 라이브러리
• DNF 최소화, ANF 최소화 및 최대 4변수 사전 계산 진리표의 결합
• DenseQMC: Quine-McCluskey 알고리즘의 비트 슬라이스 구현
• boolean_expression: 부울 표현식과 BDD를 위한 소형 Rust 크레이트

생성:

• MBA-Obfuscator: 비선형 혼합 부울-산술 표현식 생성 도구
• Mba: 혼합 부울-산술
• Pocket: 혼합 부울-산술 표현식 난독화기
• MBA-Generator: 혼합 부울-산술 표현식 생성기.
• Mutaben: 파이썬으로 작성된 간단한 혼합 부울-산술(MBA) 생성기
• Mixed-boolean-transform: 혼합 부울 산술 x+y 변환

블로그 게시물

• 혼합 부울-산술
• 동등성 포화를 이용한 MBA 역난독화 개선
• MBA 표현식을 단순화하려면 어떤 이론적 도구가 필요할까?
• Pocket 소개: 혼합 부울-산술 표현식 난독화기
• msynth를 이용한 실용적인 MBA 역난독화

기타 항목 (MBA와 간접적으로만 관련)

• ægraphs: 프로덕션 컴파일러의 효율적인 최적화를 위한 비순환 E-그래프
• Optir: 동등성 포화 기반 임의 제어 흐름을 위한 컴파일러 최적화기
• Z3 모험과 고속 부울 매칭
• NPN 분류 기반 고속 부울 매칭
• 논리 최소화를 위한 SAT 기반 알고리즘
• Cranelift의 명령어 선택기 DSL, ISLE: 실용화된 항 재작성