💾 Binary Analysis - amy.throwaway.lovely · Scour

Cross-Lingual Jailbreak Detection via Semantic Codebooks 🧩Intermediate Representation

Reproducible Automated Program Repair Is Hard -- Experiences With the Defects4J Dataset ⚡JIT Exploitation

SWE-QA: A Dataset and Benchmark for Complex Code Understanding 🔀Concolic Execution

LLM-Guided Issue Generation from Uncovered Code Segments ⚡JIT Exploitation

Process-Mining of Hypertraces: Enabling Scalable Formal Security Verification of (Automotive) Network Architectures ✅Formal Verification

SWE-Edit: Rethinking Code Editing for Efficient SWE-Agent ⚡JIT Exploitation

AutoPyVerifier: Learning Compact Executable Verifiers for Large Language Model Outputs ✅Formal Verification

Identifying and Characterizing Semantic Clones of Solidity Functions 🔀Concolic Execution

Bug-Report-Driven Fault Localization: Industrial Benchmarking and Lesson Learned at ABB Robotics ⚡JIT Exploitation

MCP Pitfall Lab: Exposing Developer Pitfalls in MCP Tool Server Security under Multi-Vector Attacks ⚡JIT Exploitation

AsmRAG: LLM-Driven Malware Detection by Retrieving Functionally Similar Assembly Code 🔍Memory Forensics

Breaking Bad: Interpretability-Based Safety Audits of State-of-the-Art LLMs ✅Formal Verification

RANalyzer: Automated Continuous RAN Software Evaluation and Regression Analysis 📟Firmware Analysis

Adaptive Prompt Embedding Optimization for LLM Jailbreaking 📟Firmware Analysis

From If-Statements to ML Pipelines: Revisiting Bias in Code-Generation ⚙️Compilers

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

A Systematic Approach for Large Language Models Debugging 🔀Concolic Execution

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

Layerwise Convergence Fingerprints for Runtime Misbehavior Detection in Large Language Models 🎲Fuzzing

FlyCatcher: Neural Inference of Runtime Checkers from Tests 🔀Concolic Execution

Log in to enable infinite scrolling