{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:3CRV5IN6WPBW2QM56MXBEUZVU4","short_pith_number":"pith:3CRV5IN6","canonical_record":{"source":{"id":"1605.05930","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.CR","submitted_at":"2016-05-19T12:59:34Z","cross_cats_sorted":[],"title_canon_sha256":"973232f4234bbd359d5557c359e8353f8ba4b2d7d15a5004364f9b1f68f4d044","abstract_canon_sha256":"e1946427f3777f1b39414292e64dc9c00bc6e60ffd156460c5d904ba9fd48662"},"schema_version":"1.0"},"canonical_sha256":"d8a35ea1beb3c36d419df32e125335a739570a831f5d92333c441cf05199f4a9","source":{"kind":"arxiv","id":"1605.05930","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1605.05930","created_at":"2026-05-18T01:11:43Z"},{"alias_kind":"arxiv_version","alias_value":"1605.05930v2","created_at":"2026-05-18T01:11:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1605.05930","created_at":"2026-05-18T01:11:43Z"},{"alias_kind":"pith_short_12","alias_value":"3CRV5IN6WPBW","created_at":"2026-05-18T12:29:55Z"},{"alias_kind":"pith_short_16","alias_value":"3CRV5IN6WPBW2QM5","created_at":"2026-05-18T12:29:55Z"},{"alias_kind":"pith_short_8","alias_value":"3CRV5IN6","created_at":"2026-05-18T12:29:55Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:3CRV5IN6WPBW2QM56MXBEUZVU4","target":"record","payload":{"canonical_record":{"source":{"id":"1605.05930","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.CR","submitted_at":"2016-05-19T12:59:34Z","cross_cats_sorted":[],"title_canon_sha256":"973232f4234bbd359d5557c359e8353f8ba4b2d7d15a5004364f9b1f68f4d044","abstract_canon_sha256":"e1946427f3777f1b39414292e64dc9c00bc6e60ffd156460c5d904ba9fd48662"},"schema_version":"1.0"},"canonical_sha256":"d8a35ea1beb3c36d419df32e125335a739570a831f5d92333c441cf05199f4a9","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:11:43.462041Z","signature_b64":"jZwlr5fKdI3rcrclfNHK/ixuQb7hQDdAxVfFmA1t1V8FPEV3F5w3gS6KXU/KVm8LoGT/21pXWG/OjqKudmQhAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d8a35ea1beb3c36d419df32e125335a739570a831f5d92333c441cf05199f4a9","last_reissued_at":"2026-05-18T01:11:43.461708Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:11:43.461708Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1605.05930","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:11:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5ZfIhs6tM39RU6xzD+XxvZVc0V91FRsHamWzPabWSkQzjwJF/yEZPJGb2dNrC1DTMOs1Uzo1NUAfHEltXn9jBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T10:44:59.521327Z"},"content_sha256":"032531390cef2ebfcd867207a2b2d1fc6d8b073ff037a698413cdb5699d9023f","schema_version":"1.0","event_id":"sha256:032531390cef2ebfcd867207a2b2d1fc6d8b073ff037a698413cdb5699d9023f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:3CRV5IN6WPBW2QM56MXBEUZVU4","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Parametric and Probabilistic Model Checking of Confidentiality in Data Dispersal Algorithms (Extended Version)","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Alessandro Cucchiarelli, Francesco Spegni, Linda Senigagliesi, Luca Spalazzi, Marco Baldi","submitted_at":"2016-05-19T12:59:34Z","abstract_excerpt":"Recent developments in cloud storage architectures have originated new models of online storage as cooperative storage systems and interconnected clouds. Such distributed environments involve many organizations, thus ensuring confidentiality becomes crucial: only legitimate clients should recover the information they distribute among storage nodes.\n  In this work we present a unified framework for verifying confidentiality of dispersal algorithms against probabilistic models of intruders. Two models of intruders are given, corresponding to different types of attackers: one aiming at intercepti"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1605.05930","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:11:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mYYgXfoTCwLKi8OJjBnG+EvKnNBQoEs3X3K07/dhwtla4YQNzNNzLWQCDjjt6x4ItCfP4UKBsU93cwdzbKtqAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T10:44:59.521883Z"},"content_sha256":"aa456c32dcdde07bba3e1da0b4097d18f819f10dcf91bfb0d8aa07d9b4c46854","schema_version":"1.0","event_id":"sha256:aa456c32dcdde07bba3e1da0b4097d18f819f10dcf91bfb0d8aa07d9b4c46854"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3CRV5IN6WPBW2QM56MXBEUZVU4/bundle.json","state_url":"https://pith.science/pith/3CRV5IN6WPBW2QM56MXBEUZVU4/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3CRV5IN6WPBW2QM56MXBEUZVU4/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-07T10:44:59Z","links":{"resolver":"https://pith.science/pith/3CRV5IN6WPBW2QM56MXBEUZVU4","bundle":"https://pith.science/pith/3CRV5IN6WPBW2QM56MXBEUZVU4/bundle.json","state":"https://pith.science/pith/3CRV5IN6WPBW2QM56MXBEUZVU4/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3CRV5IN6WPBW2QM56MXBEUZVU4/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:3CRV5IN6WPBW2QM56MXBEUZVU4","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":"e1946427f3777f1b39414292e64dc9c00bc6e60ffd156460c5d904ba9fd48662","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.CR","submitted_at":"2016-05-19T12:59:34Z","title_canon_sha256":"973232f4234bbd359d5557c359e8353f8ba4b2d7d15a5004364f9b1f68f4d044"},"schema_version":"1.0","source":{"id":"1605.05930","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1605.05930","created_at":"2026-05-18T01:11:43Z"},{"alias_kind":"arxiv_version","alias_value":"1605.05930v2","created_at":"2026-05-18T01:11:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1605.05930","created_at":"2026-05-18T01:11:43Z"},{"alias_kind":"pith_short_12","alias_value":"3CRV5IN6WPBW","created_at":"2026-05-18T12:29:55Z"},{"alias_kind":"pith_short_16","alias_value":"3CRV5IN6WPBW2QM5","created_at":"2026-05-18T12:29:55Z"},{"alias_kind":"pith_short_8","alias_value":"3CRV5IN6","created_at":"2026-05-18T12:29:55Z"}],"graph_snapshots":[{"event_id":"sha256:aa456c32dcdde07bba3e1da0b4097d18f819f10dcf91bfb0d8aa07d9b4c46854","target":"graph","created_at":"2026-05-18T01:11:43Z","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":"Recent developments in cloud storage architectures have originated new models of online storage as cooperative storage systems and interconnected clouds. Such distributed environments involve many organizations, thus ensuring confidentiality becomes crucial: only legitimate clients should recover the information they distribute among storage nodes.\n  In this work we present a unified framework for verifying confidentiality of dispersal algorithms against probabilistic models of intruders. Two models of intruders are given, corresponding to different types of attackers: one aiming at intercepti","authors_text":"Alessandro Cucchiarelli, Francesco Spegni, Linda Senigagliesi, Luca Spalazzi, Marco Baldi","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.CR","submitted_at":"2016-05-19T12:59:34Z","title":"Parametric and Probabilistic Model Checking of Confidentiality in Data Dispersal Algorithms (Extended Version)"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1605.05930","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:032531390cef2ebfcd867207a2b2d1fc6d8b073ff037a698413cdb5699d9023f","target":"record","created_at":"2026-05-18T01:11:43Z","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":"e1946427f3777f1b39414292e64dc9c00bc6e60ffd156460c5d904ba9fd48662","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.CR","submitted_at":"2016-05-19T12:59:34Z","title_canon_sha256":"973232f4234bbd359d5557c359e8353f8ba4b2d7d15a5004364f9b1f68f4d044"},"schema_version":"1.0","source":{"id":"1605.05930","kind":"arxiv","version":2}},"canonical_sha256":"d8a35ea1beb3c36d419df32e125335a739570a831f5d92333c441cf05199f4a9","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d8a35ea1beb3c36d419df32e125335a739570a831f5d92333c441cf05199f4a9","first_computed_at":"2026-05-18T01:11:43.461708Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:11:43.461708Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"jZwlr5fKdI3rcrclfNHK/ixuQb7hQDdAxVfFmA1t1V8FPEV3F5w3gS6KXU/KVm8LoGT/21pXWG/OjqKudmQhAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:11:43.462041Z","signed_message":"canonical_sha256_bytes"},"source_id":"1605.05930","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:032531390cef2ebfcd867207a2b2d1fc6d8b073ff037a698413cdb5699d9023f","sha256:aa456c32dcdde07bba3e1da0b4097d18f819f10dcf91bfb0d8aa07d9b4c46854"],"state_sha256":"0da3293ee3d74e761869d942355c8534422487b67192868d59cc9b911f269aae"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rAkBQ0ip494pslJuIBiZ6iQKgBxbgt2lnDg1KOa7DHxNU1LkGgH2I/0sMnnBEsQA+rB+1tHdzXkIk8vllFKWCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-07T10:44:59.524806Z","bundle_sha256":"1500f6d62470d8e9693575f789d35647fcc3f3a8734014bbc69a458711fa2118"}}