会员服务
SseRex: Practical Symbolic Execution of Solana Smart Contracts
Arxiv
0+阅读 · 3月17日
Okara: Detection and Attribution of TLS Man-in-the-Middle Vulnerabilities in Android Apps with Foundation Models
Arxiv
0+阅读 · 3月17日
Automated Vulnerability Detection in Source Code Using Deep Representation Learning
Arxiv
0+阅读 · 2月26日
MultiVer: Zero-Shot Multi-Agent Vulnerability Detection
Arxiv
0+阅读 · 2月19日
SmartGraphical: A Human-in-the-Loop Framework for Detecting Smart Contract Logical Vulnerabilities via Pattern-Driven Static Analysis and Visual Abstraction
Arxiv
0+阅读 · 3月9日
Large Language Models for Secure Code Assessment: A Multi-Language Empirical Study
Arxiv
0+阅读 · 2月17日
Beyond Function-Level Analysis: Context-Aware Reasoning for Inter-Procedural Vulnerability Detection
Arxiv
0+阅读 · 2月6日
AI Agentic Vulnerability Injection And Transformation with Optimized Reasoning
Arxiv
0+阅读 · 2月10日
AI Agentic Vulnerability Injection And Transformation with Optimized Reasoning
Arxiv
0+阅读 · 2月12日
From SFT to RL: Demystifying the Post-Training Pipeline for LLM-based Vulnerability Detection
Arxiv
0+阅读 · 2月15日
An Empirical Study of the Imbalance Issue in Software Vulnerability Detection
Arxiv
0+阅读 · 2月12日
SecCodePRM: A Process Reward Model for Code Security
Arxiv
0+阅读 · 2月11日
Persistent Human Feedback, LLMs, and Static Analyzers for Secure Code Generation and Vulnerability Detection
Persistent Human Feedback, LLMs, and Static Analyzers for Secure Code Generation and Vulnerability Detection
Arxiv
0+阅读 · 2月5日
I Can't Believe It's Not a Valid Exploit
Arxiv
0+阅读 · 2月4日
On the Difficulty of Selecting Few-Shot Examples for Effective LLM-based Vulnerability Detection
Arxiv
0+阅读 · 2月4日
参考链接
微信扫码咨询专知VIP会员
Top