🔄 Reverse Engineering - amy.throwaway.lovely · Scour

A Metamorphic Testing Approach to Diagnosing Memorization in LLM-Based Program Repair ⚡JIT Exploitation

Constraint-Guided Multi-Agent Decompilation for Executable Binary Recovery 📜Decompilation

AlphaJet: Automated Conceptual Aircraft Synthesis via Disentangled Generative Priors and Topology-Preserving Evolutionary Search 🎲Fuzzing

3D-LENS: A 3D Lifting-based Elevated Novel-view Synthesis method for Single-View Aerial-Ground Re-Identification 🧩Intermediate Representation

Empowering Autonomous Debugging Agents with Efficient Dynamic Analysis ⚡JIT Exploitation

Inferring Equivalence Classes from Legacy Undocumented Embedded Binaries for ISO 26262-Compliant Testing 💾Binary Analysis

Exploring the Efficiency of 3D-Stacked AI Chip Architecture for LLM Inference with Voxel 🧩Intermediate Representation

AsmRAG: LLM-Driven Malware Detection by Retrieving Functionally Similar Assembly Code 💾Binary Analysis

Topology-Aware Representation Alignment for Semi-Supervised Vision-Language Learning 🧩Intermediate Representation

Faithful Autoformalization via Roundtrip Verification and Repair ✅Formal Verification

Residual Risk Analysis in Benign Code: How Far Are We? A Multi-Model Semantic and Structural Similarity Approach ⚡JIT Exploitation

A Systematic Approach for Large Language Models Debugging 🔀Concolic Execution

Cheeger--Hodge Contrastive Learning for Structurally Robust Graph Representation Learning 🧩Intermediate Representation

DryRUN: On the Role of Public Tests in LLM-Driven Code Generation ⚡JIT Exploitation

Remote Concolic Multiverse Debugging -- Extended Version with Additional Appendices ⛓️ROP Chains

Do E-Scooter Speed Governance Policies Reduce Harsh Acceleration and Deceleration? Evidence from 19.5 Million Trips Around a Regulatory Ban 🎲Fuzzing

Self Knowledge Re-expression: A Fully Local Method for Adapting LLMs to Tasks Using Intrinsic Knowledge 🧩Intermediate Representation

Evaluating LLM-Based Goal Extraction in Requirements Engineering: Prompting Strategies and Their Limitations ✅Formal Verification

MAS-SZZ: Multi-Agentic SZZ Algorithm for Vulnerability-Inducing Commit Identification 🛡️Exploit Mitigations

Embedded Rust or C Firmware? Lessons from an Industrial Microcontroller Use Case with Ariel OS 📟Firmware Analysis

Log in to enable infinite scrolling