Image de couverture de livre

Erlang Binary and Source Code Obfuscation

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Morse, Gregory, Kozsik, Tamás
Format:	Preprint
Publié:	2026
Sujets:	Programming Languages Cryptography and Security 68N20 (Primary) 68M25, 68N19 (Secondary) D.2.7; D.3.4; D.4.6
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Tamper-Proofing with Self-Modifying Code
par: Morse, Gregory, et autres
Publié: (2026)

Emulation-Completeness of Programming Languages
par: Morse, Gregory, et autres
Publié: (2026)

Fully Dynamic Maintenance of Loop Nesting Forests in Reducible Flow Graphs
par: Morse, Gregory, et autres
Publié: (2026)

Blind Gods and Broken Screens: Architecting a Secure, Intent-Centric Mobile Agent Operating System
par: Zou, Zhenhua, et autres
Publié: (2026)

User-space library rootkits revisited: Are user-space detection mechanisms futile?
par: Soriano-Salvador, Enrique, et autres
Publié: (2025)

Paths Not Taken: A Secure Computing Tutorial
par: Boebert, William Earl
Publié: (2025)

A TEE-Based Architecture for Confidential and Dependable Process Attestation in Authorship Verification
par: Condrey, David
Publié: (2026)

Keyed Chaotic Dynamics for Privacy-Preserving Neural Inference
par: Fagan, Peter David
Publié: (2025)

Recovering WPA-3 Network Password by Bypassing the Simultaneous Authentication of Equals Handshake using Social Engineering Captive Portal
par: Chadee, Kyle, et autres
Publié: (2024)

VeriFence: Lightweight and Precise Spectre Defenses for Untrusted Linux Kernel Extensions
par: Gerhorst, Luis, et autres
Publié: (2024)

Technical Report for the Forgotten-by-Design Project: Targeted Obfuscation for Machine Learning
par: Brännvall, Rickard, et autres
Publié: (2025)

cozy: Comparative Symbolic Execution for Binary Programs
par: Helbling, Caleb, et autres
Publié: (2025)

Large Language Models in Software Documentation and Modeling: A Literature Review and Findings
par: Radosky, Lukas, et autres
Publié: (2026)

From CRUD to Autonomous Agents: Formal Validation and Zero-Trust Security for Semantic Gateways in AI-Native Enterprise Systems
par: Peyrano, Ignacio
Publié: (2026)

SCARA: A Semantics-Constrained Autonomous Remediation Agent for Opaque Industrial Software Vulnerabilities
par: Ning, Bowei, et autres
Publié: (2026)

Learning Program Behavioral Models from Synthesized Input-Output Pairs
par: Mammadov, Tural, et autres
Publié: (2024)

Explainable Attention-Based LSTM Framework for Early Detection of AI-Assisted Ransomware via File System Behavioral Analysis
par: Nayak, Prabhudarshi, et autres
Publié: (2026)

Operationalizing Cybersecurity Governance for Mitigation Planning with Attack-Path Modeling and Reinforcement Learning
par: Huff, Philip, et autres
Publié: (2026)

OpCode-Based Malware Classification Using Machine Learning and Deep Learning Techniques
par: Saini, Varij, et autres
Publié: (2025)

High-Performance Generation of Constrained Inputs
par: Crump, Addison, et autres
Publié: (2025)

When the Agent Is the Adversary: Architectural Requirements for Agentic AI Containment After the April 2026 Frontier Model Escape
par: Mitchell, Richard Joseph
Publié: (2026)

The Impact of the Russia-Ukraine Conflict on the Cloud Computing Risk Landscape
par: Malikussaid, et autres
Publié: (2025)

Detecting and Mitigating SQL Injection Vulnerabilities in Web Applications
par: Neupane, Sagar
Publié: (2025)

DRS-OSS: Practical Diff Risk Scoring with LLMs
par: Sayedsalehi, Ali, et autres
Publié: (2025)

Finding a Crab in the C: Assured Translation via Comparative Symbolic Execution
par: Helbling, Caleb, et autres
Publié: (2026)

Hallucination Detection in Large Language Models with Metamorphic Relations
par: Yang, Borui, et autres
Publié: (2025)

CrossTL: A Universal Programming Language Translator with Unified Intermediate Representation
par: Niketan, Nripesh, et autres
Publié: (2025)

OWLOOP: Interfaces for Mapping OWL Axioms into OOP Hierarchies
par: Buoncompagni, Luca, et autres
Publié: (2024)

Formal Analysis and Supply Chain Security for Agentic AI Skills
par: Bhardwaj, Varun Pratap
Publié: (2026)

Idempotent Slices with Applications to Code-Size Reduction
par: de Azevedo, Rafael Alvarenga, et autres
Publié: (2026)

Multicore DRAM Bank-& Row-Conflict Bomb for Timing Attacks in Mixed-Criticality Systems
par: Savino, Antonio, et autres
Publié: (2024)

Revisiting Third-Party Library Detection: A Ground Truth Dataset and Its Implications Across Security Tasks
par: Gu, Jintao, et autres
Publié: (2025)

Vectorization of Verilog Designs and its Effects on Verification and Synthesis
par: Guimarães, Maria Fernanda Oliveira, et autres
Publié: (2026)

Explore as a Storm, Exploit as a Raindrop: On the Benefit of Fine-Tuning Kernel Schedulers with Coordinate Descent
par: Canesche, Michael, et autres
Publié: (2024)

CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking
par: Oza, Neeva, et autres
Publié: (2025)

Bottom-Up Generation of Verilog Designs for Testing EDA Tools
par: Vieira, João Victor Amorim, et autres
Publié: (2025)

React-ing to Grace Hopper 200: Five Open-Weights Coding Models, One React Native App, One GH200, One Weekend
par: Potanin, Alex
Publié: (2026)

From Attack Descriptions to Vulnerabilities: A Sentence Transformer-Based Approach
par: Othman, Refat, et autres
Publié: (2025)

CoderUJB: An Executable and Unified Java Benchmark for Practical Programming Scenarios
par: Zeng, Zhengran, et autres
Publié: (2024)

Predicting Known Vulnerabilities from Attack Descriptions Using Sentence Transformers
par: Othman, Refat
Publié: (2026)