Pith Number

pith:GSL4CE7O

pith:2025:GSL4CE7OHRG5J3ADFXRD2OSXPE

not attested not anchored not stored refs pending

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models

Dipayan Saha, Farimah Farahmandi, Hasan Al Shaikh, Jingbo Zhou, Khan Thamid Hasan, Mark Tehranipoor, Md. Ajoad Hasan, Nashmin Alam, Pavan Sai Nalluri, Shams Tarek, Sujan Kumar Saha

arxiv:2506.20415 v1 · 2025-06-25 · cs.CR · cs.AI · cs.MA

Open paper page JSON Open Graph Bundle Merged state Verified badge What is a Pith Number?

Add to your LaTeX paper

\usepackage{pith}
\pithnumber{GSL4CE7OHRG5J3ADFXRD2OSXPE}

Prints a linked badge after your title and injects PDF metadata. Compiles on arXiv. Learn more · Embed verified badge

Record completeness

1 Bitcoin timestamp

2 Internet Archive

3 Author claim open · sign in to claim

4 Citations open

5 Replications open

✓ Portable graph bundle live · download bundle · merged state

The bundle contains the canonical record plus signed events. A mirror can host it anywhere and recompute the same current state with the deterministic merge algorithm.

Cited by

4 papers in Pith

VeriChat: An Agentic Conversational AI Assistant for Hardware Security Verification

LAsset: An LLM-assisted Security Asset Identification Framework for System-on-Chip (SoC) Verification

Evaluating LLM-Generated ACSL Annotations for Formal Verification

ATLAS: AI-Assisted Threat-to-Assertion Learning for System-on-Chip Security Verification

Receipt and verification

First computed	2026-07-05T11:27:05.170219Z
Builder	pith-number-builder-2026-05-17-v1
Signature	Pith Ed25519 (`pith-v1-2026-05`) · public key
Schema	pith-number/v1.0

Canonical hash

3497c113ee3c4dd4ec032de23d3a57791ab919ac3491a3acafa0086388e43bb0

Aliases

arxiv: 2506.20415 · arxiv_version: 2506.20415v1 · doi: 10.48550/arxiv.2506.20415 · pith_short_12: GSL4CE7OHRG5 · pith_short_16: GSL4CE7OHRG5J3AD · pith_short_8: GSL4CE7O

Agent API

Resolver JSON Graph JSON Events JSON Schema Signing key

Verify this Pith Number yourself

curl -sH 'Accept: application/ld+json' https://pith.science/pith/GSL4CE7OHRG5J3ADFXRD2OSXPE \
  | jq -c '.canonical_record' \
  | python3 -c "import sys,json,hashlib; b=json.dumps(json.loads(sys.stdin.read()), sort_keys=True, separators=(',',':'), ensure_ascii=False).encode(); print(hashlib.sha256(b).hexdigest())"
# expect: 3497c113ee3c4dd4ec032de23d3a57791ab919ac3491a3acafa0086388e43bb0

Canonical record JSON

{
  "metadata": {
    "abstract_canon_sha256": "b31045cd623abc339a2344a8c018a9f32b9b779f803efd53f69a2376647abb50",
    "cross_cats_sorted": [
      "cs.AI",
      "cs.MA"
    ],
    "license": "http://creativecommons.org/licenses/by/4.0/",
    "primary_cat": "cs.CR",
    "submitted_at": "2025-06-25T13:31:13Z",
    "title_canon_sha256": "b6964d1d56891060aee4cbb0a8f35d8f49a3c9f1a8ba533e1755f43b67995bcd"
  },
  "schema_version": "1.0",
  "source": {
    "id": "2506.20415",
    "kind": "arxiv",
    "version": 1
  }
}