Pith Number

pith:NT73IOSC

pith:2022:NT73IOSCYMUN4A7BCUVCZRBN3T

not attested not anchored not stored refs pending

TheHuzz: Instruction Fuzzing of Processors Using Golden-Reference Models for Finding Software-Exploitable Vulnerabilities

(2) Technische Universit\"at Darmstadt, Aakash Tyagi (1), Addison Crump (1), Ahmad-Reza Sadeghi (2), College Station, Garrett Persyn (1), Germany), Jeyavijayan Rajendran (1), Patrick Jauernig (2), Rahul Kande (1) ((1) Texas A&M University, USA

arxiv:2201.09941 v1 · 2022-01-24 · cs.CR · cs.AR · cs.SE

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

Add to your LaTeX paper

\usepackage{pith}
\pithnumber{NT73IOSCYMUN4A7BCUVCZRBN3T}

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

1 paper in Pith

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

Receipt and verification

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

Canonical hash

6cffb43a42c328de03e1152a2cc42ddcec2a6ca9dda68122f2c6dae1c2657f9a

Aliases

arxiv: 2201.09941 · arxiv_version: 2201.09941v1 · doi: 10.48550/arxiv.2201.09941 · pith_short_12: NT73IOSCYMUN · pith_short_16: NT73IOSCYMUN4A7B · pith_short_8: NT73IOSC

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/NT73IOSCYMUN4A7BCUVCZRBN3T \
  | 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: 6cffb43a42c328de03e1152a2cc42ddcec2a6ca9dda68122f2c6dae1c2657f9a

Canonical record JSON

{
  "metadata": {
    "abstract_canon_sha256": "eb931e7945be56563f9d39ab083d50f3bf6477b8474ee51c71ba09bfc1e25a3b",
    "cross_cats_sorted": [
      "cs.AR",
      "cs.SE"
    ],
    "license": "http://creativecommons.org/licenses/by-sa/4.0/",
    "primary_cat": "cs.CR",
    "submitted_at": "2022-01-24T20:29:23Z",
    "title_canon_sha256": "0ae026a30505a4107d9aa248982b0fcfe087822865cde11e48ffab5073fcd3f0"
  },
  "schema_version": "1.0",
  "source": {
    "id": "2201.09941",
    "kind": "arxiv",
    "version": 1
  }
}