{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:LVJKD75SA57QV6RVHND6JEW4NX","short_pith_number":"pith:LVJKD75S","canonical_record":{"source":{"id":"1806.03519","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.SE","submitted_at":"2018-06-09T18:04:34Z","cross_cats_sorted":["cs.CR"],"title_canon_sha256":"07c65ddbac2d31e56c0539f01805f2d63e29b9cbd76410bba3a467f49868069f","abstract_canon_sha256":"d1471a02dd9a7c99931f3ee2377650430d66d4eaf209e5a5bd607789dbfbd922"},"schema_version":"1.0"},"canonical_sha256":"5d52a1ffb2077f0afa353b47e492dc6de54cab3d2979390f7f0f2b8cbedb38fd","source":{"kind":"arxiv","id":"1806.03519","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1806.03519","created_at":"2026-05-18T00:13:43Z"},{"alias_kind":"arxiv_version","alias_value":"1806.03519v1","created_at":"2026-05-18T00:13:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1806.03519","created_at":"2026-05-18T00:13:43Z"},{"alias_kind":"pith_short_12","alias_value":"LVJKD75SA57Q","created_at":"2026-05-18T12:32:37Z"},{"alias_kind":"pith_short_16","alias_value":"LVJKD75SA57QV6RV","created_at":"2026-05-18T12:32:37Z"},{"alias_kind":"pith_short_8","alias_value":"LVJKD75S","created_at":"2026-05-18T12:32:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:LVJKD75SA57QV6RVHND6JEW4NX","target":"record","payload":{"canonical_record":{"source":{"id":"1806.03519","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.SE","submitted_at":"2018-06-09T18:04:34Z","cross_cats_sorted":["cs.CR"],"title_canon_sha256":"07c65ddbac2d31e56c0539f01805f2d63e29b9cbd76410bba3a467f49868069f","abstract_canon_sha256":"d1471a02dd9a7c99931f3ee2377650430d66d4eaf209e5a5bd607789dbfbd922"},"schema_version":"1.0"},"canonical_sha256":"5d52a1ffb2077f0afa353b47e492dc6de54cab3d2979390f7f0f2b8cbedb38fd","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:13:43.130529Z","signature_b64":"pUs0MirlheThvKG0SCtq49nOnd+ZrPYBiN0NnTe0FxHmhQQ4exVNpBD5dOQElkkMVAVmCer/lFyQBwBICun7DA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5d52a1ffb2077f0afa353b47e492dc6de54cab3d2979390f7f0f2b8cbedb38fd","last_reissued_at":"2026-05-18T00:13:43.129643Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:13:43.129643Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1806.03519","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-18T00:13:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Ba1XO9j2PV13UCADS29mCrRygx7ATFuGHLxFfDMfRiXLuDG/b+8aFMZijTDQQMG3hhFKMINcnwQhCEtI9YIZDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T02:15:20.958803Z"},"content_sha256":"eeb2584b5601ea64dbd5a6a5ee5f8ff26b00c50cd2ae1a2a80a3b39f6abf0612","schema_version":"1.0","event_id":"sha256:eeb2584b5601ea64dbd5a6a5ee5f8ff26b00c50cd2ae1a2a80a3b39f6abf0612"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:LVJKD75SA57QV6RVHND6JEW4NX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Logical Framework for Verifying Privacy Breaches of Social Networks","license":"http://creativecommons.org/publicdomain/zero/1.0/","headline":"","cross_cats":["cs.CR"],"primary_cat":"cs.SE","authors_text":"N\\'estor Cata\\~no","submitted_at":"2018-06-09T18:04:34Z","abstract_excerpt":"We present a novel approach to deal with transitivity permission-delegation threats that arise in social networks when content is granted permissions by third-party users thereby breaking the privacy policy of the content owner. These types of privacy breaches are often unintentional in social networks like Facebook, and hence, (more) in-place mechanisms are needed to make social network users aware of the consequences of changing their privacy policies. Our approach is unique in its use of formal methods tools and techniques. It builds on a predicate logic definition for social networking tha"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1806.03519","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-18T00:13:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7eEANP/CipKEOWW8/RaP6zNxFSwOOJjQCgbs0NVNO+qdjgRRssrgGEHQGP50XRpWbUZyP6RESR7Ja/A9BJPfDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T02:15:20.959149Z"},"content_sha256":"8b153fcadc9694d9a84aed83f9bf64f182216c4c763bfc96b7cdffb10302e4dc","schema_version":"1.0","event_id":"sha256:8b153fcadc9694d9a84aed83f9bf64f182216c4c763bfc96b7cdffb10302e4dc"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/LVJKD75SA57QV6RVHND6JEW4NX/bundle.json","state_url":"https://pith.science/pith/LVJKD75SA57QV6RVHND6JEW4NX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/LVJKD75SA57QV6RVHND6JEW4NX/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-26T02:15:20Z","links":{"resolver":"https://pith.science/pith/LVJKD75SA57QV6RVHND6JEW4NX","bundle":"https://pith.science/pith/LVJKD75SA57QV6RVHND6JEW4NX/bundle.json","state":"https://pith.science/pith/LVJKD75SA57QV6RVHND6JEW4NX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/LVJKD75SA57QV6RVHND6JEW4NX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:LVJKD75SA57QV6RVHND6JEW4NX","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":"d1471a02dd9a7c99931f3ee2377650430d66d4eaf209e5a5bd607789dbfbd922","cross_cats_sorted":["cs.CR"],"license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.SE","submitted_at":"2018-06-09T18:04:34Z","title_canon_sha256":"07c65ddbac2d31e56c0539f01805f2d63e29b9cbd76410bba3a467f49868069f"},"schema_version":"1.0","source":{"id":"1806.03519","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1806.03519","created_at":"2026-05-18T00:13:43Z"},{"alias_kind":"arxiv_version","alias_value":"1806.03519v1","created_at":"2026-05-18T00:13:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1806.03519","created_at":"2026-05-18T00:13:43Z"},{"alias_kind":"pith_short_12","alias_value":"LVJKD75SA57Q","created_at":"2026-05-18T12:32:37Z"},{"alias_kind":"pith_short_16","alias_value":"LVJKD75SA57QV6RV","created_at":"2026-05-18T12:32:37Z"},{"alias_kind":"pith_short_8","alias_value":"LVJKD75S","created_at":"2026-05-18T12:32:37Z"}],"graph_snapshots":[{"event_id":"sha256:8b153fcadc9694d9a84aed83f9bf64f182216c4c763bfc96b7cdffb10302e4dc","target":"graph","created_at":"2026-05-18T00:13: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":"We present a novel approach to deal with transitivity permission-delegation threats that arise in social networks when content is granted permissions by third-party users thereby breaking the privacy policy of the content owner. These types of privacy breaches are often unintentional in social networks like Facebook, and hence, (more) in-place mechanisms are needed to make social network users aware of the consequences of changing their privacy policies. Our approach is unique in its use of formal methods tools and techniques. It builds on a predicate logic definition for social networking tha","authors_text":"N\\'estor Cata\\~no","cross_cats":["cs.CR"],"headline":"","license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.SE","submitted_at":"2018-06-09T18:04:34Z","title":"A Logical Framework for Verifying Privacy Breaches of Social Networks"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1806.03519","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:eeb2584b5601ea64dbd5a6a5ee5f8ff26b00c50cd2ae1a2a80a3b39f6abf0612","target":"record","created_at":"2026-05-18T00:13: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":"d1471a02dd9a7c99931f3ee2377650430d66d4eaf209e5a5bd607789dbfbd922","cross_cats_sorted":["cs.CR"],"license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.SE","submitted_at":"2018-06-09T18:04:34Z","title_canon_sha256":"07c65ddbac2d31e56c0539f01805f2d63e29b9cbd76410bba3a467f49868069f"},"schema_version":"1.0","source":{"id":"1806.03519","kind":"arxiv","version":1}},"canonical_sha256":"5d52a1ffb2077f0afa353b47e492dc6de54cab3d2979390f7f0f2b8cbedb38fd","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5d52a1ffb2077f0afa353b47e492dc6de54cab3d2979390f7f0f2b8cbedb38fd","first_computed_at":"2026-05-18T00:13:43.129643Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:13:43.129643Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"pUs0MirlheThvKG0SCtq49nOnd+ZrPYBiN0NnTe0FxHmhQQ4exVNpBD5dOQElkkMVAVmCer/lFyQBwBICun7DA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:13:43.130529Z","signed_message":"canonical_sha256_bytes"},"source_id":"1806.03519","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:eeb2584b5601ea64dbd5a6a5ee5f8ff26b00c50cd2ae1a2a80a3b39f6abf0612","sha256:8b153fcadc9694d9a84aed83f9bf64f182216c4c763bfc96b7cdffb10302e4dc"],"state_sha256":"97fcee64ec2a576d594988e0f11f56ebb7c9d474af45cae14b6a0ea06bcb960d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6QAnOLBjWvXnlVUJ3ZPdD/VNNmGQUNGnKAXiGv+7GzUjXZv8DzA0ROQH8kZeSsDQIr7U51EKvLrDoDMfmoq9Dw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-26T02:15:20.961098Z","bundle_sha256":"28c47fea10ddb37acc7ee7022a627a520ad2a6cb2c2844765ceb98f64471c3f4"}}