{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:QHMSERLTERNGMQWAKTZG6UJTXT","short_pith_number":"pith:QHMSERLT","canonical_record":{"source":{"id":"1905.01607","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.NI","submitted_at":"2019-05-05T05:02:06Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"6ab782e7faef4861e1d59cae565759fd5310c9f90ee947b8d5aa7b50a8581c88","abstract_canon_sha256":"5d1b6ff14356b6f34b463d4b5e2a701db6ac3cd5ed415ed4ff65266ea91caf98"},"schema_version":"1.0"},"canonical_sha256":"81d9224573245a6642c054f26f5133bcd984060e90b4b4ee927f7aa93c7eb466","source":{"kind":"arxiv","id":"1905.01607","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1905.01607","created_at":"2026-05-17T23:39:24Z"},{"alias_kind":"arxiv_version","alias_value":"1905.01607v2","created_at":"2026-05-17T23:39:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1905.01607","created_at":"2026-05-17T23:39:24Z"},{"alias_kind":"pith_short_12","alias_value":"QHMSERLTERNG","created_at":"2026-05-18T12:33:27Z"},{"alias_kind":"pith_short_16","alias_value":"QHMSERLTERNGMQWA","created_at":"2026-05-18T12:33:27Z"},{"alias_kind":"pith_short_8","alias_value":"QHMSERLT","created_at":"2026-05-18T12:33:27Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:QHMSERLTERNGMQWAKTZG6UJTXT","target":"record","payload":{"canonical_record":{"source":{"id":"1905.01607","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.NI","submitted_at":"2019-05-05T05:02:06Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"6ab782e7faef4861e1d59cae565759fd5310c9f90ee947b8d5aa7b50a8581c88","abstract_canon_sha256":"5d1b6ff14356b6f34b463d4b5e2a701db6ac3cd5ed415ed4ff65266ea91caf98"},"schema_version":"1.0"},"canonical_sha256":"81d9224573245a6642c054f26f5133bcd984060e90b4b4ee927f7aa93c7eb466","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:39:24.260111Z","signature_b64":"8xrGb2p1I7lPR0HVGtKljmmvqr2YFPWEZUdEMZhiY0oBOfZoQOGTza+SDnRbMUPEZmbcT+zhYB84VBZpX6sHBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"81d9224573245a6642c054f26f5133bcd984060e90b4b4ee927f7aa93c7eb466","last_reissued_at":"2026-05-17T23:39:24.259544Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:39:24.259544Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1905.01607","source_version":2,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-17T23:39:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RTFjBCjQkCHftanfZPc+PnzryM27mtbvCACWdXB8nyj/YL+GDhTnoQEzM88+k7k9A26dgyM+uyLdbVtRjbrFDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-24T02:30:42.014118Z"},"content_sha256":"669d2f3e75e210b6ed365697a5231f913f50160e417081081ec39461652e5c94","schema_version":"1.0","event_id":"sha256:669d2f3e75e210b6ed365697a5231f913f50160e417081081ec39461652e5c94"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:QHMSERLTERNGMQWAKTZG6UJTXT","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Performance Evaluation of the NDN Data Plane Using Statistical Model Checking","license":"http://creativecommons.org/publicdomain/zero/1.0/","headline":"","cross_cats":["cs.FL"],"primary_cat":"cs.NI","authors_text":"Abdella Battou, Ayoub Nouri, James Filliben, Junxiao Shi, Lotfi Benmohamed, Saddek Bensalem, Siham Khoussi","submitted_at":"2019-05-05T05:02:06Z","abstract_excerpt":"Named Data Networking (NDN) is an emerging technology for a future internet architecture that addresses weaknesses of the Internet Protocol (IP). Since Internet users and applications have demonstrated an ever-increasing need for high speed packet forwarding, research groups have investigated different designs and implementation for fast NDN data plane forwarders and claimed they were capable of achieving high throughput rates. However, the correctness of these statements is not supported by any verification technique or formal proof. In this paper, we propose using a formal model-based approa"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1905.01607","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-17T23:39:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Nxlk6PdCYPhTQA5ujjO/pSxNKC5gzG5vWsXN0oBZSMdeVV7v7uLPCXZ3pp8G0tjabc0DlRS9HTkDhVJK0tjyAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-24T02:30:42.014732Z"},"content_sha256":"0307567eaff7b2aa12c3c0794b8ab6c580a0b0f37a8691c8c5ac384d042bfb4b","schema_version":"1.0","event_id":"sha256:0307567eaff7b2aa12c3c0794b8ab6c580a0b0f37a8691c8c5ac384d042bfb4b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/QHMSERLTERNGMQWAKTZG6UJTXT/bundle.json","state_url":"https://pith.science/pith/QHMSERLTERNGMQWAKTZG6UJTXT/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/QHMSERLTERNGMQWAKTZG6UJTXT/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-05-24T02:30:42Z","links":{"resolver":"https://pith.science/pith/QHMSERLTERNGMQWAKTZG6UJTXT","bundle":"https://pith.science/pith/QHMSERLTERNGMQWAKTZG6UJTXT/bundle.json","state":"https://pith.science/pith/QHMSERLTERNGMQWAKTZG6UJTXT/state.json","well_known_bundle":"https://pith.science/.well-known/pith/QHMSERLTERNGMQWAKTZG6UJTXT/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:QHMSERLTERNGMQWAKTZG6UJTXT","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"5d1b6ff14356b6f34b463d4b5e2a701db6ac3cd5ed415ed4ff65266ea91caf98","cross_cats_sorted":["cs.FL"],"license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.NI","submitted_at":"2019-05-05T05:02:06Z","title_canon_sha256":"6ab782e7faef4861e1d59cae565759fd5310c9f90ee947b8d5aa7b50a8581c88"},"schema_version":"1.0","source":{"id":"1905.01607","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1905.01607","created_at":"2026-05-17T23:39:24Z"},{"alias_kind":"arxiv_version","alias_value":"1905.01607v2","created_at":"2026-05-17T23:39:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1905.01607","created_at":"2026-05-17T23:39:24Z"},{"alias_kind":"pith_short_12","alias_value":"QHMSERLTERNG","created_at":"2026-05-18T12:33:27Z"},{"alias_kind":"pith_short_16","alias_value":"QHMSERLTERNGMQWA","created_at":"2026-05-18T12:33:27Z"},{"alias_kind":"pith_short_8","alias_value":"QHMSERLT","created_at":"2026-05-18T12:33:27Z"}],"graph_snapshots":[{"event_id":"sha256:0307567eaff7b2aa12c3c0794b8ab6c580a0b0f37a8691c8c5ac384d042bfb4b","target":"graph","created_at":"2026-05-17T23:39:24Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"Named Data Networking (NDN) is an emerging technology for a future internet architecture that addresses weaknesses of the Internet Protocol (IP). Since Internet users and applications have demonstrated an ever-increasing need for high speed packet forwarding, research groups have investigated different designs and implementation for fast NDN data plane forwarders and claimed they were capable of achieving high throughput rates. However, the correctness of these statements is not supported by any verification technique or formal proof. In this paper, we propose using a formal model-based approa","authors_text":"Abdella Battou, Ayoub Nouri, James Filliben, Junxiao Shi, Lotfi Benmohamed, Saddek Bensalem, Siham Khoussi","cross_cats":["cs.FL"],"headline":"","license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.NI","submitted_at":"2019-05-05T05:02:06Z","title":"Performance Evaluation of the NDN Data Plane Using Statistical Model Checking"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1905.01607","kind":"arxiv","version":2},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:669d2f3e75e210b6ed365697a5231f913f50160e417081081ec39461652e5c94","target":"record","created_at":"2026-05-17T23:39:24Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"5d1b6ff14356b6f34b463d4b5e2a701db6ac3cd5ed415ed4ff65266ea91caf98","cross_cats_sorted":["cs.FL"],"license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.NI","submitted_at":"2019-05-05T05:02:06Z","title_canon_sha256":"6ab782e7faef4861e1d59cae565759fd5310c9f90ee947b8d5aa7b50a8581c88"},"schema_version":"1.0","source":{"id":"1905.01607","kind":"arxiv","version":2}},"canonical_sha256":"81d9224573245a6642c054f26f5133bcd984060e90b4b4ee927f7aa93c7eb466","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"81d9224573245a6642c054f26f5133bcd984060e90b4b4ee927f7aa93c7eb466","first_computed_at":"2026-05-17T23:39:24.259544Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:39:24.259544Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"8xrGb2p1I7lPR0HVGtKljmmvqr2YFPWEZUdEMZhiY0oBOfZoQOGTza+SDnRbMUPEZmbcT+zhYB84VBZpX6sHBA==","signature_status":"signed_v1","signed_at":"2026-05-17T23:39:24.260111Z","signed_message":"canonical_sha256_bytes"},"source_id":"1905.01607","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:669d2f3e75e210b6ed365697a5231f913f50160e417081081ec39461652e5c94","sha256:0307567eaff7b2aa12c3c0794b8ab6c580a0b0f37a8691c8c5ac384d042bfb4b"],"state_sha256":"cb2e10a2de180c172d2037f0c1b5e7057671699dd6bae2a076cfaa95c03d9ed7"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"SLiJwjyw7wwlZORhsS3dRxzL0CtaNYUonlADV+Te2P4hrs2+AMQXSVzu4+ZnSCU3dcufLl/TzG0xmpjEwvfpCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-24T02:30:42.017622Z","bundle_sha256":"c99f5d8904d66d0366dab3824571a0a4fe3182c96f7174904ad71540a082f3f9"}}