🎯 Taint Analysis - amy.throwaway.lovely · Scour

Credential Leakage in LLM Agent Skills: A Large-Scale Empirical Study 🛡️Exploit Mitigations

arxiv.org·4d

Guiding Symbolic Execution with Static Analysis and LLMs for Vulnerability Discovery 🧮Symbolic Execution

arxiv.org·1d

An Empirical Analysis of Static Analysis Methods for Detection and Mitigation of Code Library Hallucinations 🛡️Exploit Mitigations

arxiv.org·7h

Vulnerability Detection with Interprocedural Context in Multiple Languages: Assessing Effectiveness and Cost of Modern LLMs 🛡️Exploit Mitigations

arxiv.org·7h

Typify: A Lightweight Usage-driven Static Analyzer for Precise Python Type Inference 🔣Type Systems

arxiv.org·2d

Towards Secure Agent Skills: Architecture, Threat Taxonomy, and Security Analysis 🛡️Exploit Mitigations

arxiv.org·4d

A Multi-Agent Framework for Automated Exploit Generation with Constraint-Guided Comprehension and Reflection 🛡️Exploit Mitigations

arxiv.org·2d

Towards Predicting Multi-Vulnerability Attack Chains in Software Supply Chains from Software Bill of Materials Graphs 💾Binary Analysis

arxiv.org·2d

ContractShield: Bridging Semantic-Structural Gaps via Hierarchical Cross-Modal Fusion for Multi-Label Vulnerability Detection in Obfuscated Smart Contracts 🎲Fuzzing

arxiv.org·4d

Broken Quantum: A Systematic Formal Verification Study of Security Vulnerabilities Across the Open-Source Quantum Computing Simulator Ecosystem 🔌Hardware Security

arxiv.org·1d

When Market Prices Drive the Load: Modeling, Grid-Security Analysis, and Mitigation of Data Center Workload Scheduling 🛡️Exploit Mitigations

arxiv.org·1d

TypePro: Boosting LLM-Based Type Inference via Inter-Procedural Slicing 🔣Type Systems

arxiv.org·4d

Open Challenges for Secure and Scalable Wi-Fi Connectivity in Rural Areas 🌐Protocol Fuzzing

arxiv.org·4d

Loading more...