Image de couverture de livre

Simplifying MBA Expression Using E-Graphs

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Lee, Seoksu, Jeon, Hyeongchang, Cho, Eun-Sun
Format:	Preprint
Publié:	2024
Sujets:	Cryptography and Security
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Scrambler: Mixed Boolean Arithmetic Obfuscation Tool Using E-graph and Equality Expansion
par: Lee, Seoksu, et autres
Publié: (2026)

Static Detection of Core Structures in Tigress Virtualization-Based Obfuscation Using an LLVM Pass
par: An, Sangjun, et autres
Publié: (2026)

A Core-Structure-Based Automated Analysis Tool for Commercial Virtualization Obfuscation Deobfuscation
par: Kim, Wanju, et autres
Publié: (2026)

Towards LLM-Based Analysis of Virtualization-Obfuscated Code through Automated Data Generation
par: An, Sangjun, et autres
Publié: (2026)

gMBA: Expression Semantic Guided Mixed Boolean-Arithmetic Deobfuscation Using Transformer Architectures
par: Noh, Youjeong, et autres
Publié: (2025)

Privacy Amplification via Shuffling: Unified, Simplified, and Tightened
par: Wang, Shaowei, et autres
Publié: (2023)

Software-Defined Cryptography: A Design Feature of Cryptographic Agility
par: Cho, Jihoon, et autres
Publié: (2024)

Efficient Phishing URL Detection Using Graph-based Machine Learning and Loopy Belief Propagation
par: Guo, Wenye, et autres
Publié: (2025)

aiXamine: Simplified LLM Safety and Security
par: Deniz, Fatih, et autres
Publié: (2025)

Few-Shot Truly Benign DPO Attack for Jailbreaking LLMs
par: Yoon, Sangyeon, et autres
Publié: (2026)

APINT: A Full-Stack Framework for Acceleration of Privacy-Preserving Inference of Transformers based on Garbled Circuits
par: Cho, Hyunjun, et autres
Publié: (2025)

Unlink to Unlearn: Simplifying Edge Unlearning in GNNs
par: Tan, Jiajun, et autres
Publié: (2024)

Simplified and Secure MCP Gateways for Enterprise AI Integration
par: Brett, Ivo
Publié: (2025)

What is the AGI in Offensive Security ?
par: Cho, Youngwoong
Publié: (2026)

Towards the Systematic Testing of Regular Expression Engines
par: Çakar, Berk, et autres
Publié: (2026)

Deobfuscation of Semi-Linear Mixed Boolean-Arithmetic Expressions
par: Skees, Colton
Publié: (2024)

Equilibrium SAT based PQC: New aegis against quantum computing
par: Cho, Keum-Bae
Publié: (2025)

TT-SEAL: TTD-Aware Selective Encryption for Adversarially-Robust and Low-Latency Edge AI
par: Min, Kyeongpil, et autres
Publié: (2026)

Explainable Android Malware Detection and Malicious Code Localization Using Graph Attention
par: Ipek, Merve Cigdem, et autres
Publié: (2025)

Decentralized Entropy-Driven Ransomware Detection Using Autonomous Neural Graph Embeddings
par: Starchenko, Ekaterina, et autres
Publié: (2025)

Cut Tracing with E-Graphs for Boolean FHE Circuit Synthesis
par: de Castelnau, Julien, et autres
Publié: (2025)

DiSK: Differentially Private Optimizer with Simplified Kalman Filter for Noise Reduction
par: Zhang, Xinwei, et autres
Publié: (2024)

FreeMOCA: Memory-Free Continual Learning for Malicious Code Analysis
par: Asadi, Zahra, et autres
Publié: (2026)

On the Robustness of Graph Reduction Against GNN Backdoor
par: Zhu, Yuxuan, et autres
Publié: (2024)

Unmasking Fake Careers: Detecting Machine-Generated Career Trajectories via Multi-layer Heterogeneous Graphs
par: Yamashita, Michiharu, et autres
Publié: (2025)

Schema-Agnostic Knowledge Graph Construction via Hybrid Ontology Discovery for Cyber Threat Intelligence
par: Kim, Seonwoo, et autres
Publié: (2026)

Less is More: Simplifying Network Traffic Classification Leveraging RFCs
par: Wickramasinghe, Nimesha, et autres
Publié: (2025)

A Decade-long Landscape of Advanced Persistent Threats: Longitudinal Analysis and Global Trends
par: Yuldoshkhujaev, Shakhzod, et autres
Publié: (2025)

E-SAGE: Explainability-based Defense Against Backdoor Attacks on Graph Neural Networks
par: Yuan, Dingqiang, et autres
Publié: (2024)

URL2Graph++: Unified Semantic-Structural-Character Learning for Malicious URL Detection
par: Tian, Ye, et autres
Publié: (2025)

Cybersecurity Threat Hunting and Vulnerability Analysis Using a Neo4j Graph Database of Open Source Intelligence
par: Pelofske, Elijah, et autres
Publié: (2023)

TimeTravel: Real-time Timing Drift Attack on System Time Using Acoustic Waves
par: Liu, Jianshuo, et autres
Publié: (2024)

PSGraph: Differentially Private Streaming Graph Synthesis by Considering Temporal Dynamics
par: Yuan, Quan, et autres
Publié: (2024)

GraphTheft: Quantifying Privacy Risks in Graph Prompt Learning
par: Zhu, Jiani, et autres
Publié: (2024)

BLADE: Behavior-Level Anomaly Detection Using Network Traffic in Web Services
par: Dong, Zhibo, et autres
Publié: (2025)

KGBERT4Eth: A Feature-Complete Transformer Powered by Knowledge Graph for Multi-Task Ethereum Fraud Detection
par: Jia, Yifan, et autres
Publié: (2025)

Exploring Traffic Simulation and Cybersecurity Strategies Using Large Language Models
par: Gao, Lu, et autres
Publié: (2025)

Provably Robust Explainable Graph Neural Networks against Graph Perturbation Attacks
par: Li, Jiate, et autres
Publié: (2025)

On the Security and Design of Cryptosystems Using Gabidulin-Kronecker Product Codes
par: Lau, Terry Shue Chien, et autres
Publié: (2024)

Are You Using Reliable Graph Prompts? Trojan Prompt Attacks on Graph Neural Networks
par: Lin, Minhua, et autres
Publié: (2024)