Paper Citation Record · LEDGER

NICE: A Framework for Declarative and Machine-Checkable Vulnerability Reproduction

As of 23 August 2026, this Paper Citation Record lists 32 of 32 outbound references and 0 inbound Pith citation observations for arXiv:2606.00625.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2606.00625 v1

Coverage vector

measured 32 of 32 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-06-28T18:46:04.989962Z

measured 32 of 32 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-22T06:32:14.747728+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

32 of 32 outbound references displayed

verified exact1
verified fuzzy0
unresolved31
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation d857bcf6-790c-4ccc-85a7-54fe23f2c0b7 · outbound

This paper cites https://github.com/minhluannguyen/ nice-archive/tree/preprint-pkg, 2026.

NICE: A Framework for Declarative and Machine-Checkable Vulnerability Reproduction https://github.com/minhluannguyen/ nice-archive/tree/preprint-pkg, 2026

Reference 1

Resolution: unresolved; no resolver link, observed 2026-06-28T18:46:04.989962Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 536e6e07-e198-4450-b94f-24f4b94680cf · outbound

This paper cites Reproducible software vulnerability testing with iac.

NICE: A Framework for Declarative and Machine-Checkable Vulnerability Reproduction Reproducible software vulnerability testing with iac

Reference 2

Resolution: unresolved; no resolver link, observed 2026-06-28T18:46:04.989962Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cbec86b9-9674-40cc-a722-283ab4a883dd · outbound

This paper cites Unifying package managers, workflow engines, and con- tainers: Computational reproducibility with bionix.Gi- gaScience, 9(11):giaa121, 11 2020.

NICE: A Framework for Declarative and Machine-Checkable Vulnerability Reproduction Unifying package managers, workflow engines, and con- tainers: Computational reproducibility with bionix.Gi- gaScience, 9(11):giaa121, 11 2020

Reference 3

Resolution: unresolved; no resolver link, observed 2026-06-28T18:46:04.989962Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 63012ae9-d8bd-48a7-bc51-9333d11c2c5a · outbound

This paper cites Cybersecurity education and training support system: Cyris.IEICE Transactions on Information and Systems, E101.D(3):740–749, 2018.

NICE: A Framework for Declarative and Machine-Checkable Vulnerability Reproduction Cybersecurity education and training support system: Cyris.IEICE Transactions on Information and Systems, E101.D(3):740–749, 2018

Reference 4

Resolution: unresolved; no resolver link, observed 2026-06-28T18:46:04.989962Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2b7c4227-3af7-4172-bf3b-0ad9d4aa73c4 · outbound

This paper cites Ex- ploitwp2docker: a platform for automating the gener- ation of vulnerable wordpress environments for cyber ranges.

NICE: A Framework for Declarative and Machine-Checkable Vulnerability Reproduction Ex- ploitwp2docker: a platform for automating the gener- ation of vulnerable wordpress environments for cyber ranges

Reference 5

Resolution: unresolved; no resolver link, observed 2026-06-28T18:46:04.989962Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4cfcadd6-8e01-4079-8619-d1c6918e8b0e · outbound

This paper cites Functional Package Management with Guix.

NICE: A Framework for Declarative and Machine-Checkable Vulnerability Reproduction Functional Package Management with Guix

Reference 6

Resolution: verified exact; local_arxiv, observed 2026-06-28T19:52:35.991070Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 702b364b-6f9d-42d0-8db3-9a36b6355cd8 · outbound

This paper cites PhD thesis, Utrecht University, Utrecht, The Netherlands, January 2006.

NICE: A Framework for Declarative and Machine-Checkable Vulnerability Reproduction PhD thesis, Utrecht University, Utrecht, The Netherlands, January 2006

Reference 7

Resolution: unresolved; no resolver link, observed 2026-06-28T18:46:04.989962Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d8b1b717-38db-440a-bbcf-d85e7b5de034 · outbound

This paper cites Nixos: a purely func- tional linux distribution.

NICE: A Framework for Declarative and Machine-Checkable Vulnerability Reproduction Nixos: a purely func- tional linux distribution

Reference 8

Resolution: unresolved; no resolver link, observed 2026-06-28T18:46:04.989962Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c5bb7ac6-93a4-4634-bec7-465b7be4dfb8 · outbound

This paper cites Improving reproducibility of scientific software using nix/nixos: A case study on the precice ecosystem.Elec- tronic Communications of the EASST, 83, Feb.

NICE: A Framework for Declarative and Machine-Checkable Vulnerability Reproduction Improving reproducibility of scientific software using nix/nixos: A case study on the precice ecosystem.Elec- tronic Communications of the EASST, 83, Feb

Reference 9

Resolution: unresolved; no resolver link, observed 2026-06-28T18:46:04.989962Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 82dc9fe6-6ba4-4240-83a7-2b37af4efdf5 · outbound

