Pith Number

pith:FPI52XVU

pith:2023:FPI52XVUPAK4RJNU3ATMQ7AQTE

not attested not anchored not stored refs pending

Supporting Early-Safety Analysis of IoT Systems by Exploiting Testing Techniques

Claudio Di Sipio, Daniela Micucci, Davide Di Ruscio, Diego Clerissi, Felicien Ihirwe, Juri Di Rocco, Leonardo Mariani, Maria Teresa Rossi, Riccardo Rubei

arxiv:2309.02985 v1 · 2023-09-06 · 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{FPI52XVUPAK4RJNU3ATMQ7AQTE}

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.

Receipt and verification

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

Canonical hash

2bd1dd5eb47815c8a5b4d826c87c10990312b7d66643321af8e3bc8e83ef1a66

Aliases

arxiv: 2309.02985 · arxiv_version: 2309.02985v1 · doi: 10.48550/arxiv.2309.02985 · pith_short_12: FPI52XVUPAK4 · pith_short_16: FPI52XVUPAK4RJNU · pith_short_8: FPI52XVU

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/FPI52XVUPAK4RJNU3ATMQ7AQTE \
  | 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: 2bd1dd5eb47815c8a5b4d826c87c10990312b7d66643321af8e3bc8e83ef1a66

Canonical record JSON

{
  "metadata": {
    "abstract_canon_sha256": "5688c28046a7c9d8848a1207fb74a3e41a0f7a08e3a8ef9dffb3fff4fd80bf83",
    "cross_cats_sorted": [],
    "license": "http://arxiv.org/licenses/nonexclusive-distrib/1.0/",
    "primary_cat": "cs.SE",
    "submitted_at": "2023-09-06T13:32:39Z",
    "title_canon_sha256": "71881daf9038dd02d36bb140de5a9dc541e8ddd4a3a3ee7707bac3439f4346a3"
  },
  "schema_version": "1.0",
  "source": {
    "id": "2309.02985",
    "kind": "arxiv",
    "version": 1
  }
}