{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:CK5MZEQJPVAKWJ7R6FVJ7BM6MB","short_pith_number":"pith:CK5MZEQJ","canonical_record":{"source":{"id":"1803.10042","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2018-03-27T12:36:09Z","cross_cats_sorted":["cs.GT","cs.IT","cs.LO","math.IT"],"title_canon_sha256":"64360a5f6d5a90fdedaeeb0cce01e25210d83eac34a29f2f9a8bd102ae0c567b","abstract_canon_sha256":"69ef56a72443259639437b941d123daa581b918e39546b3846efd1e4e02f6d2f"},"schema_version":"1.0"},"canonical_sha256":"12bacc92097d40ab27f1f16a9f859e60666d0ca7e25a508172d4e2623e6c7bf6","source":{"kind":"arxiv","id":"1803.10042","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1803.10042","created_at":"2026-05-18T00:15:36Z"},{"alias_kind":"arxiv_version","alias_value":"1803.10042v2","created_at":"2026-05-18T00:15:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1803.10042","created_at":"2026-05-18T00:15:36Z"},{"alias_kind":"pith_short_12","alias_value":"CK5MZEQJPVAK","created_at":"2026-05-18T12:32:16Z"},{"alias_kind":"pith_short_16","alias_value":"CK5MZEQJPVAKWJ7R","created_at":"2026-05-18T12:32:16Z"},{"alias_kind":"pith_short_8","alias_value":"CK5MZEQJ","created_at":"2026-05-18T12:32:16Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:CK5MZEQJPVAKWJ7R6FVJ7BM6MB","target":"record","payload":{"canonical_record":{"source":{"id":"1803.10042","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2018-03-27T12:36:09Z","cross_cats_sorted":["cs.GT","cs.IT","cs.LO","math.IT"],"title_canon_sha256":"64360a5f6d5a90fdedaeeb0cce01e25210d83eac34a29f2f9a8bd102ae0c567b","abstract_canon_sha256":"69ef56a72443259639437b941d123daa581b918e39546b3846efd1e4e02f6d2f"},"schema_version":"1.0"},"canonical_sha256":"12bacc92097d40ab27f1f16a9f859e60666d0ca7e25a508172d4e2623e6c7bf6","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:15:36.390554Z","signature_b64":"lbN+LNkbNSr5OW7umVnZOJ795JyAHsngZr/8qTAC18mIH9VouP8t48ZsZ4s/Ipn+YgG+8mYlTMs/opMypXbACg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"12bacc92097d40ab27f1f16a9f859e60666d0ca7e25a508172d4e2623e6c7bf6","last_reissued_at":"2026-05-18T00:15:36.389772Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:15:36.389772Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1803.10042","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:15:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"oNVhUOyIYkVf3i1ZlNozmjXeOBykUVdOhDpoQGjmoiqnsnEInth3jiGmOhcf/97DGFrN0gbXRRlRUFvDX+97Cw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T16:07:24.515191Z"},"content_sha256":"73ea285d0fc8bb07bc3a731dd7486e907ec5e937c155fecf13b614b1687de5c7","schema_version":"1.0","event_id":"sha256:73ea285d0fc8bb07bc3a731dd7486e907ec5e937c155fecf13b614b1687de5c7"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:CK5MZEQJPVAKWJ7R6FVJ7BM6MB","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Game-Theoretic Approach to Information-Flow Control via Protocol Composition","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.GT","cs.IT","cs.LO","math.IT"],"primary_cat":"cs.CR","authors_text":"Catuscia Palamidessi, Konstantinos Chatzikokolakis, M\\'ario S. Alvim, Yusuke Kawamoto","submitted_at":"2018-03-27T12:36:09Z","abstract_excerpt":"In the inference attacks studied in Quantitative Information Flow (QIF), the attacker typically tries to interfere with the system in the attempt to increase its leakage of secret information. The defender, on the other hand, typically tries to decrease leakage by introducing some controlled noise. This noise introduction can be modeled as a type of protocol composition, i.e., a probabilistic choice among different protocols, and its effect on the amount of leakage depends heavily on whether or not this choice is visible to the attacker. In this work, we consider operators for modeling visible"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1803.10042","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:15:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GOe/ynk13156R211dL17q15BgInCA7B93dyV4MIPLQq7irIkGgSHZF09jRMOUZdmDCTY4XM134s7c3mjYLypCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T16:07:24.515832Z"},"content_sha256":"26946a649af8d9091299c997b303d398dec1080709e3067d3201dd95b2e5a217","schema_version":"1.0","event_id":"sha256:26946a649af8d9091299c997b303d398dec1080709e3067d3201dd95b2e5a217"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/CK5MZEQJPVAKWJ7R6FVJ7BM6MB/bundle.json","state_url":"https://pith.science/pith/CK5MZEQJPVAKWJ7R6FVJ7BM6MB/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/CK5MZEQJPVAKWJ7R6FVJ7BM6MB/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-11T16:07:24Z","links":{"resolver":"https://pith.science/pith/CK5MZEQJPVAKWJ7R6FVJ7BM6MB","bundle":"https://pith.science/pith/CK5MZEQJPVAKWJ7R6FVJ7BM6MB/bundle.json","state":"https://pith.science/pith/CK5MZEQJPVAKWJ7R6FVJ7BM6MB/state.json","well_known_bundle":"https://pith.science/.well-known/pith/CK5MZEQJPVAKWJ7R6FVJ7BM6MB/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:CK5MZEQJPVAKWJ7R6FVJ7BM6MB","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":"69ef56a72443259639437b941d123daa581b918e39546b3846efd1e4e02f6d2f","cross_cats_sorted":["cs.GT","cs.IT","cs.LO","math.IT"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2018-03-27T12:36:09Z","title_canon_sha256":"64360a5f6d5a90fdedaeeb0cce01e25210d83eac34a29f2f9a8bd102ae0c567b"},"schema_version":"1.0","source":{"id":"1803.10042","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1803.10042","created_at":"2026-05-18T00:15:36Z"},{"alias_kind":"arxiv_version","alias_value":"1803.10042v2","created_at":"2026-05-18T00:15:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1803.10042","created_at":"2026-05-18T00:15:36Z"},{"alias_kind":"pith_short_12","alias_value":"CK5MZEQJPVAK","created_at":"2026-05-18T12:32:16Z"},{"alias_kind":"pith_short_16","alias_value":"CK5MZEQJPVAKWJ7R","created_at":"2026-05-18T12:32:16Z"},{"alias_kind":"pith_short_8","alias_value":"CK5MZEQJ","created_at":"2026-05-18T12:32:16Z"}],"graph_snapshots":[{"event_id":"sha256:26946a649af8d9091299c997b303d398dec1080709e3067d3201dd95b2e5a217","target":"graph","created_at":"2026-05-18T00:15:36Z","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":"In the inference attacks studied in Quantitative Information Flow (QIF), the attacker typically tries to interfere with the system in the attempt to increase its leakage of secret information. The defender, on the other hand, typically tries to decrease leakage by introducing some controlled noise. This noise introduction can be modeled as a type of protocol composition, i.e., a probabilistic choice among different protocols, and its effect on the amount of leakage depends heavily on whether or not this choice is visible to the attacker. In this work, we consider operators for modeling visible","authors_text":"Catuscia Palamidessi, Konstantinos Chatzikokolakis, M\\'ario S. Alvim, Yusuke Kawamoto","cross_cats":["cs.GT","cs.IT","cs.LO","math.IT"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2018-03-27T12:36:09Z","title":"A Game-Theoretic Approach to Information-Flow Control via Protocol Composition"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1803.10042","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:73ea285d0fc8bb07bc3a731dd7486e907ec5e937c155fecf13b614b1687de5c7","target":"record","created_at":"2026-05-18T00:15:36Z","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":"69ef56a72443259639437b941d123daa581b918e39546b3846efd1e4e02f6d2f","cross_cats_sorted":["cs.GT","cs.IT","cs.LO","math.IT"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2018-03-27T12:36:09Z","title_canon_sha256":"64360a5f6d5a90fdedaeeb0cce01e25210d83eac34a29f2f9a8bd102ae0c567b"},"schema_version":"1.0","source":{"id":"1803.10042","kind":"arxiv","version":2}},"canonical_sha256":"12bacc92097d40ab27f1f16a9f859e60666d0ca7e25a508172d4e2623e6c7bf6","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"12bacc92097d40ab27f1f16a9f859e60666d0ca7e25a508172d4e2623e6c7bf6","first_computed_at":"2026-05-18T00:15:36.389772Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:15:36.389772Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"lbN+LNkbNSr5OW7umVnZOJ795JyAHsngZr/8qTAC18mIH9VouP8t48ZsZ4s/Ipn+YgG+8mYlTMs/opMypXbACg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:15:36.390554Z","signed_message":"canonical_sha256_bytes"},"source_id":"1803.10042","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:73ea285d0fc8bb07bc3a731dd7486e907ec5e937c155fecf13b614b1687de5c7","sha256:26946a649af8d9091299c997b303d398dec1080709e3067d3201dd95b2e5a217"],"state_sha256":"0b29d8dd7b63712f6e01ac9f74babdf556d2d50bf7fc2be2840c8a29d45def5a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HXYBO6QGLFZnaIe8NlSSGA38ceddw5lcEFvCmzbX5knM7dvm+8t6w58n0g9dCGA1fqEEYStSl/Sv2HYBTswBCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-11T16:07:24.522581Z","bundle_sha256":"ebabb50ded85e5bcb4b9cda0f6db02a69b13e597377470f9dacc949f5e47fba0"}}