{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:SSJYIGW5IC3NSSEHHLA3C533Y3","short_pith_number":"pith:SSJYIGW5","canonical_record":{"source":{"id":"1604.02847","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NI","submitted_at":"2016-04-11T09:08:24Z","cross_cats_sorted":[],"title_canon_sha256":"52bfd1b7807c6d051b2fcf0a952bea66c5cc653fd174cd2c0b44e8c3bda3593b","abstract_canon_sha256":"7e646e417c3744d7d35122c69f38926ae983d9229da3b20f80ab7bd640b0324b"},"schema_version":"1.0"},"canonical_sha256":"9493841add40b6d948873ac1b1777bc6dbdcf43f9789b8a69059fcb0dde24831","source":{"kind":"arxiv","id":"1604.02847","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1604.02847","created_at":"2026-05-18T01:17:22Z"},{"alias_kind":"arxiv_version","alias_value":"1604.02847v1","created_at":"2026-05-18T01:17:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1604.02847","created_at":"2026-05-18T01:17:22Z"},{"alias_kind":"pith_short_12","alias_value":"SSJYIGW5IC3N","created_at":"2026-05-18T12:30:44Z"},{"alias_kind":"pith_short_16","alias_value":"SSJYIGW5IC3NSSEH","created_at":"2026-05-18T12:30:44Z"},{"alias_kind":"pith_short_8","alias_value":"SSJYIGW5","created_at":"2026-05-18T12:30:44Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:SSJYIGW5IC3NSSEHHLA3C533Y3","target":"record","payload":{"canonical_record":{"source":{"id":"1604.02847","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NI","submitted_at":"2016-04-11T09:08:24Z","cross_cats_sorted":[],"title_canon_sha256":"52bfd1b7807c6d051b2fcf0a952bea66c5cc653fd174cd2c0b44e8c3bda3593b","abstract_canon_sha256":"7e646e417c3744d7d35122c69f38926ae983d9229da3b20f80ab7bd640b0324b"},"schema_version":"1.0"},"canonical_sha256":"9493841add40b6d948873ac1b1777bc6dbdcf43f9789b8a69059fcb0dde24831","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:17:22.005619Z","signature_b64":"UbNJH66F/77C6vppWY17MOgOdwIo9cuD77QeidCpRqh2O81Q8OiplQMLbHqoiVfA3vnp0rr0m1DZ6heGOAWsAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9493841add40b6d948873ac1b1777bc6dbdcf43f9789b8a69059fcb0dde24831","last_reissued_at":"2026-05-18T01:17:22.005043Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:17:22.005043Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1604.02847","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-18T01:17:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DlkDPr/xiYl014+S/W25QauQi8UB644t3EeRzeIPMX28M9r7dVLPQfOiZw6zft500oiZc7KlmjJnUYREesmjCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T03:27:45.982047Z"},"content_sha256":"418124ab1f370bd4970e86d7e4287f25c9f904e1b4c632d161b47676abababe3","schema_version":"1.0","event_id":"sha256:418124ab1f370bd4970e86d7e4287f25c9f904e1b4c632d161b47676abababe3"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:SSJYIGW5IC3NSSEHHLA3C533Y3","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"SymNet: scalable symbolic execution for modern networks","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.NI","authors_text":"Costin Raiciu, Lorina Negreanu, Matei Popovici, Radu Stoenescu","submitted_at":"2016-04-11T09:08:24Z","abstract_excerpt":"We present SymNet, a network static analysis tool based on symbolic execution. SymNet quickly analyzes networks by injecting symbolic packets and tracing their path through the network. Our key novelty is SEFL, a language we designed for network processing that is symbolic-execution friendly.\n  SymNet is easy to use: we have developed parsers that automatically generate SEFL models from router and switch tables, firewall configurations and arbitrary Click modular router configurations. Most of our models are exact and have optimal branching factor. Finally, we built a testing tool that checks "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1604.02847","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-18T01:17:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pS2mkVvHQhcsvmmW2/lXnHZyutIVyr1Ulrv8rhQ+knWJqNvM7MfYKSUVRZpmai/T8fBKf3FC4/ml0Pg2ZRsmAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T03:27:45.982414Z"},"content_sha256":"edf9618497eda4d58f72454d45520763e02653186ce0611daa380aa29c7ffc6e","schema_version":"1.0","event_id":"sha256:edf9618497eda4d58f72454d45520763e02653186ce0611daa380aa29c7ffc6e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/SSJYIGW5IC3NSSEHHLA3C533Y3/bundle.json","state_url":"https://pith.science/pith/SSJYIGW5IC3NSSEHHLA3C533Y3/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/SSJYIGW5IC3NSSEHHLA3C533Y3/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-28T03:27:45Z","links":{"resolver":"https://pith.science/pith/SSJYIGW5IC3NSSEHHLA3C533Y3","bundle":"https://pith.science/pith/SSJYIGW5IC3NSSEHHLA3C533Y3/bundle.json","state":"https://pith.science/pith/SSJYIGW5IC3NSSEHHLA3C533Y3/state.json","well_known_bundle":"https://pith.science/.well-known/pith/SSJYIGW5IC3NSSEHHLA3C533Y3/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:SSJYIGW5IC3NSSEHHLA3C533Y3","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":"7e646e417c3744d7d35122c69f38926ae983d9229da3b20f80ab7bd640b0324b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NI","submitted_at":"2016-04-11T09:08:24Z","title_canon_sha256":"52bfd1b7807c6d051b2fcf0a952bea66c5cc653fd174cd2c0b44e8c3bda3593b"},"schema_version":"1.0","source":{"id":"1604.02847","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1604.02847","created_at":"2026-05-18T01:17:22Z"},{"alias_kind":"arxiv_version","alias_value":"1604.02847v1","created_at":"2026-05-18T01:17:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1604.02847","created_at":"2026-05-18T01:17:22Z"},{"alias_kind":"pith_short_12","alias_value":"SSJYIGW5IC3N","created_at":"2026-05-18T12:30:44Z"},{"alias_kind":"pith_short_16","alias_value":"SSJYIGW5IC3NSSEH","created_at":"2026-05-18T12:30:44Z"},{"alias_kind":"pith_short_8","alias_value":"SSJYIGW5","created_at":"2026-05-18T12:30:44Z"}],"graph_snapshots":[{"event_id":"sha256:edf9618497eda4d58f72454d45520763e02653186ce0611daa380aa29c7ffc6e","target":"graph","created_at":"2026-05-18T01:17:22Z","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":"We present SymNet, a network static analysis tool based on symbolic execution. SymNet quickly analyzes networks by injecting symbolic packets and tracing their path through the network. Our key novelty is SEFL, a language we designed for network processing that is symbolic-execution friendly.\n  SymNet is easy to use: we have developed parsers that automatically generate SEFL models from router and switch tables, firewall configurations and arbitrary Click modular router configurations. Most of our models are exact and have optimal branching factor. Finally, we built a testing tool that checks ","authors_text":"Costin Raiciu, Lorina Negreanu, Matei Popovici, Radu Stoenescu","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NI","submitted_at":"2016-04-11T09:08:24Z","title":"SymNet: scalable symbolic execution for modern networks"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1604.02847","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:418124ab1f370bd4970e86d7e4287f25c9f904e1b4c632d161b47676abababe3","target":"record","created_at":"2026-05-18T01:17:22Z","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":"7e646e417c3744d7d35122c69f38926ae983d9229da3b20f80ab7bd640b0324b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NI","submitted_at":"2016-04-11T09:08:24Z","title_canon_sha256":"52bfd1b7807c6d051b2fcf0a952bea66c5cc653fd174cd2c0b44e8c3bda3593b"},"schema_version":"1.0","source":{"id":"1604.02847","kind":"arxiv","version":1}},"canonical_sha256":"9493841add40b6d948873ac1b1777bc6dbdcf43f9789b8a69059fcb0dde24831","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9493841add40b6d948873ac1b1777bc6dbdcf43f9789b8a69059fcb0dde24831","first_computed_at":"2026-05-18T01:17:22.005043Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:17:22.005043Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"UbNJH66F/77C6vppWY17MOgOdwIo9cuD77QeidCpRqh2O81Q8OiplQMLbHqoiVfA3vnp0rr0m1DZ6heGOAWsAg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:17:22.005619Z","signed_message":"canonical_sha256_bytes"},"source_id":"1604.02847","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:418124ab1f370bd4970e86d7e4287f25c9f904e1b4c632d161b47676abababe3","sha256:edf9618497eda4d58f72454d45520763e02653186ce0611daa380aa29c7ffc6e"],"state_sha256":"ea63f61c875798030d61b1affa3b3c1aca18ee1da664288f83689c9ae704133c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"C052LBcE8GDbe9eVwv761ZPz2ABoafW8PH6aN2pZRUk9NQp70Yih7DYywTxLXNGmq66BjfrCFCpoEqQlWmEeDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T03:27:45.984354Z","bundle_sha256":"e87f906682cd616ff253e7e2e66d4e270a20807430c408d5075b6c3ab9e3d8a0"}}