Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-04T06:17:30.984191Z
Paper Citation Record · LEDGER
SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned
As of 4 August 2026, this Paper Citation Record lists 72 of 72 outbound references and 6 inbound Pith citation observations for arXiv:2602.07666.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-04T06:34:03.388597+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-02T07:50:04.689325Z
A source-named dated measurement, never combined with another source.
Source: pith, observed 2026-07-04T14:19:53.592564Z
Reference resolution
72 of 72 outbound references displayed
- verified exact0
- verified fuzzy0
- unresolved69
- parse uncertain1
- malformed identifier2
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 728a9a8d-a243-46cf-a5a1-cc2b17d0c5df · outbound
This paper cites GigE Vision standard.
SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned GigE Vision standard
Reference 1
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T06:17:22.513964Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6329c9f2-2ca4-4d5a-b934-c274daabf906 · outbound
This paper cites Claude Code: An agentic coding tool that lives in your terminal, 2025.
SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned Claude Code: An agentic coding tool that lives in your terminal, 2025
Reference 2
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T06:17:22.569055Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 477f8f54-60a6-4fb7-b5c7-8292dce28323 · outbound
This paper cites Apache Maven Project.
SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned Apache Maven Project
Reference 3
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T06:17:22.670509Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6e023ee2-4cb9-4211-a595-10750a1e5905 · outbound
This paper cites OSS-Fuzz.
SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned OSS-Fuzz
Reference 4
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T06:17:22.833721Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation bfc35a06-b2db-428d-a0d5-437b37eeb6f0 · outbound
This paper cites Nautilus: Fishing for deep bugs with grammars.
SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned Nautilus: Fishing for deep bugs with grammars
Reference 5
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T06:17:22.978452Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 28816167-ef8e-442a-8fa1-57a01143f5d0 · outbound
This paper cites IJON: Exploring deep state spaces via fuzzing.
SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned IJON: Exploring deep state spaces via fuzzing
Reference 6
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T06:17:23.144059Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation af6dc299-261f-42d7-964e-8cf4d5f5a1f2 · outbound
This paper cites LiteLLM: Call 100+ LLM APIs in OpenAI format.
SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned LiteLLM: Call 100+ LLM APIs in OpenAI format
Reference 7
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T06:17:23.277464Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b311b06d-02e8-4174-9ad3-2a2dbc4d59fc · outbound
This paper cites AURORA: Statistical crash analysis for automated root cause explanation.
SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned AURORA: Statistical crash analysis for automated root cause explanation
Reference 8
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T06:17:23.394405Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6e7fb3a7-d76e-41f7-aaed-67bcd936c49b · outbound
This paper cites Directed Greybox Fuzzing.
SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned Directed Greybox Fuzzing
Reference 9
- Resolution
- malformed identifier
- no resolver link, observed 2026-08-04T06:17:23.454767Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation cd80b8f2-f5c0-4182-be4e-e168ed8e873f · outbound
This paper cites KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs.
SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs
Reference 10
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T06:17:23.549386Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2c905b5f-a8ca-41c9-af00-535d3ad28942 · outbound
This paper cites ccache: A fast C/C++ compiler cache.
SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned ccache: A fast C/C++ compiler cache
Reference 11
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T06:17:23.632724Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b9903253-1e1a-4af8-a295-de962504192d · outbound
This paper cites LangChain, 2022.
SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned LangChain, 2022
Reference 12
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T06:17:23.700316Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6e34734e-923f-44bf-9c9c-ead7eb175c68 · outbound
This paper cites Enfuzz: Ensemble fuzzing with seed synchronization among diverse fuzzers.
SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned Enfuzz: Ensemble fuzzing with seed synchronization among diverse fuzzers
Reference 13
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T06:17:23.820980Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9961e37b-9d61-4318-8e5e-da0362eadf5d · outbound
This paper cites an unresolved cited work.
SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned Unresolved cited work
Reference 14
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T06:17:23.947426Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c5c3b10d-4d8d-4fa3-b934-d2be581f9a3a · outbound
This paper cites curl-fuzzer: Quality assurance testing for the curl project.
SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned curl-fuzzer: Quality assurance testing for the curl project
Reference 15
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T06:17:24.034512Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 23e7c532-af82-4ccb-a156-5b32ef7da886 · outbound
This paper cites ast-grep: A cli tool for code structural search, lint, and rewriting.
SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned ast-grep: A cli tool for code structural search, lint, and rewriting
Reference 16
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T06:17:24.175586Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f9c0b12f-6b21-4c44-9ef1-79dfaa7708be · outbound
This paper cites Cyber Grand Challenge, 2016.
SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned Cyber Grand Challenge, 2016
Reference 17
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T06:17:24.268077Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4409ef08-67e0-496e-a25f-973e96da1303 · outbound
This paper cites AIxCC Semifinal Competition, 2024.
SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned AIxCC Semifinal Competition, 2024
Reference 18
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T06:17:24.370640Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5e117abf-1b9b-4447-91fb-169923751674 · outbound
This paper cites AI Cyber Challenge (AIxCC), 2025.
SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned AI Cyber Challenge (AIxCC), 2025
Reference 19
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T06:17:24.466063Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9111f488-e574-403e-96d5-ae0b861d1ab2 · outbound
This paper cites AIxCC Archive, 2025.
SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned AIxCC Archive, 2025
Reference 20
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T06:17:24.599235Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6d41f41e-f1a6-423f-a357-f2dc5eb91b6c · outbound
This paper cites JaCoCo: Java code coverage library.
SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned JaCoCo: Java code coverage library
Reference 21
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T06:17:24.757662Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation df6fb1e6-0304-4883-8d0b-2bda1cacc36c · outbound
This paper cites AFL++: Combining incremental steps of fuzzing research.
SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned AFL++: Combining incremental steps of fuzzing research
Reference 22
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T06:17:24.886636Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 636a9c14-bd07-4ab8-acb5-dfb86e7d8677 · outbound
This paper cites LibAFL: A Framework to Build Modular and Reusable Fuzzers.
SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned LibAFL: A Framework to Build Modular and Reusable Fuzzers
Reference 23
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T06:17:25.042961Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation aff1eb8c-03c1-4453-93d6-6c8ffdab6cd9 · outbound
This paper cites GDB: The GNU project debugger.
SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned GDB: The GNU project debugger
Reference 24
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T06:17:25.234272Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8c7669aa-c070-45ea-b04c-b67a4dae3734 · outbound
This paper cites autofz: Automated Fuzzer Composition at Runtime.
SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned autofz: Automated Fuzzer Composition at Runtime
Reference 25
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T06:17:25.333265Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5ad6b8cf-b407-47fd-9381-25060c960ea9 · outbound
This paper cites Aider: AI pair programming in your terminal, 2025.
SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned Aider: AI pair programming in your terminal, 2025
Reference 26
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T06:17:25.393892Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c458e12f-3d1e-4eaf-8715-234066e29a2b · outbound
This paper cites CodeQL: The libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security, 2025.
SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned CodeQL: The libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security, 2025
Reference 27
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T06:17:25.539959Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8c281197-2114-40ae-ab3c-5d3a41c0d6bb · outbound
This paper cites SARIF support for code scanning, 2025.
SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned SARIF support for code scanning, 2025
Reference 28
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T06:17:25.723489Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4871d9f6-0c8c-4fe0-a721-1b9a3fd70fb2 · outbound
This paper cites Clusterfuzz: Scalable fuzzing infrastructure.
SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned Clusterfuzz: Scalable fuzzing infrastructure
Reference 29
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T06:17:25.901255Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 41513ebb-3306-4871-9035-b7c1d99b48be · outbound
This paper cites A Survey on LLM-as-a-Judge.
SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned A Survey on LLM-as-a-Judge
Reference 30
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T06:17:26.043845Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a92cb718-cadb-4fec-98f0-e2ca673fb241 · outbound
This paper cites Vibe Coding, 2025.
SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned Vibe Coding, 2025
Reference 31
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T06:17:26.170499Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 77770dec-e0c8-45fa-996a-3b9bf2472dd8 · outbound
This paper cites PatchIsland: Orchestration of LLM Agents for Continuous Vulnerability Repair.
SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned PatchIsland: Orchestration of LLM Agents for Continuous Vulnerability Repair
Reference 32
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T06:17:26.374822Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation dc4cb7e6-7cb6-469f-a2fb-0d077a9ef39a · outbound
This paper cites Logs in, patches out: Automated vulnerability repair via {Tree-of- Thought}{LLM} analysis.
SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned Logs in, patches out: Automated vulnerability repair via {Tree-of- Thought}{LLM} analysis
Reference 33
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T06:17:26.581025Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1694ce3f-a9e0-4eae-b053-b0af4f241929 · outbound
This paper cites LangGraph: Build resilient language agents as graphs,.
SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned LangGraph: Build resilient language agents as graphs,
Reference 34
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T06:17:26.726168Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4e580576-730d-4bde-8890-c11a96e1fe1a · outbound
This paper cites LLVM: A compilation framework for lifelong program analysis and transformation.
SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned LLVM: A compilation framework for lifelong program analysis and transformation
Reference 35
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T06:17:26.983678Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e7d2c97b-c885-4c37-8974-af6bfc8f6897 · outbound
This paper cites VULCANBOOST: Boosting ReDoS Fixes through Symbolic Representation and Feature Normalization.
SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned VULCANBOOST: Boosting ReDoS Fixes through Symbolic Representation and Feature Normalization
Reference 36
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T06:17:27.158930Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation efe40cfa-3449-4bec-a922-37d8c10a6f21 · outbound
This paper cites UndefinedBehaviorSanitizer, 2025.
SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned UndefinedBehaviorSanitizer, 2025
Reference 37
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T06:17:27.294682Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c1defd10-f3df-42bd-859d-769050f73a25 · outbound
This paper cites FuzzedDataProvider: A helper class for fuzz targets.
SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned FuzzedDataProvider: A helper class for fuzz targets
Reference 38
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T06:17:27.442820Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4029efbc-3919-4ad4-9ce5-74378ba0969f · outbound
This paper cites Infer: A static analyzer for Java, C, C++, and Objective-C,.
SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned Infer: A static analyzer for Java, C, C++, and Objective-C,
Reference 39
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T06:17:27.561736Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d1fe552c-143c-4c37-91d1-45d4a2def910 · outbound
This paper cites Language Server Protocol specification.
SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned Language Server Protocol specification
Reference 40
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T06:17:27.858364Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d7537a7d-d486-48d2-9c2d-acf30a1febb7 · outbound
This paper cites Common Weakness Enumeration (CWE).
SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned Common Weakness Enumeration (CWE)
Reference 41
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T06:17:27.978913Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 69de43a2-c664-472f-96f9-25d6d8cee534 · outbound
This paper cites Fuzzbomb: Fully-autonomous detection and repair of cyber vulnerabilities.International Journal on Advances in Security, 9(3-4), 2016.
SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned Fuzzbomb: Fully-autonomous detection and repair of cyber vulnerabilities.International Journal on Advances in Security, 9(3-4), 2016
Reference 42
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T06:17:28.169487Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7748b945-3611-4d85-9ca9-cf7437ea37c7 · outbound
This paper cites Musliner, Scott E.
SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned Musliner, Scott E
Reference 43
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T06:17:28.241445Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4f242fb2-8ad1-4859-868c-4bf65a0e9932 · outbound
This paper cites Musliner, Michael J.
SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned Musliner, Michael J
Reference 44
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T06:17:28.393868Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 18782b3d-75a4-4338-865c-4109facb625f · outbound
This paper cites Static Analysis Results Interchange Format (SARIF) Version 2.1.0, 2020.
SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned Static Analysis Results Interchange Format (SARIF) Version 2.1.0, 2020
Reference 45
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T06:17:28.468502Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8a2028b4-fe7d-4886-9cf8-1e08d6a8c85e · outbound
This paper cites Using Logprobs.
SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned Using Logprobs
Reference 46
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T06:17:28.535254Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ab34e601-6cb2-4af8-bcba-ffced259d10f · outbound
This paper cites jdb: The Java debugger.
SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned jdb: The Java debugger
Reference 47
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T06:17:28.599073Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9f8753bf-83f4-4de1-ba59-59897c7f2477 · outbound
This paper cites Symbolic execution with SymCC: Don’t interpret, compile! In29th USENIX Security Symposium (USENIX Security 20), pages 181–198, Berkeley, CA, USA, August 2020.
SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned Symbolic execution with SymCC: Don’t interpret, compile! In29th USENIX Security Symposium (USENIX Security 20), pages 181–198, Berkeley, CA, USA, August 2020
Reference 48
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T06:17:28.704178Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation fd88431d-4df8-4556-af36-6751f7e9422e · outbound
This paper cites Semgrep: Lightweight static analysis for many lan- guages, 2025.
SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned Semgrep: Lightweight static analysis for many lan- guages, 2025
Reference 49
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T06:17:28.814777Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e9f40f54-39f1-4aec-87a3-cacc2fc31906 · outbound
This paper cites {AddressSanitizer}: A fast address sanity checker.
SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned {AddressSanitizer}: A fast address sanity checker
Reference 50
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T06:17:28.902587Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1f78bac9-8b2a-49a3-b453-67c8b49223c8 · outbound
This paper cites BandFuzz: An ML-powered Collaborative Fuzzing Framework.
SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned BandFuzz: An ML-powered Collaborative Fuzzing Framework
Reference 51
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T06:17:28.993762Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 27f964ed-6abd-4eff-8f09-3b236463298d · outbound
This paper cites Reflexion: language agents with verbal reinforcement learning.
SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned Reflexion: language agents with verbal reinforcement learning
Reference 52
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T06:17:29.084409Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7cd195fe-8dd3-4ace-842c-9d585e9f25b5 · outbound
This paper cites SoK: (State of) The Art of War: Offensive Techniques in Binary Analysis.
SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned SoK: (State of) The Art of War: Offensive Techniques in Binary Analysis
Reference 53
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T06:17:29.168133Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c3d23430-37a3-4c3a-b67e-343f17a8894c · outbound
This paper cites OSS-CRS: Open-Source Software Cyber Reasoning System.
SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned OSS-CRS: Open-Source Software Cyber Reasoning System
Reference 54
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T06:17:29.255051Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a423edd6-6d6f-44bb-a805-8f257dd4310e · outbound
This paper cites DSPy: The framework for programming—not prompt- ing—language models, 2025.
SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned DSPy: The framework for programming—not prompt- ing—language models, 2025
Reference 55
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T06:17:29.323460Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 74cd95a5-e1fe-4cd4-a8ba-342ecff2231d · outbound
This paper cites SVF: Interprocedural static value-flow analysis in LLVM.
SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned SVF: Interprocedural static value-flow analysis in LLVM
Reference 56
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T06:17:29.532197Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a996c98b-ff41-4518-8b05-b919666f728e · outbound
This paper cites (Team Atlanta).
SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned (Team Atlanta)
Reference 57
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T06:17:29.681978Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 18192d73-e262-492f-96e6-5d8f6c424b5a · outbound
This paper cites 42-b3yond-6ug Open Letter.
SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned 42-b3yond-6ug Open Letter
Reference 58
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T06:17:29.804520Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c3fac6a9-ba90-4d2e-af0a-d8c4692a68ac · outbound
This paper cites Branch Flipper: Unlocking fuzz blockers with coverage- grounded LLMs.
SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned Branch Flipper: Unlocking fuzz blockers with coverage- grounded LLMs
Reference 59
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T06:17:29.949730Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a858063f-c6b5-4a77-add1-f854a93ff659 · outbound
This paper cites LLaMA: Open and Efficient Foundation Language Models.
SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned LLaMA: Open and Efficient Foundation Language Models
Reference 60
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T06:17:30.113726Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7a5d939f-c53d-4d8f-bcc3-1e326ebd574c · outbound
This paper cites Tree-sitter: An incremental parsing system for program- ming tools, 2025.
SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned Tree-sitter: An incremental parsing system for program- ming tools, 2025
Reference 61
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T06:17:30.239013Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 26d3a49c-2759-4ea1-9b3e-a040352ff39f · outbound
This paper cites W ALA: T.J.
SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned W ALA: T.J
Reference 62
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T06:17:30.369559Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6c18b2c5-502b-4a4c-bbc2-f159ed161794 · outbound
This paper cites Machine vs.
SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned Machine vs
Reference 63
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T06:17:30.456322Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b50a7f87-7292-4328-88fe-5589a2d9a1bd · outbound
This paper cites Self-Consistency Improves Chain of Thought Reasoning in Language Models.
SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned Self-Consistency Improves Chain of Thought Reasoning in Language Models
Reference 64
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T06:17:30.532820Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 077e522b-b708-4cb8-a511-056ff64e3312 · outbound
This paper cites Modeling and Discovering Vulnerabilities with Code Property Graphs.
SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned Modeling and Discovering Vulnerabilities with Code Property Graphs
Reference 65
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T06:17:30.609059Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1a1fdfbc-fcfd-4215-a63f-cfd6f5bb59d2 · outbound
This paper cites GNU Global: Source code tagging system.
SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned GNU Global: Source code tagging system
Reference 66
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T06:17:30.686358Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4c3b0c38-b3b4-41a5-80b9-0620dff7c691 · outbound
This paper cites Jimenez, Alexander Wettig, Kilian Lieret, Shunyu Yao, Karthik Narasimhan, and Ofir Press.
SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned Jimenez, Alexander Wettig, Kilian Lieret, Shunyu Yao, Karthik Narasimhan, and Ofir Press
Reference 67
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T06:17:30.739098Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e950da4b-ad4d-44a7-a50f-38a605a9a44c · outbound
This paper cites ReAct: Synergizing reasoning and acting in language models.
SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned ReAct: Synergizing reasoning and acting in language models
Reference 68
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T06:17:30.828301Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 65956335-5b12-4d89-b901-dd1d321b9412 · outbound
This paper cites Patchagent: A practical program repair agent mimicking human expertise.
SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned Patchagent: A practical program repair agent mimicking human expertise
Reference 69
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T06:17:30.895879Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f7743bc2-9400-4a02-92fe-e1171e298556 · outbound
This paper cites QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing.
SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing
Reference 70
- Resolution
- malformed identifier
- no resolver link, observed 2026-08-04T06:17:30.984191Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5cf9b366-785f-4538-8c38-760682110255 · outbound
This paper cites an unresolved cited work.
SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned Unresolved cited work
Reference 2024
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T06:17:26.815343Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7da60b03-08e5-47ed-bcc2-fbb8d1d4941e · outbound
This paper cites an unresolved cited work.
SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned Unresolved cited work
Reference 2025
- Resolution
- parse uncertain
- no resolver link, observed 2026-08-04T06:17:27.725034Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Pith citing papers
Observation da42ca45-30b0-451b-9bd7-8875e4332c66 · inbound
OverrideFuzz: Semantic-Aware Grammar Fuzzing for Script-Runtime Vulnerabilities cites this paper.
OverrideFuzz: Semantic-Aware Grammar Fuzzing for Script-Runtime Vulnerabilities SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned
Reference 23
- Resolution
- malformed identifier
- arxiv_id, observed 2026-05-26T03:04:11.335469Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation aa3db2c4-dae5-42a1-9580-83edd374e3c7 · inbound
Quality-Assured Fuzz Harness Generation via the Four Principles Framework cites this paper.
Quality-Assured Fuzz Harness Generation via the Four Principles Framework SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned
Reference 54
- Resolution
- verified exact
- arxiv_id, observed 2026-05-26T03:04:11.335469Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 236e4ed4-5461-41bc-85c8-6d8302e690ba · inbound
Revelio: Cost-Efficient Agentic Memory Safety Vulnerability Detection For Repository-Scale Codebases cites this paper.
Revelio: Cost-Efficient Agentic Memory Safety Vulnerability Detection For Repository-Scale Codebases SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned
Reference 37
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-07-04T08:29:42.465023Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 77424306-beb0-4cf1-9c72-4c773aa6900b · inbound
Chai: Agentic Discovery of Cryptographic Misuse Vulnerabilities cites this paper.
Chai: Agentic Discovery of Cryptographic Misuse Vulnerabilities SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned
Reference 17
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-07-04T14:19:53.594032Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 646a5531-e430-4386-b5ee-99db1698e461 · inbound
SeedSmith: LLM-Driven Seed Synthesis for Directed Fuzzing cites this paper.
SeedSmith: LLM-Driven Seed Synthesis for Directed Fuzzing SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned
Reference 59
- Resolution
- unresolved
- no resolver link, observed 2026-07-13T05:34:48.774019Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 125fa08f-65f3-4827-8acc-5a42dca71e3a · inbound
SeedSmith: LLM-Driven Seed Synthesis for Directed Fuzzing cites this paper.
SeedSmith: LLM-Driven Seed Synthesis for Directed Fuzzing SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned
Reference 56
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T07:50:04.689325Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.