{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:V7ZHCAK3CL5EHP5EI3LAJJOQ36","short_pith_number":"pith:V7ZHCAK3","canonical_record":{"source":{"id":"1407.5444","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2014-07-21T10:21:39Z","cross_cats_sorted":[],"title_canon_sha256":"46503c0c30b8f20900263c762561f33ff2213b64017dcd5be221ecbabf884f35","abstract_canon_sha256":"4c36335bf955508853e66ba0378515b60838d46a00b9205366ca1ed2eecd5b7d"},"schema_version":"1.0"},"canonical_sha256":"aff271015b12fa43bfa446d604a5d0df93f12bf8f4f5cae32f844c2008e4c94f","source":{"kind":"arxiv","id":"1407.5444","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1407.5444","created_at":"2026-05-18T02:39:47Z"},{"alias_kind":"arxiv_version","alias_value":"1407.5444v3","created_at":"2026-05-18T02:39:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1407.5444","created_at":"2026-05-18T02:39:47Z"},{"alias_kind":"pith_short_12","alias_value":"V7ZHCAK3CL5E","created_at":"2026-05-18T12:28:52Z"},{"alias_kind":"pith_short_16","alias_value":"V7ZHCAK3CL5EHP5E","created_at":"2026-05-18T12:28:52Z"},{"alias_kind":"pith_short_8","alias_value":"V7ZHCAK3","created_at":"2026-05-18T12:28:52Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:V7ZHCAK3CL5EHP5EI3LAJJOQ36","target":"record","payload":{"canonical_record":{"source":{"id":"1407.5444","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2014-07-21T10:21:39Z","cross_cats_sorted":[],"title_canon_sha256":"46503c0c30b8f20900263c762561f33ff2213b64017dcd5be221ecbabf884f35","abstract_canon_sha256":"4c36335bf955508853e66ba0378515b60838d46a00b9205366ca1ed2eecd5b7d"},"schema_version":"1.0"},"canonical_sha256":"aff271015b12fa43bfa446d604a5d0df93f12bf8f4f5cae32f844c2008e4c94f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:39:47.979553Z","signature_b64":"q1FnKNKOKTgi+b8eMS4FscwjdU7VA+Tkm0aHSMa35SOlKwUa20dicZyQYshxCM5fwfzneTwvIaLoB6jecUqSBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"aff271015b12fa43bfa446d604a5d0df93f12bf8f4f5cae32f844c2008e4c94f","last_reissued_at":"2026-05-18T02:39:47.979053Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:39:47.979053Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1407.5444","source_version":3,"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-18T02:39:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"BzfJqf8tIH8LV/IbZtAlyFKJ5Z6NiFoM97gToiWc1NEL2cNQi2i3B3yk+ycjUgADJNwRSKi2nucLSh2VgAnDBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-21T07:44:06.138685Z"},"content_sha256":"4bc31f7674b7146e1409ed5d215f42374e0fd89ba110558f47b507e2543d1866","schema_version":"1.0","event_id":"sha256:4bc31f7674b7146e1409ed5d215f42374e0fd89ba110558f47b507e2543d1866"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:V7ZHCAK3CL5EHP5EI3LAJJOQ36","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Composing security protocols: from confidentiality to privacy","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Myrto Arapinis, St\\'ephanie Delaune, Vincent Cheval","submitted_at":"2014-07-21T10:21:39Z","abstract_excerpt":"Security protocols are used in many of our daily-life applications, and our privacy largely depends on their design. Formal verification techniques have proved their usefulness to analyse these protocols, but they become so complex that modular techniques have to be developed. We propose several results to safely compose security protocols. We consider arbitrary primitives modeled using an equational theory, and a rich process algebra close to the applied pi calculus.\n  Relying on these composition results, we are able to derive some security properties on a protocol from the security analysis"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1407.5444","kind":"arxiv","version":3},"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-18T02:39:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6X+STCzEi8iKN2PsqB9nkmK1fo/anVDRDHLid+xHz0d9rLvmNRS7WzS3hX/mxP0COAQl5gWs4gXwqUn2VO2vDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-21T07:44:06.139151Z"},"content_sha256":"249a7574ff9104a06b83714aaf31885e908f6b45196bea7d1f260df80c1704be","schema_version":"1.0","event_id":"sha256:249a7574ff9104a06b83714aaf31885e908f6b45196bea7d1f260df80c1704be"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/V7ZHCAK3CL5EHP5EI3LAJJOQ36/bundle.json","state_url":"https://pith.science/pith/V7ZHCAK3CL5EHP5EI3LAJJOQ36/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/V7ZHCAK3CL5EHP5EI3LAJJOQ36/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-21T07:44:06Z","links":{"resolver":"https://pith.science/pith/V7ZHCAK3CL5EHP5EI3LAJJOQ36","bundle":"https://pith.science/pith/V7ZHCAK3CL5EHP5EI3LAJJOQ36/bundle.json","state":"https://pith.science/pith/V7ZHCAK3CL5EHP5EI3LAJJOQ36/state.json","well_known_bundle":"https://pith.science/.well-known/pith/V7ZHCAK3CL5EHP5EI3LAJJOQ36/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:V7ZHCAK3CL5EHP5EI3LAJJOQ36","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":"4c36335bf955508853e66ba0378515b60838d46a00b9205366ca1ed2eecd5b7d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2014-07-21T10:21:39Z","title_canon_sha256":"46503c0c30b8f20900263c762561f33ff2213b64017dcd5be221ecbabf884f35"},"schema_version":"1.0","source":{"id":"1407.5444","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1407.5444","created_at":"2026-05-18T02:39:47Z"},{"alias_kind":"arxiv_version","alias_value":"1407.5444v3","created_at":"2026-05-18T02:39:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1407.5444","created_at":"2026-05-18T02:39:47Z"},{"alias_kind":"pith_short_12","alias_value":"V7ZHCAK3CL5E","created_at":"2026-05-18T12:28:52Z"},{"alias_kind":"pith_short_16","alias_value":"V7ZHCAK3CL5EHP5E","created_at":"2026-05-18T12:28:52Z"},{"alias_kind":"pith_short_8","alias_value":"V7ZHCAK3","created_at":"2026-05-18T12:28:52Z"}],"graph_snapshots":[{"event_id":"sha256:249a7574ff9104a06b83714aaf31885e908f6b45196bea7d1f260df80c1704be","target":"graph","created_at":"2026-05-18T02:39:47Z","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 used in many of our daily-life applications, and our privacy largely depends on their design. Formal verification techniques have proved their usefulness to analyse these protocols, but they become so complex that modular techniques have to be developed. We propose several results to safely compose security protocols. We consider arbitrary primitives modeled using an equational theory, and a rich process algebra close to the applied pi calculus.\n  Relying on these composition results, we are able to derive some security properties on a protocol from the security analysis","authors_text":"Myrto Arapinis, St\\'ephanie Delaune, Vincent Cheval","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2014-07-21T10:21:39Z","title":"Composing security protocols: from confidentiality to privacy"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1407.5444","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:4bc31f7674b7146e1409ed5d215f42374e0fd89ba110558f47b507e2543d1866","target":"record","created_at":"2026-05-18T02:39:47Z","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":"4c36335bf955508853e66ba0378515b60838d46a00b9205366ca1ed2eecd5b7d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2014-07-21T10:21:39Z","title_canon_sha256":"46503c0c30b8f20900263c762561f33ff2213b64017dcd5be221ecbabf884f35"},"schema_version":"1.0","source":{"id":"1407.5444","kind":"arxiv","version":3}},"canonical_sha256":"aff271015b12fa43bfa446d604a5d0df93f12bf8f4f5cae32f844c2008e4c94f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"aff271015b12fa43bfa446d604a5d0df93f12bf8f4f5cae32f844c2008e4c94f","first_computed_at":"2026-05-18T02:39:47.979053Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:39:47.979053Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"q1FnKNKOKTgi+b8eMS4FscwjdU7VA+Tkm0aHSMa35SOlKwUa20dicZyQYshxCM5fwfzneTwvIaLoB6jecUqSBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T02:39:47.979553Z","signed_message":"canonical_sha256_bytes"},"source_id":"1407.5444","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4bc31f7674b7146e1409ed5d215f42374e0fd89ba110558f47b507e2543d1866","sha256:249a7574ff9104a06b83714aaf31885e908f6b45196bea7d1f260df80c1704be"],"state_sha256":"179876bc4232ababad18bcec44d261e5dcc5f80ac2914541fef9f0ce8cf5eae6"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Fz8mLTn1QBvSURMiPTqQqK8JRPR4SpRzoH+kM9jk44wxETTPzKgHMJRX00I5Ad7Qaqvzx0eGDcNlqhQakozkDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-21T07:44:06.141527Z","bundle_sha256":"cbebb12373f25d538cf36701a84442691965059b91bae4d65fb017a055eb79c6"}}