{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:DJ6LWD6T7GRAFCDCPJZ5IG4S3U","short_pith_number":"pith:DJ6LWD6T","canonical_record":{"source":{"id":"1606.05936","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-06-20T01:08:38Z","cross_cats_sorted":["cs.DC"],"title_canon_sha256":"4e17f08fc958e2803eb2a47598b18d5119b2f465762767cec1d8b3d8192ad234","abstract_canon_sha256":"4f8e36628efb91c31ab813ebebd2c10a125435e619735272862d672a59ec840f"},"schema_version":"1.0"},"canonical_sha256":"1a7cbb0fd3f9a20288627a73d41b92dd2b5d1cf118ac6e1e2d9f539ce2f8aadc","source":{"kind":"arxiv","id":"1606.05936","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1606.05936","created_at":"2026-05-18T01:12:15Z"},{"alias_kind":"arxiv_version","alias_value":"1606.05936v1","created_at":"2026-05-18T01:12:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1606.05936","created_at":"2026-05-18T01:12:15Z"},{"alias_kind":"pith_short_12","alias_value":"DJ6LWD6T7GRA","created_at":"2026-05-18T12:30:12Z"},{"alias_kind":"pith_short_16","alias_value":"DJ6LWD6T7GRAFCDC","created_at":"2026-05-18T12:30:12Z"},{"alias_kind":"pith_short_8","alias_value":"DJ6LWD6T","created_at":"2026-05-18T12:30:12Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:DJ6LWD6T7GRAFCDCPJZ5IG4S3U","target":"record","payload":{"canonical_record":{"source":{"id":"1606.05936","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-06-20T01:08:38Z","cross_cats_sorted":["cs.DC"],"title_canon_sha256":"4e17f08fc958e2803eb2a47598b18d5119b2f465762767cec1d8b3d8192ad234","abstract_canon_sha256":"4f8e36628efb91c31ab813ebebd2c10a125435e619735272862d672a59ec840f"},"schema_version":"1.0"},"canonical_sha256":"1a7cbb0fd3f9a20288627a73d41b92dd2b5d1cf118ac6e1e2d9f539ce2f8aadc","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:12:15.766924Z","signature_b64":"VQ9xPLnjJz4P+IYYORnFyeuYbv3L7up78jMm7UPqZBEXCEhccHK0EfHoi7CbRnZQt/lqCluJKQHEA9oQ0e3hAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1a7cbb0fd3f9a20288627a73d41b92dd2b5d1cf118ac6e1e2d9f539ce2f8aadc","last_reissued_at":"2026-05-18T01:12:15.766572Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:12:15.766572Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1606.05936","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:12:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"L8oPB7UH4Jeu8dTbQlqM6iCGbb9rdAIoGt5qsb575tQ4RbOb3neabOpZ9OJTNnje2JkUEKAs70pDPbm++h+DBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T11:22:46.338255Z"},"content_sha256":"34faed9e4886831e5e38ccc9c2d51e8ede6867e19a8bb3f3b4d0b036572acb0c","schema_version":"1.0","event_id":"sha256:34faed9e4886831e5e38ccc9c2d51e8ede6867e19a8bb3f3b4d0b036572acb0c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:DJ6LWD6T7GRAFCDCPJZ5IG4S3U","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Secure Multiparty Sessions with Topics","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DC"],"primary_cat":"cs.LO","authors_text":"France), Ilaria Castellani (INRIA Sophia Antipolis, Italia), Mariangiola Dezani-Ciancaglini (Universit\\`a di Torino, Ugo de'Liguoro (Universit\\`a di Torino","submitted_at":"2016-06-20T01:08:38Z","abstract_excerpt":"Multiparty session calculi have been recently equipped with security requirements, in order to guarantee properties such as access control and leak freedom. However, the proposed security requirements seem to be overly restrictive in some cases. In particular, a party is not allowed to communicate any kind of public information after receiving a secret information. This does not seem justified in case the two pieces of information are totally unrelated. The aim of the present paper is to overcome this  restriction, by designing a type discipline for a simple multiparty session calculus, which "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1606.05936","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:12:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"w5nWabvxT6M1eBg9SxadfZwHISOuVWZ7HLwdp6dIDS8lh3fkycpPq4QmTlTegGtkN8rSZ3tIltU3MDgi9pKmAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T11:22:46.338615Z"},"content_sha256":"21fa92a11c5518c0a4248236ca7c450e07b92ef9b2ec48e3e35a77872a055b96","schema_version":"1.0","event_id":"sha256:21fa92a11c5518c0a4248236ca7c450e07b92ef9b2ec48e3e35a77872a055b96"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/DJ6LWD6T7GRAFCDCPJZ5IG4S3U/bundle.json","state_url":"https://pith.science/pith/DJ6LWD6T7GRAFCDCPJZ5IG4S3U/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/DJ6LWD6T7GRAFCDCPJZ5IG4S3U/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-03T11:22:46Z","links":{"resolver":"https://pith.science/pith/DJ6LWD6T7GRAFCDCPJZ5IG4S3U","bundle":"https://pith.science/pith/DJ6LWD6T7GRAFCDCPJZ5IG4S3U/bundle.json","state":"https://pith.science/pith/DJ6LWD6T7GRAFCDCPJZ5IG4S3U/state.json","well_known_bundle":"https://pith.science/.well-known/pith/DJ6LWD6T7GRAFCDCPJZ5IG4S3U/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:DJ6LWD6T7GRAFCDCPJZ5IG4S3U","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":"4f8e36628efb91c31ab813ebebd2c10a125435e619735272862d672a59ec840f","cross_cats_sorted":["cs.DC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-06-20T01:08:38Z","title_canon_sha256":"4e17f08fc958e2803eb2a47598b18d5119b2f465762767cec1d8b3d8192ad234"},"schema_version":"1.0","source":{"id":"1606.05936","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1606.05936","created_at":"2026-05-18T01:12:15Z"},{"alias_kind":"arxiv_version","alias_value":"1606.05936v1","created_at":"2026-05-18T01:12:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1606.05936","created_at":"2026-05-18T01:12:15Z"},{"alias_kind":"pith_short_12","alias_value":"DJ6LWD6T7GRA","created_at":"2026-05-18T12:30:12Z"},{"alias_kind":"pith_short_16","alias_value":"DJ6LWD6T7GRAFCDC","created_at":"2026-05-18T12:30:12Z"},{"alias_kind":"pith_short_8","alias_value":"DJ6LWD6T","created_at":"2026-05-18T12:30:12Z"}],"graph_snapshots":[{"event_id":"sha256:21fa92a11c5518c0a4248236ca7c450e07b92ef9b2ec48e3e35a77872a055b96","target":"graph","created_at":"2026-05-18T01:12:15Z","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":"Multiparty session calculi have been recently equipped with security requirements, in order to guarantee properties such as access control and leak freedom. However, the proposed security requirements seem to be overly restrictive in some cases. In particular, a party is not allowed to communicate any kind of public information after receiving a secret information. This does not seem justified in case the two pieces of information are totally unrelated. The aim of the present paper is to overcome this  restriction, by designing a type discipline for a simple multiparty session calculus, which ","authors_text":"France), Ilaria Castellani (INRIA Sophia Antipolis, Italia), Mariangiola Dezani-Ciancaglini (Universit\\`a di Torino, Ugo de'Liguoro (Universit\\`a di Torino","cross_cats":["cs.DC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-06-20T01:08:38Z","title":"Secure Multiparty Sessions with Topics"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1606.05936","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:34faed9e4886831e5e38ccc9c2d51e8ede6867e19a8bb3f3b4d0b036572acb0c","target":"record","created_at":"2026-05-18T01:12:15Z","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":"4f8e36628efb91c31ab813ebebd2c10a125435e619735272862d672a59ec840f","cross_cats_sorted":["cs.DC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-06-20T01:08:38Z","title_canon_sha256":"4e17f08fc958e2803eb2a47598b18d5119b2f465762767cec1d8b3d8192ad234"},"schema_version":"1.0","source":{"id":"1606.05936","kind":"arxiv","version":1}},"canonical_sha256":"1a7cbb0fd3f9a20288627a73d41b92dd2b5d1cf118ac6e1e2d9f539ce2f8aadc","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1a7cbb0fd3f9a20288627a73d41b92dd2b5d1cf118ac6e1e2d9f539ce2f8aadc","first_computed_at":"2026-05-18T01:12:15.766572Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:12:15.766572Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"VQ9xPLnjJz4P+IYYORnFyeuYbv3L7up78jMm7UPqZBEXCEhccHK0EfHoi7CbRnZQt/lqCluJKQHEA9oQ0e3hAw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:12:15.766924Z","signed_message":"canonical_sha256_bytes"},"source_id":"1606.05936","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:34faed9e4886831e5e38ccc9c2d51e8ede6867e19a8bb3f3b4d0b036572acb0c","sha256:21fa92a11c5518c0a4248236ca7c450e07b92ef9b2ec48e3e35a77872a055b96"],"state_sha256":"6c8b2f7760f7759021302719723a8b530cc83a910b09838a53e9b508e8c2654e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"IEtuxBXR4r1ATaJgEh5yEUmeHZukC5612C283yfGylefBzSIW45jBJY543i+BfpjgtFQGNvdWmrP/yfcFT2RDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T11:22:46.491357Z","bundle_sha256":"1c16c5eb49b4f6f02ed53db798880c32d8df52e7af994634c476f90d3ddcab45"}}