Cover Image

Deobfuscation of Semi-Linear Mixed Boolean-Arithmetic Expressions

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Skees, Colton
Format:	Preprint
Published:	2024
Subjects:	Cryptography and Security
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

gMBA: Expression Semantic Guided Mixed Boolean-Arithmetic Deobfuscation Using Transformer Architectures
by: Noh, Youjeong, et al.
Published: (2025)

Scrambler: Mixed Boolean Arithmetic Obfuscation Tool Using E-graph and Equality Expansion
by: Lee, Seoksu, 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)

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

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

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)

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)

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

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)

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

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

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)

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)

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

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

Semi-Compressed CRYSTALS-Kyber
by: Liu, Shuiyin, et al.
Published: (2024)

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

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

A New Representation of Binary Sequences by means of Boolean Functions
by: Cardell, S. D., et al.
Published: (2025)

MixGAN: A Hybrid Semi-Supervised and Generative Approach for DDoS Detection in Cloud-Integrated IoT Networks
by: Wu, Tongxi, et al.
Published: (2025)

Degree is Important: On Evolving Homogeneous Boolean Functions
by: Carlet, Claude, et al.
Published: (2025)

Attacking AI Accelerators by Leveraging Arithmetic Properties of Addition
by: Heidary, Masoud, et al.
Published: (2026)

Silent Until Sparse: Backdoor Attacks on Semi-Structured Sparsity
by: Guo, Wei, et al.
Published: (2025)

Semi-Supervised Learning for Anomaly Detection in Blockchain-based Supply Chains
by: Son, Do Hai, et al.
Published: (2024)

Phantom: Untargeted Poisoning Attacks on Semi-Supervised Learning (Full Version)
by: Knauer, Jonathan, et al.
Published: (2024)

Construction and Evaluation of LLM-based agents for Semi-Autonomous penetration testing
by: Kobayashi, Masaya, et al.
Published: (2025)

A Study of Semi-Fungible Token based Wi-Fi Access Control
by: Ye, Litao, et al.
Published: (2025)

Deanonymizing Bitcoin Transactions via Network Traffic Analysis with Semi-supervised Learning
by: Zhang, Shihan, et al.
Published: (2026)

Monotone but Exciting: On Evolving Monotone Boolean Functions with High Nonlinearity
by: Carlet, Claude, et al.
Published: (2026)

IDEM Enough? Evolving Highly Nonlinear Idempotent Boolean Functions
by: Carlet, Claude, et al.
Published: (2026)

NegaBent, No Regrets: Evolving Spectrally Flat Boolean Functions
by: Carlet, Claude, et al.
Published: (2026)

Fast Homomorphic Linear Algebra with BLAS
by: Bae, Youngjin, et al.
Published: (2025)