{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2016:6H7PCSYNZAWLG242VWAAKNGKNX","short_pith_number":"pith:6H7PCSYN","schema_version":"1.0","canonical_sha256":"f1fef14b0dc82cb36b9aad800534ca6dea1dded62487f050ded7de65e1529378","source":{"kind":"arxiv","id":"1607.03385","version":2},"attestation_state":"computed","paper":{"title":"Compiling Stateful Network Properties for Runtime Verification","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.NI","authors_text":"Nicholas DeMarinis, Rodrigo Fonseca, Shriram Krishnamurthi, Tim Nelson, Timothy Adam Hoff","submitted_at":"2016-07-12T14:56:21Z","abstract_excerpt":"Networks are difficult to configure correctly, and tricky to debug. These problems are accentuated by temporal and stateful behavior. Static verification, while useful, is ineffectual for detecting behavioral deviations induced by hardware faults, security failures, and so on, so dynamic property monitoring is also valuable. Unfortunately, existing monitoring and runtime verification for networks largely focuses on properties about individual packets (such as connectivity) or requires a digest of all network events be sent to a server, incurring enormous cost.\n  We present a network monitoring"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1607.03385","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NI","submitted_at":"2016-07-12T14:56:21Z","cross_cats_sorted":[],"title_canon_sha256":"7452639f74c777c260418fadb786fc10b9de3fc58552de7441d59e4cefa45394","abstract_canon_sha256":"c4bc5c50c2c31901ac58a448284754c98f3be10c74d8ca29f318516aa8c9ecbd"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:11:01.620736Z","signature_b64":"aph10buweoWGnHA8ahrPKGtyov1UF271cZbb89wU7GdRMj06JdnapjY7acujB8RN516B6GT7Oow+XB2xd2Y9Dg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f1fef14b0dc82cb36b9aad800534ca6dea1dded62487f050ded7de65e1529378","last_reissued_at":"2026-05-18T01:11:01.620101Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:11:01.620101Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Compiling Stateful Network Properties for Runtime Verification","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.NI","authors_text":"Nicholas DeMarinis, Rodrigo Fonseca, Shriram Krishnamurthi, Tim Nelson, Timothy Adam Hoff","submitted_at":"2016-07-12T14:56:21Z","abstract_excerpt":"Networks are difficult to configure correctly, and tricky to debug. These problems are accentuated by temporal and stateful behavior. Static verification, while useful, is ineffectual for detecting behavioral deviations induced by hardware faults, security failures, and so on, so dynamic property monitoring is also valuable. Unfortunately, existing monitoring and runtime verification for networks largely focuses on properties about individual packets (such as connectivity) or requires a digest of all network events be sent to a server, incurring enormous cost.\n  We present a network monitoring"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1607.03385","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1607.03385","created_at":"2026-05-18T01:11:01.620194+00:00"},{"alias_kind":"arxiv_version","alias_value":"1607.03385v2","created_at":"2026-05-18T01:11:01.620194+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1607.03385","created_at":"2026-05-18T01:11:01.620194+00:00"},{"alias_kind":"pith_short_12","alias_value":"6H7PCSYNZAWL","created_at":"2026-05-18T12:30:01.593930+00:00"},{"alias_kind":"pith_short_16","alias_value":"6H7PCSYNZAWLG242","created_at":"2026-05-18T12:30:01.593930+00:00"},{"alias_kind":"pith_short_8","alias_value":"6H7PCSYN","created_at":"2026-05-18T12:30:01.593930+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/6H7PCSYNZAWLG242VWAAKNGKNX","json":"https://pith.science/pith/6H7PCSYNZAWLG242VWAAKNGKNX.json","graph_json":"https://pith.science/api/pith-number/6H7PCSYNZAWLG242VWAAKNGKNX/graph.json","events_json":"https://pith.science/api/pith-number/6H7PCSYNZAWLG242VWAAKNGKNX/events.json","paper":"https://pith.science/paper/6H7PCSYN"},"agent_actions":{"view_html":"https://pith.science/pith/6H7PCSYNZAWLG242VWAAKNGKNX","download_json":"https://pith.science/pith/6H7PCSYNZAWLG242VWAAKNGKNX.json","view_paper":"https://pith.science/paper/6H7PCSYN","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1607.03385&json=true","fetch_graph":"https://pith.science/api/pith-number/6H7PCSYNZAWLG242VWAAKNGKNX/graph.json","fetch_events":"https://pith.science/api/pith-number/6H7PCSYNZAWLG242VWAAKNGKNX/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/6H7PCSYNZAWLG242VWAAKNGKNX/action/timestamp_anchor","attest_storage":"https://pith.science/pith/6H7PCSYNZAWLG242VWAAKNGKNX/action/storage_attestation","attest_author":"https://pith.science/pith/6H7PCSYNZAWLG242VWAAKNGKNX/action/author_attestation","sign_citation":"https://pith.science/pith/6H7PCSYNZAWLG242VWAAKNGKNX/action/citation_signature","submit_replication":"https://pith.science/pith/6H7PCSYNZAWLG242VWAAKNGKNX/action/replication_record"}},"created_at":"2026-05-18T01:11:01.620194+00:00","updated_at":"2026-05-18T01:11:01.620194+00:00"}