Cover Image

gMBA: Expression Semantic Guided Mixed Boolean-Arithmetic Deobfuscation Using Transformer Architectures

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Noh, Youjeong, Paik, Joon-Young, Kwon, Jingun, Cho, Eun-Sun
Format:	Preprint
Published:	2025
Subjects:	Cryptography and Security Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Deobfuscation of Semi-Linear Mixed Boolean-Arithmetic Expressions
by: Skees, Colton
Published: (2024)

Simplifying MBA Expression Using E-Graphs
by: Lee, Seoksu, et al.
Published: (2024)

Scrambler: Mixed Boolean Arithmetic Obfuscation Tool Using E-graph and Equality Expansion
by: Lee, Seoksu, et al.
Published: (2026)

A Core-Structure-Based Automated Analysis Tool for Commercial Virtualization Obfuscation Deobfuscation
by: Kim, Wanju, et al.
Published: (2026)

Pushan: Trace-Free Deobfuscation of Virtualization-Obfuscated Binaries
by: Sudhir, Ashwin, et al.
Published: (2026)

Assessing LLMs in Malicious Code Deobfuscation of Real-world Malware Campaigns
by: Patsakis, Constantinos, et al.
Published: (2024)

Static Detection of Core Structures in Tigress Virtualization-Based Obfuscation Using an LLVM Pass
by: An, Sangjun, et al.
Published: (2026)

JsDeObsBench: Measuring and Benchmarking LLMs for JavaScript Deobfuscation
by: Chen, Guoqiang, et al.
Published: (2025)

PowerPeeler: A Precise and General Dynamic Deobfuscation Method for PowerShell Scripts
by: Li, Ruijie, et al.
Published: (2024)

From Obfuscated to Obvious: A Comprehensive JavaScript Deobfuscation Tool for Security Analysis
by: Zhou, Dongchao, et al.
Published: (2025)

Use of Simple Arithmetic Operations to Construct Efficiently Implementable Boolean functions Possessing High Nonlinearity and Good Resistance to Algebraic Attacks
by: Carlet, Claude, et al.
Published: (2024)

Towards LLM-Based Analysis of Virtualization-Obfuscated Code through Automated Data Generation
by: An, Sangjun, et al.
Published: (2026)

Poisoned Identifiers Survive LLM Deobfuscation: A Case Study on Claude Opus 4.6
by: Lorenzo, Luis Guzmán
Published: (2026)

CASCADE: LLM-Powered JavaScript Deobfuscator at Google
by: Jiang, Shan, et al.
Published: (2025)

Using Modular Arithmetic Optimized Neural Networks To Crack Affine Cryptographic Schemes Efficiently
by: Stojanović, Vanja, et al.
Published: (2025)

FRIDAY: Mitigating Unintentional Facial Identity in Deepfake Detectors Guided by Facial Recognizers
by: Kim, Younhun, et al.
Published: (2024)

Securing DRAM at Scale: ARFM-Driven Row Hammer Defense with Unveiling the Threat of Short tRC Patterns
by: Joo, Nogeun, et al.
Published: (2025)

SBN Explorer: An Empirical Study of Cryptographic Boolean Networks
by: Valence, Arnaud
Published: (2026)

Bidirectional Biometric Authentication Using Transciphering and (T)FHE
by: Yoo, Joon Soo, et al.
Published: (2025)

Balance-Based Cryptography: Physically Computing Any Boolean Function
by: Ruangwises, Suthee
Published: (2025)

Cut Tracing with E-Graphs for Boolean FHE Circuit Synthesis
by: de Castelnau, Julien, et al.
Published: (2025)

SoK: Trusting Self-Sovereign Identity
by: Krul, Evan, et al.
Published: (2024)

AuthOr: Lower Cost Authenticity-Oriented Garbling for Arbitrary Boolean Circuits
by: Biçer, Osman, et al.
Published: (2025)

Formal Privacy Guarantees with Invariant Statistics
by: Cho, Young Hyun, et al.
Published: (2024)

Efficient Arithmetic-and-Comparison Homomorphic Encryption with Space Switching
by: Wahyudi, Erwin Eko, et al.
Published: (2026)

APINT: A Full-Stack Framework for Acceleration of Privacy-Preserving Inference of Transformers based on Garbled Circuits
by: Cho, Hyunjun, et al.
Published: (2025)

Evaluating the Indistinguishability of Logic Locking using K-Cut Enumeration and Boolean Matching
by: Cruz, Jonathan, et al.
Published: (2026)

Mathematical Model of Strong Physically Unclonable Functions Based on Hybrid Boolean Networks
by: Charlot, Noeloikeau, et al.
Published: (2022)

Variables Ordering Optimization in Boolean Characteristic Set Method Using Simulated Annealing and Machine Learning-based Time Prediction
by: Luo, Minzhong, et al.
Published: (2025)

Privacy-Preserving Dynamic Assortment Selection
by: Cho, Young Hyun, et al.
Published: (2024)

BRASP: Boolean Range Queries over Encrypted Spatial Data with Access and Search Pattern Privacy
by: Zhang, Jing, et al.
Published: (2026)

Constructions of Efficiently Implementable Boolean Functions with Provable Nonlinearity/Resiliency/Algebraic Immunity Trade-Offs
by: Sarkar, Palash
Published: (2025)

Testing a cellular automata construction method to obtain 9-variable cryptographic Boolean functions
by: Prévost, Thomas, et al.
Published: (2025)

Shuffling for Semantic Secrecy
by: Chen, Fupei, et al.
Published: (2025)

An Alignment Between the CRA's Essential Requirements and the ATT&CK's Mitigations
by: Ruohonen, Jukka, et al.
Published: (2025)

A Mapping Analysis of Requirements Between the CRA and the GDPR
by: Ruohonen, Jukka, et al.
Published: (2025)

G-Fuzz: A Directed Fuzzing Framework for gVisor
by: Li, Yuwei, et al.
Published: (2024)

ReDASH: Fast and efficient Scaling in Arithmetic Garbled Circuits for Secure Outsourced Inference
by: Maurer, Felix, et al.
Published: (2025)

Zero Trust Security Model Implementation in Microservices Architectures Using Identity Federation
by: Rajendran, Rethish Nair, et al.
Published: (2025)

Fresh Masking Makes NTT Pipelines Composable: Machine-Checked Proofs for Arithmetic Masking in PQC Hardware
by: Iskander, Ray, et al.
Published: (2026)