Paper Citation Record · LEDGER

LASA: Enhancing SoC Security Verification with LLM-Aided Property Generation

As of 9 August 2026, this Paper Citation Record lists 24 of 24 outbound references and 0 inbound Pith citation observations for arXiv:2506.17865.

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

pith.paper-citation-record.v1
2506.17865 v1

Coverage vector

measured 24 of 24 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-06T23:29:21.886953Z

measured 24 of 24 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-09T06:31:02.800959+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

24 of 24 outbound references displayed

verified exact1
verified fuzzy20
unresolved3
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation c9f27540-f5ad-428b-9a32-f79ecfdc49be · outbound

This paper cites Bhunia and M.

LASA: Enhancing SoC Security Verification with LLM-Aided Property Generation Bhunia and M

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T23:29:29.299681Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 046bad82-1a3c-4479-ad05-2257425a56a4 · outbound

This paper cites A survey on assertion- based hardware verification,.

LASA: Enhancing SoC Security Verification with LLM-Aided Property Generation A survey on assertion- based hardware verification,

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T23:29:29.011967Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 624dceed-560d-4180-be67-971a4ed57a30 · outbound

This paper cites Synfuzz: Leveraging fuzzing of netlist to detect synthesis bugs,.

LASA: Enhancing SoC Security Verification with LLM-Aided Property Generation Synfuzz: Leveraging fuzzing of netlist to detect synthesis bugs,

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-06T23:29:18.386152Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b7b4307c-b1c8-49e6-a581-b817e0c5195d · outbound

This paper cites Hypfuzz: formal-assisted processor fuzzing,.

LASA: Enhancing SoC Security Verification with LLM-Aided Property Generation Hypfuzz: formal-assisted processor fuzzing,

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T23:29:28.754876Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 1d727621-6ab5-4972-bd8b-bffe373dae7f · outbound

This paper cites Navigating soc security landscape on llm-guided paths,.

LASA: Enhancing SoC Security Verification with LLM-Aided Property Generation Navigating soc security landscape on llm-guided paths,

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T23:29:28.411128Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 36bbc00a-6f9e-4276-851f-dcd87f143ba4 · outbound

This paper cites Using LLMs to Facilitate Formal Verification of RTL,.

LASA: Enhancing SoC Security Verification with LLM-Aided Property Generation Using LLMs to Facilitate Formal Verification of RTL,

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T23:29:27.985361Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation e125eeed-4cbf-417b-8dfb-65635162fa37 · outbound

This paper cites (Security) Assertions by Large Language Models,.

LASA: Enhancing SoC Security Verification with LLM-Aided Property Generation (Security) Assertions by Large Language Models,

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T23:29:27.604199Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation c68f02e3-1257-4c52-abe5-2d60ada909fa · outbound

This paper cites SPELL: An End-to-End Tool Flow for LLM-Guided Secure SoC Design for Embedded Systems,.

LASA: Enhancing SoC Security Verification with LLM-Aided Property Generation SPELL: An End-to-End Tool Flow for LLM-Guided Secure SoC Design for Embedded Systems,

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T23:29:27.225718Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 4c492cb7-4004-49ba-9bcf-2d1f50c65100 · outbound

This paper cites As- sertLLM: Generating and Evaluating Hardware Verification Assertions from Design Specifications via Multi-LLMs,.

LASA: Enhancing SoC Security Verification with LLM-Aided Property Generation As- sertLLM: Generating and Evaluating Hardware Verification Assertions from Design Specifications via Multi-LLMs,

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-06T23:29:19.328608Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c47a952d-9243-41d5-a740-b5ab5c39291e · outbound

This paper cites Unlocking Hardware Security Assurance: The Potential of LLMs,.

LASA: Enhancing SoC Security Verification with LLM-Aided Property Generation Unlocking Hardware Security Assurance: The Potential of LLMs,

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T23:29:26.796746Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 344ae610-6dca-4c2a-bbfd-9df4f1d2fc21 · outbound

This paper cites LASP: LLM Assisted Security Property Generation for SoC Verifica- tion,.

LASA: Enhancing SoC Security Verification with LLM-Aided Property Generation LASP: LLM Assisted Security Property Generation for SoC Verifica- tion,

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T23:29:26.445371Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 611bb725-adf1-4a60-a071-51892963251b · outbound

This paper cites Examining Zero-Shot Vulnerability Repair with Large Language Models,.

