{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2016:FOVCDJGSIE6SHCMJQERYYANREQ","short_pith_number":"pith:FOVCDJGS","schema_version":"1.0","canonical_sha256":"2baa21a4d2413d23898981238c01b1243efa33e9ee332fb9460cc687f9119afa","source":{"kind":"arxiv","id":"1610.07198","version":2},"attestation_state":"computed","paper":{"title":"A Language-theoretic View on Network Protocols","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.FL","authors_text":"Boris K\\\"opf, Pedro Valero, Pierre Ganty","submitted_at":"2016-10-23T16:29:30Z","abstract_excerpt":"Input validation is the first line of defense against malformed or malicious inputs. It is therefore critical that the validator (which is often part of the parser) is free of bugs.\n  To build dependable input validators, we propose using parser generators for context-free languages. In the context of network protocols, various works have pointed at context-free languages as falling short to specify precisely or concisely common idioms found in protocols. We review those assessments and perform a rigorous, language-theoretic analysis of several common protocol idioms. We then demonstrate the p"},"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":"1610.07198","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2016-10-23T16:29:30Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"b2d7f3bdd86154e8b2e12282c7275d61342b24f2105a9b3cbe71dd79dfb4feec","abstract_canon_sha256":"58a6c806397a381feb313638bcf35753f188e7db1575e625414075cd27d6e2af"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:40:40.960030Z","signature_b64":"1TNZO8wO9bef5C9sWylAjzrYMtbQJApSa7CTU3gJnNtUJwdgVcwbbbkAPWweDAA56k4pqYFIXuqlCckWaolfAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2baa21a4d2413d23898981238c01b1243efa33e9ee332fb9460cc687f9119afa","last_reissued_at":"2026-05-18T00:40:40.959305Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:40:40.959305Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A Language-theoretic View on Network Protocols","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.FL","authors_text":"Boris K\\\"opf, Pedro Valero, Pierre Ganty","submitted_at":"2016-10-23T16:29:30Z","abstract_excerpt":"Input validation is the first line of defense against malformed or malicious inputs. It is therefore critical that the validator (which is often part of the parser) is free of bugs.\n  To build dependable input validators, we propose using parser generators for context-free languages. In the context of network protocols, various works have pointed at context-free languages as falling short to specify precisely or concisely common idioms found in protocols. We review those assessments and perform a rigorous, language-theoretic analysis of several common protocol idioms. We then demonstrate the p"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1610.07198","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":"1610.07198","created_at":"2026-05-18T00:40:40.959444+00:00"},{"alias_kind":"arxiv_version","alias_value":"1610.07198v2","created_at":"2026-05-18T00:40:40.959444+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1610.07198","created_at":"2026-05-18T00:40:40.959444+00:00"},{"alias_kind":"pith_short_12","alias_value":"FOVCDJGSIE6S","created_at":"2026-05-18T12:30:15.759754+00:00"},{"alias_kind":"pith_short_16","alias_value":"FOVCDJGSIE6SHCMJ","created_at":"2026-05-18T12:30:15.759754+00:00"},{"alias_kind":"pith_short_8","alias_value":"FOVCDJGS","created_at":"2026-05-18T12:30:15.759754+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/FOVCDJGSIE6SHCMJQERYYANREQ","json":"https://pith.science/pith/FOVCDJGSIE6SHCMJQERYYANREQ.json","graph_json":"https://pith.science/api/pith-number/FOVCDJGSIE6SHCMJQERYYANREQ/graph.json","events_json":"https://pith.science/api/pith-number/FOVCDJGSIE6SHCMJQERYYANREQ/events.json","paper":"https://pith.science/paper/FOVCDJGS"},"agent_actions":{"view_html":"https://pith.science/pith/FOVCDJGSIE6SHCMJQERYYANREQ","download_json":"https://pith.science/pith/FOVCDJGSIE6SHCMJQERYYANREQ.json","view_paper":"https://pith.science/paper/FOVCDJGS","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1610.07198&json=true","fetch_graph":"https://pith.science/api/pith-number/FOVCDJGSIE6SHCMJQERYYANREQ/graph.json","fetch_events":"https://pith.science/api/pith-number/FOVCDJGSIE6SHCMJQERYYANREQ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/FOVCDJGSIE6SHCMJQERYYANREQ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/FOVCDJGSIE6SHCMJQERYYANREQ/action/storage_attestation","attest_author":"https://pith.science/pith/FOVCDJGSIE6SHCMJQERYYANREQ/action/author_attestation","sign_citation":"https://pith.science/pith/FOVCDJGSIE6SHCMJQERYYANREQ/action/citation_signature","submit_replication":"https://pith.science/pith/FOVCDJGSIE6SHCMJQERYYANREQ/action/replication_record"}},"created_at":"2026-05-18T00:40:40.959444+00:00","updated_at":"2026-05-18T00:40:40.959444+00:00"}