This paper cites Intentional repro- duction of vulnerable environments.

NICE: A Framework for Declarative and Machine-Checkable Vulnerability Reproduction Intentional repro- duction of vulnerable environments

Reference 10

Resolution: unresolved; no resolver link, observed 2026-06-28T18:46:04.989962Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a77a9564-5e1d-4a86-892b-870ab3199a2b · outbound

This paper cites Sustainable packaging of quantum chemistry software with the nix package manager.International Journal of Quantum Chemistry, 122(9):e26872, 2022.

NICE: A Framework for Declarative and Machine-Checkable Vulnerability Reproduction Sustainable packaging of quantum chemistry software with the nix package manager.International Journal of Quantum Chemistry, 122(9):e26872, 2022

Reference 11

Resolution: unresolved; no resolver link, observed 2026-06-28T18:46:04.989962Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation af64f4cc-0710-4ef9-a693-e5fa04645561 · outbound

This paper cites Le, and David Lo.

NICE: A Framework for Declarative and Machine-Checkable Vulnerability Reproduction Le, and David Lo

Reference 12

Resolution: unresolved; no resolver link, observed 2026-06-28T18:46:04.989962Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 093b3f81-47b1-43b1-9f11-4123e3d8cedb · outbound

This paper cites Automated vulnerability validation and verification: A large language model approach, 2025.

NICE: A Framework for Declarative and Machine-Checkable Vulnerability Reproduction Automated vulnerability validation and verification: A large language model approach, 2025

Reference 13

Resolution: unresolved; no resolver link, observed 2026-06-28T18:46:04.989962Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation befcb8af-f5c9-4e52-a1d9-edfa5057ae16 · outbound

This paper cites Reproducibility of Build Environments through Space and Time.

NICE: A Framework for Declarative and Machine-Checkable Vulnerability Reproduction Reproducibility of Build Environments through Space and Time

Reference 14

Resolution: unresolved; no resolver link, observed 2026-06-28T18:46:04.989962Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f00e0006-fc01-4ae3-8b66-63b1bc4f3eee · outbound

This paper cites Does Functional Package Management Enable Reproducible Builds at Scale? Yes.

NICE: A Framework for Declarative and Machine-Checkable Vulnerability Reproduction Does Functional Package Management Enable Reproducible Builds at Scale? Yes

Reference 15

Resolution: unresolved; no resolver link, observed 2026-06-28T18:46:04.989962Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e690ebaa-7795-411a-acb5-d052886609b5 · outbound

This paper cites Under- standing the Reproducibility of Crowd-reported Security Vulnerabilities.

NICE: A Framework for Declarative and Machine-Checkable Vulnerability Reproduction Under- standing the Reproducibility of Crowd-reported Security Vulnerabilities

Reference 16

Resolution: unresolved; no resolver link, observed 2026-06-28T18:46:04.989962Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2bcaf060-cebd-4125-8319-f02c073716f8 · outbound

This paper cites Cyexec*: Automatic generation of randomized cyber range scenarios.

NICE: A Framework for Declarative and Machine-Checkable Vulnerability Reproduction Cyexec*: Automatic generation of randomized cyber range scenarios

Reference 17

Resolution: unresolved; no resolver link, observed 2026-06-28T18:46:04.989962Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e51570a3-52be-4261-b1bf-9dd368bb8abd · outbound

This paper cites Merge the nixos respos- itory into nixpkgs.

NICE: A Framework for Declarative and Machine-Checkable Vulnerability Reproduction Merge the nixos respos- itory into nixpkgs

Reference 18

Resolution: unresolved; no resolver link, observed 2026-06-28T18:46:04.989962Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1d153a31-c37a-4e80-baf1-c5857af641d4 · outbound

This paper cites DECRET: DEbian CVE Reproducer Tool.

NICE: A Framework for Declarative and Machine-Checkable Vulnerability Reproduction DECRET: DEbian CVE Reproducer Tool

Reference 19

Resolution: unresolved; no resolver link, observed 2026-06-28T18:46:04.989962Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0872ad89-3170-4b59-ab68-6ec577a46764 · outbound

This paper cites Metasploit Framework.

NICE: A Framework for Declarative and Machine-Checkable Vulnerability Reproduction Metasploit Framework

Reference 20

Resolution: unresolved; no resolver link, observed 2026-06-28T18:46:04.989962Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f4497848-afdf-4708-bcd7-983b5e425684 · outbound

This paper cites Kernjc: Automated vulnerable environment gen- eration for linux kernel vulnerabilities.

NICE: A Framework for Declarative and Machine-Checkable Vulnerability Reproduction Kernjc: Automated vulnerable environment gen- eration for linux kernel vulnerabilities

Reference 21

