{"total":23,"rows":[{"id":"2504.20984","title":"ACE: A Security Architecture for LLM-Integrated App Systems","created":"2025-04-29","cited_by_count":55,"area":null},{"id":"2504.05408","title":"Frontier AI's Impact on the Cybersecurity Landscape","created":"2025-04-07","cited_by_count":21,"area":null},{"id":"2506.17644","title":"Measuring and Augmenting Large Language Models for Solving Capture-the-Flag Challenges","created":"2025-06-21","cited_by_count":15,"area":null},{"id":"2502.18474","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","created":"2025-02-05","cited_by_count":11,"area":null},{"id":"2508.05188","title":"Incident Response Planning Using a Lightweight Large Language Model with Reduced Hallucination","created":"2025-08-07","cited_by_count":10,"area":null},{"id":"2502.04347","title":"SCALM: Detecting Bad Practices in Smart Contracts Through LLMs","created":"2025-02-04","cited_by_count":8,"area":null},{"id":"2503.10784","title":"Vulnerability Detection: From Formal Verification to Large Language Models and Hybrid Approaches: A Comprehensive Overview","created":"2025-03-13","cited_by_count":7,"area":null},{"id":"2502.11521","title":"Detecting Various DeFi Price Manipulations with LLM Reasoning","created":"2025-02-17","cited_by_count":4,"area":null},{"id":"2511.00125","title":"Inferring multiple helper Dafny assertions with LLMs","created":"2025-10-31","cited_by_count":4,"area":null},{"id":"2502.07644","title":"SymGPT: Auditing Smart Contracts via Combining Symbolic Execution with Large Language Models","created":"2025-02-11","cited_by_count":2,"area":null},{"id":"2502.14215","title":"Towards Secure Program Partitioning for Smart Contracts with LLM's In-Context Learning","created":"2025-02-20","cited_by_count":2,"area":null},{"id":"2505.15242","title":"Adaptive Plan-Execute Framework for Smart Contract Security Auditing","created":"2025-05-21","cited_by_count":2,"area":null},{"id":"2506.10998","title":"Towards Automated Formal Verification of Backend Systems with LLMs","created":"2025-04-13","cited_by_count":1,"area":null},{"id":"2512.02080","title":"The 4/$\\delta$ Bound: Designing Predictable LLM-Verifier Systems for Formal Method Guarantee","created":"2025-11-30","cited_by_count":1,"area":null},{"id":"2602.05279","title":"Hallucination-Resistant Security Planning with a Large Language Model","created":"2026-02-05","cited_by_count":1,"area":null},{"id":"2606.13892","title":"Crypto x AI, AI x Crypto: A Survey","created":"2026-06-11","cited_by_count":1,"area":null},{"id":"2606.18098","title":"IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus","created":"2026-06-16","cited_by_count":1,"area":null},{"id":"2507.04055","title":"Rethinking and Exploring String-Based Malware Family Classification in the Era of LLMs and RAG","created":"2025-07-05","cited_by_count":0,"area":null},{"id":"2509.19153","title":"LLMs as verification oracles for Solidity","created":"2025-09-23","cited_by_count":0,"area":null},{"id":"2605.09350","title":"CHAINTRIX: A multi-pipeline LLM-augmented framework for automated smart-contract security auditing","created":"2026-05-10","cited_by_count":0,"area":null},{"id":"2606.20969","title":"AutoACSL: Synthesizing ACSL Specifications by Integrating LLMs with CPG-Based Static Analysis","created":"2026-06-18","cited_by_count":0,"area":null},{"id":"2608.19680","title":"Frequency-Aware Continual Learning for Smart Contract Vulnerability Detection with Large Language Models","created":"2026-08-20","cited_by_count":0,"area":null},{"id":"2609.39568","title":"Self-Spec Verifiable Code Generation","created":"2026-09-30","cited_by_count":0,"area":null}],"next_cursor":null}