{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:V6TST4YZNHGX4QDDRYEFHH4EGZ","short_pith_number":"pith:V6TST4YZ","canonical_record":{"source":{"id":"1405.2738","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2014-05-12T13:10:33Z","cross_cats_sorted":[],"title_canon_sha256":"264d4f4dee215bb7cb698b68c8e222c165ae72e361f94659fbdc438ccc8d09dd","abstract_canon_sha256":"5885ec0b0102e813c2dccc52b8fde90f850983eebd323b531c98e5fdd1900843"},"schema_version":"1.0"},"canonical_sha256":"afa729f31969cd7e40638e08539f84364bf32ba14d7c13a62f2a115df657c841","source":{"kind":"arxiv","id":"1405.2738","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1405.2738","created_at":"2026-05-18T01:37:35Z"},{"alias_kind":"arxiv_version","alias_value":"1405.2738v2","created_at":"2026-05-18T01:37:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1405.2738","created_at":"2026-05-18T01:37:35Z"},{"alias_kind":"pith_short_12","alias_value":"V6TST4YZNHGX","created_at":"2026-05-18T12:28:52Z"},{"alias_kind":"pith_short_16","alias_value":"V6TST4YZNHGX4QDD","created_at":"2026-05-18T12:28:52Z"},{"alias_kind":"pith_short_8","alias_value":"V6TST4YZ","created_at":"2026-05-18T12:28:52Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:V6TST4YZNHGX4QDDRYEFHH4EGZ","target":"record","payload":{"canonical_record":{"source":{"id":"1405.2738","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2014-05-12T13:10:33Z","cross_cats_sorted":[],"title_canon_sha256":"264d4f4dee215bb7cb698b68c8e222c165ae72e361f94659fbdc438ccc8d09dd","abstract_canon_sha256":"5885ec0b0102e813c2dccc52b8fde90f850983eebd323b531c98e5fdd1900843"},"schema_version":"1.0"},"canonical_sha256":"afa729f31969cd7e40638e08539f84364bf32ba14d7c13a62f2a115df657c841","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:37:35.831496Z","signature_b64":"3TK1iN5yQEJncz6o9NKj/7KGMnnnthej2Vai7oHEmgUEE/MzOibfSP5Z/N3jTwwkOBIldrAea11MyUZp2gJzDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"afa729f31969cd7e40638e08539f84364bf32ba14d7c13a62f2a115df657c841","last_reissued_at":"2026-05-18T01:37:35.831011Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:37:35.831011Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1405.2738","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-18T01:37:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lW+iI1zP+hRiEhLgbR9861+n6XlozFFi0wXgUW7Dxuu2Xn9rddJwRIxtw6eJZoixhVs0urc5ekrx5n+4SesJAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-02T13:24:18.809379Z"},"content_sha256":"26b66621f085422fe410bd0a56399181b68d5ca5f7cceaa6736e5b7563c75ca5","schema_version":"1.0","event_id":"sha256:26b66621f085422fe410bd0a56399181b68d5ca5f7cceaa6736e5b7563c75ca5"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:V6TST4YZNHGX4QDDRYEFHH4EGZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Dynamic Tags for Security Protocols","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"CNRS & ENS Cachan), Myrto Arapinis (School of Computer Science, St\\'ephanie Delaune (LSV, Steve Kremer (INRIA Nancy - Grand-Est), University of Birmingham)","submitted_at":"2014-05-12T13:10:33Z","abstract_excerpt":"The design and verification of cryptographic protocols is a notoriously difficult task, even in symbolic models which take an abstract view of cryptography. This is mainly due to the fact that protocols may interact with an arbitrary attacker which yields a verification problem that has several sources of unboundedness (size of messages, number of sessions, etc. In this paper, we characterize a class of protocols for which deciding security for an unbounded number of sessions is decidable. More precisely, we present a simple transformation which maps a protocol that is secure for a bounded num"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1405.2738","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-18T01:37:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TxDw+bairS3IpKLdPlRFv6VN7OEffMDtI3wtwRSMquPurrPTSausmDQcaX0XhUz+BvGx13u7nEXVzcVMuX42DA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-02T13:24:18.809736Z"},"content_sha256":"acaff8f92db719b61c51337fe504eab2605b1dc6b93f99873da96c99770099cd","schema_version":"1.0","event_id":"sha256:acaff8f92db719b61c51337fe504eab2605b1dc6b93f99873da96c99770099cd"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/V6TST4YZNHGX4QDDRYEFHH4EGZ/bundle.json","state_url":"https://pith.science/pith/V6TST4YZNHGX4QDDRYEFHH4EGZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/V6TST4YZNHGX4QDDRYEFHH4EGZ/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-07-02T13:24:18Z","links":{"resolver":"https://pith.science/pith/V6TST4YZNHGX4QDDRYEFHH4EGZ","bundle":"https://pith.science/pith/V6TST4YZNHGX4QDDRYEFHH4EGZ/bundle.json","state":"https://pith.science/pith/V6TST4YZNHGX4QDDRYEFHH4EGZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/V6TST4YZNHGX4QDDRYEFHH4EGZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:V6TST4YZNHGX4QDDRYEFHH4EGZ","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":"5885ec0b0102e813c2dccc52b8fde90f850983eebd323b531c98e5fdd1900843","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2014-05-12T13:10:33Z","title_canon_sha256":"264d4f4dee215bb7cb698b68c8e222c165ae72e361f94659fbdc438ccc8d09dd"},"schema_version":"1.0","source":{"id":"1405.2738","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1405.2738","created_at":"2026-05-18T01:37:35Z"},{"alias_kind":"arxiv_version","alias_value":"1405.2738v2","created_at":"2026-05-18T01:37:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1405.2738","created_at":"2026-05-18T01:37:35Z"},{"alias_kind":"pith_short_12","alias_value":"V6TST4YZNHGX","created_at":"2026-05-18T12:28:52Z"},{"alias_kind":"pith_short_16","alias_value":"V6TST4YZNHGX4QDD","created_at":"2026-05-18T12:28:52Z"},{"alias_kind":"pith_short_8","alias_value":"V6TST4YZ","created_at":"2026-05-18T12:28:52Z"}],"graph_snapshots":[{"event_id":"sha256:acaff8f92db719b61c51337fe504eab2605b1dc6b93f99873da96c99770099cd","target":"graph","created_at":"2026-05-18T01:37:35Z","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 design and verification of cryptographic protocols is a notoriously difficult task, even in symbolic models which take an abstract view of cryptography. This is mainly due to the fact that protocols may interact with an arbitrary attacker which yields a verification problem that has several sources of unboundedness (size of messages, number of sessions, etc. In this paper, we characterize a class of protocols for which deciding security for an unbounded number of sessions is decidable. More precisely, we present a simple transformation which maps a protocol that is secure for a bounded num","authors_text":"CNRS & ENS Cachan), Myrto Arapinis (School of Computer Science, St\\'ephanie Delaune (LSV, Steve Kremer (INRIA Nancy - Grand-Est), University of Birmingham)","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2014-05-12T13:10:33Z","title":"Dynamic Tags for Security Protocols"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1405.2738","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:26b66621f085422fe410bd0a56399181b68d5ca5f7cceaa6736e5b7563c75ca5","target":"record","created_at":"2026-05-18T01:37:35Z","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":"5885ec0b0102e813c2dccc52b8fde90f850983eebd323b531c98e5fdd1900843","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2014-05-12T13:10:33Z","title_canon_sha256":"264d4f4dee215bb7cb698b68c8e222c165ae72e361f94659fbdc438ccc8d09dd"},"schema_version":"1.0","source":{"id":"1405.2738","kind":"arxiv","version":2}},"canonical_sha256":"afa729f31969cd7e40638e08539f84364bf32ba14d7c13a62f2a115df657c841","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"afa729f31969cd7e40638e08539f84364bf32ba14d7c13a62f2a115df657c841","first_computed_at":"2026-05-18T01:37:35.831011Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:37:35.831011Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"3TK1iN5yQEJncz6o9NKj/7KGMnnnthej2Vai7oHEmgUEE/MzOibfSP5Z/N3jTwwkOBIldrAea11MyUZp2gJzDw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:37:35.831496Z","signed_message":"canonical_sha256_bytes"},"source_id":"1405.2738","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:26b66621f085422fe410bd0a56399181b68d5ca5f7cceaa6736e5b7563c75ca5","sha256:acaff8f92db719b61c51337fe504eab2605b1dc6b93f99873da96c99770099cd"],"state_sha256":"dab197082c3e03ef98327b6aee2e9eb3bfa0829fe623bb7306caadef3a533a33"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bu7KL0TjR8CB0zYquB1THE3CuhxX4mpp/LKeLh2gGS8+QjrUXCyhvDb2UFz/7DQnI8c7SOSEHfENFJNCRN91Bw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-02T13:24:18.811711Z","bundle_sha256":"e523f75c8be6855807d3540d28a8e008e20fc6e16dfd41214a72f4a9b3cf2ff8"}}