{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:MWG7GBTM4ALKAT2C44UYUS47IP","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":"028df4beffc86e2164d63c828891f406b100200a89728f548607c45278c6e96e","cross_cats_sorted":["cs.LO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2015-04-18T21:58:38Z","title_canon_sha256":"5efedf9dd1674fb2467bb123b38ea7310938247afa1ade5cca1f909e58d07e04"},"schema_version":"1.0","source":{"id":"1504.04768","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1504.04768","created_at":"2026-05-18T01:33:51Z"},{"alias_kind":"arxiv_version","alias_value":"1504.04768v3","created_at":"2026-05-18T01:33:51Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1504.04768","created_at":"2026-05-18T01:33:51Z"},{"alias_kind":"pith_short_12","alias_value":"MWG7GBTM4ALK","created_at":"2026-05-18T12:29:32Z"},{"alias_kind":"pith_short_16","alias_value":"MWG7GBTM4ALKAT2C","created_at":"2026-05-18T12:29:32Z"},{"alias_kind":"pith_short_8","alias_value":"MWG7GBTM","created_at":"2026-05-18T12:29:32Z"}],"graph_snapshots":[{"event_id":"sha256:0f5adba7774b55fc5021548971fd702a1a1d7af368248535cfedbda14f5130c1","target":"graph","created_at":"2026-05-18T01:33:51Z","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":"Security protocols are concurrent processes that communicate using cryptography with the aim of achieving various security properties. Recent work on their formal verification has brought procedures and tools for deciding trace equivalence properties (e.g., anonymity, unlinkability, vote secrecy) for a bounded number of sessions. However, these procedures are based on a naive symbolic exploration of all traces of the considered processes which, unsurprisingly, greatly limits the scalability and practical impact of the verification tools.\n  In this paper, we overcome this difficulty by developi","authors_text":"David Baelde, Lucca Hirschi, St\\'ephanie Delaune","cross_cats":["cs.LO"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2015-04-18T21:58:38Z","title":"Partial Order Reduction for Security Protocols"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1504.04768","kind":"arxiv","version":3},"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:b0ce508241e05c884e27cc5731aca9d295538292663c5189380ebb7fe251380f","target":"record","created_at":"2026-05-18T01:33:51Z","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":"028df4beffc86e2164d63c828891f406b100200a89728f548607c45278c6e96e","cross_cats_sorted":["cs.LO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2015-04-18T21:58:38Z","title_canon_sha256":"5efedf9dd1674fb2467bb123b38ea7310938247afa1ade5cca1f909e58d07e04"},"schema_version":"1.0","source":{"id":"1504.04768","kind":"arxiv","version":3}},"canonical_sha256":"658df3066ce016a04f42e7298a4b9f43d700cf50660e9c87e421db79b0a884bf","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"658df3066ce016a04f42e7298a4b9f43d700cf50660e9c87e421db79b0a884bf","first_computed_at":"2026-05-18T01:33:51.734304Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:33:51.734304Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"llb/FzwlA3ePiNcLT+8xcTvq45ctx5RtNQgdnId+pO+bDHHLW/cu4DhuI59/j5/uO4CtRhH1UbZHOoRHRY6hAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:33:51.734967Z","signed_message":"canonical_sha256_bytes"},"source_id":"1504.04768","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b0ce508241e05c884e27cc5731aca9d295538292663c5189380ebb7fe251380f","sha256:0f5adba7774b55fc5021548971fd702a1a1d7af368248535cfedbda14f5130c1"],"state_sha256":"dc83da3fbb1ad7f855a4c20154c9484da1dda0d7618b886225be8ddc0a943ec1"}