{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:ZKPVFUOUVVQIQFQL5JQTJJZKVI","short_pith_number":"pith:ZKPVFUOU","canonical_record":{"source":{"id":"1811.12099","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-11-29T12:41:38Z","cross_cats_sorted":[],"title_canon_sha256":"70b8355dd09f3434763aa1eed875234af9a3013b7c007684050ac7e4ea2c8c70","abstract_canon_sha256":"2475c627ca9b82cdac4fc0e6e97c3c6f43b8dd3429b5f4d8d3d32272eb8b931d"},"schema_version":"1.0"},"canonical_sha256":"ca9f52d1d4ad6088160bea6134a72aaa2beec918621b297a3403352f3ee1f2e3","source":{"kind":"arxiv","id":"1811.12099","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1811.12099","created_at":"2026-05-17T23:59:34Z"},{"alias_kind":"arxiv_version","alias_value":"1811.12099v1","created_at":"2026-05-17T23:59:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1811.12099","created_at":"2026-05-17T23:59:34Z"},{"alias_kind":"pith_short_12","alias_value":"ZKPVFUOUVVQI","created_at":"2026-05-18T12:33:07Z"},{"alias_kind":"pith_short_16","alias_value":"ZKPVFUOUVVQIQFQL","created_at":"2026-05-18T12:33:07Z"},{"alias_kind":"pith_short_8","alias_value":"ZKPVFUOU","created_at":"2026-05-18T12:33:07Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:ZKPVFUOUVVQIQFQL5JQTJJZKVI","target":"record","payload":{"canonical_record":{"source":{"id":"1811.12099","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-11-29T12:41:38Z","cross_cats_sorted":[],"title_canon_sha256":"70b8355dd09f3434763aa1eed875234af9a3013b7c007684050ac7e4ea2c8c70","abstract_canon_sha256":"2475c627ca9b82cdac4fc0e6e97c3c6f43b8dd3429b5f4d8d3d32272eb8b931d"},"schema_version":"1.0"},"canonical_sha256":"ca9f52d1d4ad6088160bea6134a72aaa2beec918621b297a3403352f3ee1f2e3","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:59:34.433450Z","signature_b64":"9eFK6dzNefkf1W78xlxMSL/jjaswA570fIvDbthRooB8T7ntdjRT6bt5H2pe7tPpe9YRHlmyxFOJatWzc85ADQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ca9f52d1d4ad6088160bea6134a72aaa2beec918621b297a3403352f3ee1f2e3","last_reissued_at":"2026-05-17T23:59:34.432713Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:59:34.432713Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1811.12099","source_version":1,"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:59:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2qIsRIoP8pZCeAcCyo9WuiUz1vFEFMLMLTNVDY+oBGPEyTAKta3yFeiStEHDG/bV0xzK/DUnPgnREIXGHJrBDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T01:16:41.057570Z"},"content_sha256":"1658d964fadeffa908f4c942a007c07fa479b582c61f293e30a9f3b3e7e74f9a","schema_version":"1.0","event_id":"sha256:1658d964fadeffa908f4c942a007c07fa479b582c61f293e30a9f3b3e7e74f9a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:ZKPVFUOUVVQIQFQL5JQTJJZKVI","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Interoperability-Guided Testing of QUIC Implementations using Symbolic Execution","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Daniel Schemmel, Felix Rath, Klaus Wehrle","submitted_at":"2018-11-29T12:41:38Z","abstract_excerpt":"The main reason for the standardization of network protocols, like QUIC, is to ensure interoperability between implementations, which poses a challenging task. Manual tests are currently used to test the different existing implementations for interoperability, but given the complex nature of network protocols, it is hard to cover all possible edge cases.\n  State-of-the-art automated software testing techniques, such as Symbolic Execution (SymEx), have proven themselves capable of analyzing complex real-world software and finding hard to detect bugs. We present a SymEx-based method for finding "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1811.12099","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"},"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:59:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"oTbrglU6xWiQ7FEh5bPN9wM0ONmMnnv33qXDg319q1IqRtY17poLOiyCs4KELBytBAZqoUuSQTHZTKLbaLIgCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T01:16:41.058207Z"},"content_sha256":"6f85464f58726d7bc6c3856f6ac917ccb9fda89a0cc2a567c21c11a9a2a6e4e6","schema_version":"1.0","event_id":"sha256:6f85464f58726d7bc6c3856f6ac917ccb9fda89a0cc2a567c21c11a9a2a6e4e6"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ZKPVFUOUVVQIQFQL5JQTJJZKVI/bundle.json","state_url":"https://pith.science/pith/ZKPVFUOUVVQIQFQL5JQTJJZKVI/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ZKPVFUOUVVQIQFQL5JQTJJZKVI/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-31T01:16:41Z","links":{"resolver":"https://pith.science/pith/ZKPVFUOUVVQIQFQL5JQTJJZKVI","bundle":"https://pith.science/pith/ZKPVFUOUVVQIQFQL5JQTJJZKVI/bundle.json","state":"https://pith.science/pith/ZKPVFUOUVVQIQFQL5JQTJJZKVI/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ZKPVFUOUVVQIQFQL5JQTJJZKVI/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:ZKPVFUOUVVQIQFQL5JQTJJZKVI","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":"2475c627ca9b82cdac4fc0e6e97c3c6f43b8dd3429b5f4d8d3d32272eb8b931d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-11-29T12:41:38Z","title_canon_sha256":"70b8355dd09f3434763aa1eed875234af9a3013b7c007684050ac7e4ea2c8c70"},"schema_version":"1.0","source":{"id":"1811.12099","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1811.12099","created_at":"2026-05-17T23:59:34Z"},{"alias_kind":"arxiv_version","alias_value":"1811.12099v1","created_at":"2026-05-17T23:59:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1811.12099","created_at":"2026-05-17T23:59:34Z"},{"alias_kind":"pith_short_12","alias_value":"ZKPVFUOUVVQI","created_at":"2026-05-18T12:33:07Z"},{"alias_kind":"pith_short_16","alias_value":"ZKPVFUOUVVQIQFQL","created_at":"2026-05-18T12:33:07Z"},{"alias_kind":"pith_short_8","alias_value":"ZKPVFUOU","created_at":"2026-05-18T12:33:07Z"}],"graph_snapshots":[{"event_id":"sha256:6f85464f58726d7bc6c3856f6ac917ccb9fda89a0cc2a567c21c11a9a2a6e4e6","target":"graph","created_at":"2026-05-17T23:59:34Z","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":"The main reason for the standardization of network protocols, like QUIC, is to ensure interoperability between implementations, which poses a challenging task. Manual tests are currently used to test the different existing implementations for interoperability, but given the complex nature of network protocols, it is hard to cover all possible edge cases.\n  State-of-the-art automated software testing techniques, such as Symbolic Execution (SymEx), have proven themselves capable of analyzing complex real-world software and finding hard to detect bugs. We present a SymEx-based method for finding ","authors_text":"Daniel Schemmel, Felix Rath, Klaus Wehrle","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-11-29T12:41:38Z","title":"Interoperability-Guided Testing of QUIC Implementations using Symbolic Execution"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1811.12099","kind":"arxiv","version":1},"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:1658d964fadeffa908f4c942a007c07fa479b582c61f293e30a9f3b3e7e74f9a","target":"record","created_at":"2026-05-17T23:59:34Z","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":"2475c627ca9b82cdac4fc0e6e97c3c6f43b8dd3429b5f4d8d3d32272eb8b931d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-11-29T12:41:38Z","title_canon_sha256":"70b8355dd09f3434763aa1eed875234af9a3013b7c007684050ac7e4ea2c8c70"},"schema_version":"1.0","source":{"id":"1811.12099","kind":"arxiv","version":1}},"canonical_sha256":"ca9f52d1d4ad6088160bea6134a72aaa2beec918621b297a3403352f3ee1f2e3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ca9f52d1d4ad6088160bea6134a72aaa2beec918621b297a3403352f3ee1f2e3","first_computed_at":"2026-05-17T23:59:34.432713Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:59:34.432713Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"9eFK6dzNefkf1W78xlxMSL/jjaswA570fIvDbthRooB8T7ntdjRT6bt5H2pe7tPpe9YRHlmyxFOJatWzc85ADQ==","signature_status":"signed_v1","signed_at":"2026-05-17T23:59:34.433450Z","signed_message":"canonical_sha256_bytes"},"source_id":"1811.12099","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1658d964fadeffa908f4c942a007c07fa479b582c61f293e30a9f3b3e7e74f9a","sha256:6f85464f58726d7bc6c3856f6ac917ccb9fda89a0cc2a567c21c11a9a2a6e4e6"],"state_sha256":"2d118771c44529521854effd068bbe07bdad15982c2a31971508aa6af6470dd9"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xtYjVLg7Klw/nxqwYLMpGqOPh26y0LiZ7UIwKhatyaIcyq3O4uzqBeP90EfAwlhwAwgIscbqrONyVX0/jvLrBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-31T01:16:41.061692Z","bundle_sha256":"021055054e6cda2dcf1d476776966390d34b05a24956b8972eac828cf1bf3642"}}