LASA: Enhancing SoC Security Verification with LLM-Aided Property Generation Examining Zero-Shot Vulnerability Repair with Large Language Models,

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T23:29:26.067198Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 510aca80-99e4-418d-b6ed-01a704c5b855 · outbound

This paper cites Fixing Hardware Security Bugs with Large Language Models,.

LASA: Enhancing SoC Security Verification with LLM-Aided Property Generation Fixing Hardware Security Bugs with Large Language Models,

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T23:29:25.570390Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 4c0c54c0-4ea4-40f2-9659-a17fcabc933b · outbound

This paper cites DIV AS: An LLM-based End-to- End Framework for SoC Security Analysis and Policy-based Protection,.

LASA: Enhancing SoC Security Verification with LLM-Aided Property Generation DIV AS: An LLM-based End-to- End Framework for SoC Security Analysis and Policy-based Protection,

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T23:29:25.270825Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 8cb6f837-9955-4386-b880-a30067cb51e6 · outbound

This paper cites DiSPEL: A Framework for SoC Security Policy Synthesis and Distributed Enforcement,.

LASA: Enhancing SoC Security Verification with LLM-Aided Property Generation DiSPEL: A Framework for SoC Security Policy Synthesis and Distributed Enforcement,

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T23:29:25.023283Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 3c6e7979-a336-4587-bd39-f1ddbefff2dd · outbound

This paper cites Vacuity detection in temporal model checking,.

LASA: Enhancing SoC Security Verification with LLM-Aided Property Generation Vacuity detection in temporal model checking,

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T23:29:24.551114Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 7a6198fb-f9c9-4dee-8017-e72cd6cdfbd8 · outbound

This paper cites Efficient detection of vacuity in actl formulas,.

LASA: Enhancing SoC Security Verification with LLM-Aided Property Generation Efficient detection of vacuity in actl formulas,

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T23:29:24.193097Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation f197258d-c6c9-4120-a6f1-7131c40cc5de · outbound

This paper cites Clip: A structural approach to cut points matching for logic equivalence checking,.

LASA: Enhancing SoC Security Verification with LLM-Aided Property Generation Clip: A structural approach to cut points matching for logic equivalence checking,

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T23:29:23.938878Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 40f16f81-b438-4c54-b71c-a137b65bbc31 · outbound

This paper cites ChipNeMo: Domain-Adapted LLMs for Chip Design,.

LASA: Enhancing SoC Security Verification with LLM-Aided Property Generation ChipNeMo: Domain-Adapted LLMs for Chip Design,

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T23:29:23.667864Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation c3b28de6-3ad4-46e4-b81e-e2369e153573 · outbound

This paper cites LLM-guided Formal Verification Coupled with Mutation Testing,.

LASA: Enhancing SoC Security Verification with LLM-Aided Property Generation LLM-guided Formal Verification Coupled with Mutation Testing,

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T23:29:23.257631Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 9d84ed73-0cab-4b74-9da7-01fac2915990 · outbound

This paper cites LLM for SoC Security: A Paradigm Shift,.

LASA: Enhancing SoC Security Verification with LLM-Aided Property Generation LLM for SoC Security: A Paradigm Shift,

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T23:29:22.935064Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 7666ffc5-1c5f-450a-9b43-e0dc946714ff · outbound

This paper cites LAAG-RV: LLM Assisted Assertion Generation for RTL Design Verification.

LASA: Enhancing SoC Security Verification with LLM-Aided Property Generation LAAG-RV: LLM Assisted Assertion Generation for RTL Design Verification

Reference 22

Resolution: verified exact; local_arxiv, observed 2026-08-06T23:29:22.168334Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 655f67c0-73d6-4a98-83ad-59c58bf4de37 · outbound

This paper cites FVEval: Understanding Language Model Capabilities in Formal Verification of Digital Hardware.

LASA: Enhancing SoC Security Verification with LLM-Aided Property Generation FVEval: Understanding Language Model Capabilities in Formal Verification of Digital Hardware

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-06T23:29:21.675304Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ac856508-7bb4-427b-96ae-3bce89317bc0 · outbound

This paper cites Towards automated verification of ip and cots: Leveraging llms in pre- and post-silicon stages,.

LASA: Enhancing SoC Security Verification with LLM-Aided Property Generation Towards automated verification of ip and cots: Leveraging llms in pre- and post-silicon stages,

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T23:29:22.613156Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Pith citing papers

No inbound Pith citation observations are available.