{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:3VFZ245GXTXGYPPFVH2K434KA4","short_pith_number":"pith:3VFZ245G","canonical_record":{"source":{"id":"1804.03650","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2018-04-10T17:52:04Z","cross_cats_sorted":[],"title_canon_sha256":"d6460192e70d6a79d9cc17437c79a9b496ff92e119b1083c01b534f124173d5f","abstract_canon_sha256":"81e53010b2a02a425b82be364a35b26d1101f97e479a2e1c83df62cfad504392"},"schema_version":"1.0"},"canonical_sha256":"dd4b9d73a6bcee6c3de5a9f4ae6f8a072c085bd3d8f2f00478a53173c900a415","source":{"kind":"arxiv","id":"1804.03650","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1804.03650","created_at":"2026-05-18T00:17:37Z"},{"alias_kind":"arxiv_version","alias_value":"1804.03650v2","created_at":"2026-05-18T00:17:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.03650","created_at":"2026-05-18T00:17:37Z"},{"alias_kind":"pith_short_12","alias_value":"3VFZ245GXTXG","created_at":"2026-05-18T12:32:05Z"},{"alias_kind":"pith_short_16","alias_value":"3VFZ245GXTXGYPPF","created_at":"2026-05-18T12:32:05Z"},{"alias_kind":"pith_short_8","alias_value":"3VFZ245G","created_at":"2026-05-18T12:32:05Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:3VFZ245GXTXGYPPFVH2K434KA4","target":"record","payload":{"canonical_record":{"source":{"id":"1804.03650","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2018-04-10T17:52:04Z","cross_cats_sorted":[],"title_canon_sha256":"d6460192e70d6a79d9cc17437c79a9b496ff92e119b1083c01b534f124173d5f","abstract_canon_sha256":"81e53010b2a02a425b82be364a35b26d1101f97e479a2e1c83df62cfad504392"},"schema_version":"1.0"},"canonical_sha256":"dd4b9d73a6bcee6c3de5a9f4ae6f8a072c085bd3d8f2f00478a53173c900a415","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:17:37.827904Z","signature_b64":"4ZxNADOLf6dWsy/VfLuz/J8ylqQhsR2c4vsOnOfp2VQVQ5fx+vdnKfeaq/XbD0FKny5tjknuwzkCpeup7C8kCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"dd4b9d73a6bcee6c3de5a9f4ae6f8a072c085bd3d8f2f00478a53173c900a415","last_reissued_at":"2026-05-18T00:17:37.827205Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:17:37.827205Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1804.03650","source_version":2,"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-18T00:17:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jd5sJs/GjMfKju/1lV7XHl4Mm5k/qPnUmY+wKIVnWqienyHRuZWiuHxsmhUDEjN8XmVVbgOSsah5q0w2M+EUCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T21:29:18.088394Z"},"content_sha256":"89972646a79caeec982284c7485cfb0c61d359ee2e7ac98c9b7e9023ed8efb58","schema_version":"1.0","event_id":"sha256:89972646a79caeec982284c7485cfb0c61d359ee2e7ac98c9b7e9023ed8efb58"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:3VFZ245GXTXGYPPFVH2K434KA4","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"POR for Security Protocol Equivalences: Beyond Action-Determinism","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"David Baelde, Lucca Hirschi, St\\'ephanie Delaune","submitted_at":"2018-04-10T17:52:04Z","abstract_excerpt":"Formal methods have proved effective to automatically analyze protocols. Over the past years, much research has focused on verifying trace equivalence on protocols, which is notably used to model many interesting privacy properties, e.g., anonymity or unlinkability. Many tools for checking trace equivalence rely on a naive and expensive exploration of all interleavings of concurrent actions, which calls for partial-order reduction (POR) techniques. In this paper, we present the first POR technique for protocol equivalences that does not rely on an action-determinism assumption: we recast the t"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.03650","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"},"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-18T00:17:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"WbvuaU+BYffJGum5miKXEh+fBy1sXMjvpb7AK8f8iOeFqw5UDTAwXEfiyZPnJUi0sXvelyhcA7HsPXUEd1/LAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T21:29:18.089056Z"},"content_sha256":"e2c41825be3bc5451a8431c5102dfc05207c83d84fa047a5e8ad14db30ae9508","schema_version":"1.0","event_id":"sha256:e2c41825be3bc5451a8431c5102dfc05207c83d84fa047a5e8ad14db30ae9508"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3VFZ245GXTXGYPPFVH2K434KA4/bundle.json","state_url":"https://pith.science/pith/3VFZ245GXTXGYPPFVH2K434KA4/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3VFZ245GXTXGYPPFVH2K434KA4/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-06-05T21:29:18Z","links":{"resolver":"https://pith.science/pith/3VFZ245GXTXGYPPFVH2K434KA4","bundle":"https://pith.science/pith/3VFZ245GXTXGYPPFVH2K434KA4/bundle.json","state":"https://pith.science/pith/3VFZ245GXTXGYPPFVH2K434KA4/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3VFZ245GXTXGYPPFVH2K434KA4/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:3VFZ245GXTXGYPPFVH2K434KA4","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":"81e53010b2a02a425b82be364a35b26d1101f97e479a2e1c83df62cfad504392","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2018-04-10T17:52:04Z","title_canon_sha256":"d6460192e70d6a79d9cc17437c79a9b496ff92e119b1083c01b534f124173d5f"},"schema_version":"1.0","source":{"id":"1804.03650","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1804.03650","created_at":"2026-05-18T00:17:37Z"},{"alias_kind":"arxiv_version","alias_value":"1804.03650v2","created_at":"2026-05-18T00:17:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.03650","created_at":"2026-05-18T00:17:37Z"},{"alias_kind":"pith_short_12","alias_value":"3VFZ245GXTXG","created_at":"2026-05-18T12:32:05Z"},{"alias_kind":"pith_short_16","alias_value":"3VFZ245GXTXGYPPF","created_at":"2026-05-18T12:32:05Z"},{"alias_kind":"pith_short_8","alias_value":"3VFZ245G","created_at":"2026-05-18T12:32:05Z"}],"graph_snapshots":[{"event_id":"sha256:e2c41825be3bc5451a8431c5102dfc05207c83d84fa047a5e8ad14db30ae9508","target":"graph","created_at":"2026-05-18T00:17:37Z","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":"Formal methods have proved effective to automatically analyze protocols. Over the past years, much research has focused on verifying trace equivalence on protocols, which is notably used to model many interesting privacy properties, e.g., anonymity or unlinkability. Many tools for checking trace equivalence rely on a naive and expensive exploration of all interleavings of concurrent actions, which calls for partial-order reduction (POR) techniques. In this paper, we present the first POR technique for protocol equivalences that does not rely on an action-determinism assumption: we recast the t","authors_text":"David Baelde, Lucca Hirschi, St\\'ephanie Delaune","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2018-04-10T17:52:04Z","title":"POR for Security Protocol Equivalences: Beyond Action-Determinism"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.03650","kind":"arxiv","version":2},"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:89972646a79caeec982284c7485cfb0c61d359ee2e7ac98c9b7e9023ed8efb58","target":"record","created_at":"2026-05-18T00:17:37Z","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":"81e53010b2a02a425b82be364a35b26d1101f97e479a2e1c83df62cfad504392","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2018-04-10T17:52:04Z","title_canon_sha256":"d6460192e70d6a79d9cc17437c79a9b496ff92e119b1083c01b534f124173d5f"},"schema_version":"1.0","source":{"id":"1804.03650","kind":"arxiv","version":2}},"canonical_sha256":"dd4b9d73a6bcee6c3de5a9f4ae6f8a072c085bd3d8f2f00478a53173c900a415","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"dd4b9d73a6bcee6c3de5a9f4ae6f8a072c085bd3d8f2f00478a53173c900a415","first_computed_at":"2026-05-18T00:17:37.827205Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:17:37.827205Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"4ZxNADOLf6dWsy/VfLuz/J8ylqQhsR2c4vsOnOfp2VQVQ5fx+vdnKfeaq/XbD0FKny5tjknuwzkCpeup7C8kCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:17:37.827904Z","signed_message":"canonical_sha256_bytes"},"source_id":"1804.03650","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:89972646a79caeec982284c7485cfb0c61d359ee2e7ac98c9b7e9023ed8efb58","sha256:e2c41825be3bc5451a8431c5102dfc05207c83d84fa047a5e8ad14db30ae9508"],"state_sha256":"ba057f41568e14d6f7a116fb751bae55aacefdbe12cbb2361d9b2d09eae6be0f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RGVDDEm2Sqm/Qtmy1XwMtPmo/w7omfbrifZEsYtaa8FCFbwSBmMLHbEdWu6G8bVlsinc1NMM9EkB8pdrsicwAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-05T21:29:18.092857Z","bundle_sha256":"bccd592b6fa238c832e20ca9039bb454263c30d8a40c9d1f27dc1696cd712d39"}}