🎲 Fuzzing - amy.throwaway.lovely · Scour

FGDM: Reasoning Aware Multi-Agentic Framework for Software Bug Detection using Chain of Thought and Tree of Thought Prompting 🔀Concolic Execution

Enforcing Benign Trajectories: A Behavioral Firewall for Structured-Workflow AI Agents 🌊Dataflow Analysis

CUJBench: Benchmarking LLM-Agent on Cross-Modal Failure Diagnosis from Browser to Backend 🔀Concolic Execution

Black-Box Skill Stealing Attack from Proprietary LLM Agents: An Empirical Study 🐧Kernel Exploitation

Uncertainty-Aware Predictive Safety Filters for Probabilistic Neural Network Dynamics 🌐Protocol Fuzzing

GSAR: Typed Grounding for Hallucination Detection and Recovery in Multi-Agent LLMs 🔣Type Systems

Distill-Belief: Closed-Loop Inverse Source Localization and Characterization in Physical Fields 🔣Type Systems

A Metamorphic Testing Approach to Diagnosing Memorization in LLM-Based Program Repair 🔄Reverse Engineering

RANalyzer: Automated Continuous RAN Software Evaluation and Regression Analysis 💾Binary Analysis

Beyond Single-Agent Alignment: Preventing Context-Fragmented Violations in Multi-Agent Systems ✅Formal Verification

FairyFuse: Multiplication-Free LLM Inference on CPUs via Fused Ternary Kernels 🔀Concolic Execution

SnapGuard: Lightweight Prompt Injection Detection for Screenshot-Based Web Agents ⚡JIT Exploitation

The Vehicle May Be Sick: Denial of Diagnostic Services by Exploiting the CAN Transport Protocol 🐧Kernel Exploitation

SparKV: Overhead-Aware KV Cache Loading for Efficient On-Device LLM Inference 📟Firmware Analysis

Using Large Language Models for Black-Box Testing of FMU-Based Simulations ✅Formal Verification

TraceScope: Interactive URL Triage via Decoupled Checklist Adjudication ⛓️ROP Chains

An Empirical Evaluation of Locally Deployed LLMs for Bug Detection in Python Code ⚡JIT Exploitation

Defusing the Trigger: Plug-and-Play Defense for Backdoored LLMs via Tail-Risk Intrinsic Geometric Smoothing 🛡️Exploit Mitigations

Behavioral Canaries: Auditing Private Retrieved Context Usage in RL Fine-Tuning 🛡️Exploit Mitigations

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

No more posts from amy.throwaway.lovely's subscribed feeds.

Scour all 24432 feeds Learn more about Feeds

Sign up or log in to see more results

Log in to enable infinite scrolling