{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2013:6T46QJXFGQPFEJELT663QNDYM6","short_pith_number":"pith:6T46QJXF","schema_version":"1.0","canonical_sha256":"f4f9e826e5341e52248b9fbdb83478678f82992f6c9b05c1cd34f280c9ec2a35","source":{"kind":"arxiv","id":"1311.3336","version":1},"attestation_state":"computed","paper":{"title":"Eliminating Network Protocol Vulnerabilities Through Abstraction and Systems Language Design","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.NI","authors_text":"Alex Sprintson, Andrew Sutton, C. Jasson Casey, Gabriel Dos Reis","submitted_at":"2013-11-13T23:08:12Z","abstract_excerpt":"Incorrect implementations of network protocol message specifications affect the stability, security, and cost of network system development. Most implementation defects fall into one of three categories of well defined message constraints. However, the general process of constructing network protocol stacks and systems does not capture these categorical con- straints. We introduce a systems programming language with new abstractions that capture these constraints. Safe and efficient implementations of standard message handling operations are synthesized by our compiler, and whole-program analy"},"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":"1311.3336","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NI","submitted_at":"2013-11-13T23:08:12Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"23283cbf8be95f91029fa2eda0c411a8a0c61dc89578f556daacb47a8505816f","abstract_canon_sha256":"a6ec4364f61475b607bc3816f22aa8ad84c3564408f74a9ccc35d570e7873023"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:07:11.752704Z","signature_b64":"bKePBatlx31N5NEbzWGLucOIwflugdqJ2neUXL7rmQbTJhYfLnKsUwmKX1mdGJKJvCMRCf0jl+W9HG35cLsbDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f4f9e826e5341e52248b9fbdb83478678f82992f6c9b05c1cd34f280c9ec2a35","last_reissued_at":"2026-05-18T03:07:11.751811Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:07:11.751811Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Eliminating Network Protocol Vulnerabilities Through Abstraction and Systems Language Design","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.NI","authors_text":"Alex Sprintson, Andrew Sutton, C. Jasson Casey, Gabriel Dos Reis","submitted_at":"2013-11-13T23:08:12Z","abstract_excerpt":"Incorrect implementations of network protocol message specifications affect the stability, security, and cost of network system development. Most implementation defects fall into one of three categories of well defined message constraints. However, the general process of constructing network protocol stacks and systems does not capture these categorical con- straints. We introduce a systems programming language with new abstractions that capture these constraints. Safe and efficient implementations of standard message handling operations are synthesized by our compiler, and whole-program analy"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1311.3336","kind":"arxiv","version":1},"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":"1311.3336","created_at":"2026-05-18T03:07:11.751957+00:00"},{"alias_kind":"arxiv_version","alias_value":"1311.3336v1","created_at":"2026-05-18T03:07:11.751957+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1311.3336","created_at":"2026-05-18T03:07:11.751957+00:00"},{"alias_kind":"pith_short_12","alias_value":"6T46QJXFGQPF","created_at":"2026-05-18T12:27:36.564083+00:00"},{"alias_kind":"pith_short_16","alias_value":"6T46QJXFGQPFEJEL","created_at":"2026-05-18T12:27:36.564083+00:00"},{"alias_kind":"pith_short_8","alias_value":"6T46QJXF","created_at":"2026-05-18T12:27:36.564083+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/6T46QJXFGQPFEJELT663QNDYM6","json":"https://pith.science/pith/6T46QJXFGQPFEJELT663QNDYM6.json","graph_json":"https://pith.science/api/pith-number/6T46QJXFGQPFEJELT663QNDYM6/graph.json","events_json":"https://pith.science/api/pith-number/6T46QJXFGQPFEJELT663QNDYM6/events.json","paper":"https://pith.science/paper/6T46QJXF"},"agent_actions":{"view_html":"https://pith.science/pith/6T46QJXFGQPFEJELT663QNDYM6","download_json":"https://pith.science/pith/6T46QJXFGQPFEJELT663QNDYM6.json","view_paper":"https://pith.science/paper/6T46QJXF","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1311.3336&json=true","fetch_graph":"https://pith.science/api/pith-number/6T46QJXFGQPFEJELT663QNDYM6/graph.json","fetch_events":"https://pith.science/api/pith-number/6T46QJXFGQPFEJELT663QNDYM6/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/6T46QJXFGQPFEJELT663QNDYM6/action/timestamp_anchor","attest_storage":"https://pith.science/pith/6T46QJXFGQPFEJELT663QNDYM6/action/storage_attestation","attest_author":"https://pith.science/pith/6T46QJXFGQPFEJELT663QNDYM6/action/author_attestation","sign_citation":"https://pith.science/pith/6T46QJXFGQPFEJELT663QNDYM6/action/citation_signature","submit_replication":"https://pith.science/pith/6T46QJXFGQPFEJELT663QNDYM6/action/replication_record"}},"created_at":"2026-05-18T03:07:11.751957+00:00","updated_at":"2026-05-18T03:07:11.751957+00:00"}