Resolution: unresolved; no resolver link, observed 2026-06-28T18:46:04.989962Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 98f587ae-bdc7-49fc-9db5-237a5c2d8ff6 · outbound

This paper cites Automated and reproducible application traces generation for iot applications.

NICE: A Framework for Declarative and Machine-Checkable Vulnerability Reproduction Automated and reproducible application traces generation for iot applications

Reference 22

Resolution: unresolved; no resolver link, observed 2026-06-28T18:46:04.989962Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 96131939-9c09-4201-9a3a-8cdfef338b9c · outbound

This paper cites Cliffe Schreuders, Thomas Shaw, Mohammad Shan- A-Khuda, Gajendra Ravichandran, Jason Keighley, and Mihai Ordean.

NICE: A Framework for Declarative and Machine-Checkable Vulnerability Reproduction Cliffe Schreuders, Thomas Shaw, Mohammad Shan- A-Khuda, Gajendra Ravichandran, Jason Keighley, and Mihai Ordean

Reference 23

Resolution: unresolved; no resolver link, observed 2026-06-28T18:46:04.989962Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cc9857c5-8440-4540-9a9b-dcf5fcb0a190 · outbound

This paper cites Pentestagent: Incorporating llm agents to auto- mated penetration testing, 2025.

NICE: A Framework for Declarative and Machine-Checkable Vulnerability Reproduction Pentestagent: Incorporating llm agents to auto- mated penetration testing, 2025

Reference 24

Resolution: unresolved; no resolver link, observed 2026-06-28T18:46:04.989962Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c17a17d0-cc02-4521-a66a-60c3ea52ed53 · outbound

This paper cites CWE-1000: Research Concepts (4.19.1).

NICE: A Framework for Declarative and Machine-Checkable Vulnerability Reproduction CWE-1000: Research Concepts (4.19.1)

Reference 25

Resolution: unresolved; no resolver link, observed 2026-06-28T18:46:04.989962Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6a77bb88-a318-4d62-b71b-d689de08aa74 · outbound

This paper cites From cve entries to verifiable exploits: An automated multi-agent framework for reproducing cves, 2025.

NICE: A Framework for Declarative and Machine-Checkable Vulnerability Reproduction From cve entries to verifiable exploits: An automated multi-agent framework for reproducing cves, 2025

Reference 26

Resolution: unresolved; no resolver link, observed 2026-06-28T18:46:04.989962Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation da59dd05-3640-4947-87be-7fdb0ee705b5 · outbound

This paper cites Vaillancourt, J.

NICE: A Framework for Declarative and Machine-Checkable Vulnerability Reproduction Vaillancourt, J

Reference 27

Resolution: unresolved; no resolver link, observed 2026-06-28T18:46:04.989962Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation afb679c9-6336-4f92-979e-7b6ace51db89 · outbound

This paper cites Automating system tests using declarative virtual machines.

NICE: A Framework for Declarative and Machine-Checkable Vulnerability Reproduction Automating system tests using declarative virtual machines

Reference 28

Resolution: unresolved; no resolver link, observed 2026-06-28T18:46:04.989962Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d0b3cd1c-aee2-4d01-85f6-c73cadae2281 · outbound

This paper cites Hackers vs.

NICE: A Framework for Declarative and Machine-Checkable Vulnerability Reproduction Hackers vs

Reference 29

Resolution: unresolved; no resolver link, observed 2026-06-28T18:46:04.989962Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a5043e1d-5fbe-4e0d-8be5-8fc6fddcfb6c · outbound

This paper cites Vulhub: Pre-built vulnerable en- vironments based on docker.

NICE: A Framework for Declarative and Machine-Checkable Vulnerability Reproduction Vulhub: Pre-built vulnerable en- vironments based on docker

Reference 30

Resolution: unresolved; no resolver link, observed 2026-06-28T18:46:04.989962Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation edd4877b-7fea-4aa2-b369-469fd6e1a8cb · outbound

This paper cites Zhang, Neil Perry, Riya Dulepet, Joey Ji, Celeste Menders, Justin W.

NICE: A Framework for Declarative and Machine-Checkable Vulnerability Reproduction Zhang, Neil Perry, Riya Dulepet, Joey Ji, Celeste Menders, Justin W

Reference 31

Resolution: unresolved; no resolver link, observed 2026-06-28T18:46:04.989962Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 096587a0-9e40-4d08-b73d-a4535e6f356a · outbound

This paper cites / nix / store /5 mrdnyhca040405vnbnjsncvqx1 ... sys . exit ( main ()) ^^^^^^ File.

NICE: A Framework for Declarative and Machine-Checkable Vulnerability Reproduction / nix / store /5 mrdnyhca040405vnbnjsncvqx1 ... sys . exit ( main ()) ^^^^^^ File

Reference 32

Resolution: unresolved; no resolver link, observed 2026-06-28T18:46:04.989962Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.