{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:36G6YQRJIXCAZD2ILIAR7ZJ7PR","short_pith_number":"pith:36G6YQRJ","canonical_record":{"source":{"id":"1707.03967","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2017-07-13T03:40:31Z","cross_cats_sorted":[],"title_canon_sha256":"51d1e3d40d63a6ae0378971922cc2a4dad4227148c02ddb27826a366b15d0eaa","abstract_canon_sha256":"34dd303deb2a740c01eeff9e42de8c0c0cc325333dfbe7161ce109e22e6c54a8"},"schema_version":"1.0"},"canonical_sha256":"df8dec422945c40c8f485a011fe53f7c5b58b0f38587a333f97e0384cfa04557","source":{"kind":"arxiv","id":"1707.03967","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1707.03967","created_at":"2026-05-18T00:40:22Z"},{"alias_kind":"arxiv_version","alias_value":"1707.03967v1","created_at":"2026-05-18T00:40:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.03967","created_at":"2026-05-18T00:40:22Z"},{"alias_kind":"pith_short_12","alias_value":"36G6YQRJIXCA","created_at":"2026-05-18T12:30:58Z"},{"alias_kind":"pith_short_16","alias_value":"36G6YQRJIXCAZD2I","created_at":"2026-05-18T12:30:58Z"},{"alias_kind":"pith_short_8","alias_value":"36G6YQRJ","created_at":"2026-05-18T12:30:58Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:36G6YQRJIXCAZD2ILIAR7ZJ7PR","target":"record","payload":{"canonical_record":{"source":{"id":"1707.03967","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2017-07-13T03:40:31Z","cross_cats_sorted":[],"title_canon_sha256":"51d1e3d40d63a6ae0378971922cc2a4dad4227148c02ddb27826a366b15d0eaa","abstract_canon_sha256":"34dd303deb2a740c01eeff9e42de8c0c0cc325333dfbe7161ce109e22e6c54a8"},"schema_version":"1.0"},"canonical_sha256":"df8dec422945c40c8f485a011fe53f7c5b58b0f38587a333f97e0384cfa04557","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:40:22.979833Z","signature_b64":"pj9uMUo1kD+itjkXX/mAlCq7CaPsKxbyEb6bfnb3uOAyRIkv3Mm8w8RoIfHSlxEiDrZxGJcHgYr/FA3mKJxUDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"df8dec422945c40c8f485a011fe53f7c5b58b0f38587a333f97e0384cfa04557","last_reissued_at":"2026-05-18T00:40:22.979220Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:40:22.979220Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1707.03967","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:40:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9BNrOi8l1TEuGelmtD/wGYnpA0iTnp3UaIpRauQLIKplmH4G6CdE+yLbTxISiUitOHLK1i8XDu6sUFmxWfU0DQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T07:09:39.555070Z"},"content_sha256":"fd759dd3610a47942f845c654e77bb2b228fd134c3b26afffacc7fc649e091ea","schema_version":"1.0","event_id":"sha256:fd759dd3610a47942f845c654e77bb2b228fd134c3b26afffacc7fc649e091ea"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:36G6YQRJIXCAZD2ILIAR7ZJ7PR","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Policy by Example: An Approach for Security Policy Specification","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Adwait Nadkarni, Jessica Staddon, Somesh Jha, William Enck","submitted_at":"2017-07-13T03:40:31Z","abstract_excerpt":"Policy specification for personal user data is a hard problem, as it depends on many factors that cannot be predetermined by system developers. Simultaneously, systems are increasingly relying on users to make security decisions. In this paper, we propose the approach of Policy by Example (PyBE) for specifying user-specific security policies. PyBE brings the benefits of the successful approach of programming by example (PBE) for program synthesis to the policy specification domain. In PyBE, users provide policy examples that specify if actions should be allowed or denied in certain scenarios. "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.03967","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:40:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gZdTGAGkGCzgCRZW1m9A/NBmz6AwY1cThEu5gNxtWZvnWzzbUxrvtjew5a4kv37PLqR1kfcVYKGWp/RQ55AtBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T07:09:39.555744Z"},"content_sha256":"61262626c329d99c28746a791bee015bef697f68154584298710a19b09369cb5","schema_version":"1.0","event_id":"sha256:61262626c329d99c28746a791bee015bef697f68154584298710a19b09369cb5"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/36G6YQRJIXCAZD2ILIAR7ZJ7PR/bundle.json","state_url":"https://pith.science/pith/36G6YQRJIXCAZD2ILIAR7ZJ7PR/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/36G6YQRJIXCAZD2ILIAR7ZJ7PR/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-05-28T07:09:39Z","links":{"resolver":"https://pith.science/pith/36G6YQRJIXCAZD2ILIAR7ZJ7PR","bundle":"https://pith.science/pith/36G6YQRJIXCAZD2ILIAR7ZJ7PR/bundle.json","state":"https://pith.science/pith/36G6YQRJIXCAZD2ILIAR7ZJ7PR/state.json","well_known_bundle":"https://pith.science/.well-known/pith/36G6YQRJIXCAZD2ILIAR7ZJ7PR/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:36G6YQRJIXCAZD2ILIAR7ZJ7PR","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":"34dd303deb2a740c01eeff9e42de8c0c0cc325333dfbe7161ce109e22e6c54a8","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2017-07-13T03:40:31Z","title_canon_sha256":"51d1e3d40d63a6ae0378971922cc2a4dad4227148c02ddb27826a366b15d0eaa"},"schema_version":"1.0","source":{"id":"1707.03967","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1707.03967","created_at":"2026-05-18T00:40:22Z"},{"alias_kind":"arxiv_version","alias_value":"1707.03967v1","created_at":"2026-05-18T00:40:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.03967","created_at":"2026-05-18T00:40:22Z"},{"alias_kind":"pith_short_12","alias_value":"36G6YQRJIXCA","created_at":"2026-05-18T12:30:58Z"},{"alias_kind":"pith_short_16","alias_value":"36G6YQRJIXCAZD2I","created_at":"2026-05-18T12:30:58Z"},{"alias_kind":"pith_short_8","alias_value":"36G6YQRJ","created_at":"2026-05-18T12:30:58Z"}],"graph_snapshots":[{"event_id":"sha256:61262626c329d99c28746a791bee015bef697f68154584298710a19b09369cb5","target":"graph","created_at":"2026-05-18T00:40:22Z","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":"Policy specification for personal user data is a hard problem, as it depends on many factors that cannot be predetermined by system developers. Simultaneously, systems are increasingly relying on users to make security decisions. In this paper, we propose the approach of Policy by Example (PyBE) for specifying user-specific security policies. PyBE brings the benefits of the successful approach of programming by example (PBE) for program synthesis to the policy specification domain. In PyBE, users provide policy examples that specify if actions should be allowed or denied in certain scenarios. ","authors_text":"Adwait Nadkarni, Jessica Staddon, Somesh Jha, William Enck","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2017-07-13T03:40:31Z","title":"Policy by Example: An Approach for Security Policy Specification"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.03967","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:fd759dd3610a47942f845c654e77bb2b228fd134c3b26afffacc7fc649e091ea","target":"record","created_at":"2026-05-18T00:40:22Z","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":"34dd303deb2a740c01eeff9e42de8c0c0cc325333dfbe7161ce109e22e6c54a8","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2017-07-13T03:40:31Z","title_canon_sha256":"51d1e3d40d63a6ae0378971922cc2a4dad4227148c02ddb27826a366b15d0eaa"},"schema_version":"1.0","source":{"id":"1707.03967","kind":"arxiv","version":1}},"canonical_sha256":"df8dec422945c40c8f485a011fe53f7c5b58b0f38587a333f97e0384cfa04557","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"df8dec422945c40c8f485a011fe53f7c5b58b0f38587a333f97e0384cfa04557","first_computed_at":"2026-05-18T00:40:22.979220Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:40:22.979220Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"pj9uMUo1kD+itjkXX/mAlCq7CaPsKxbyEb6bfnb3uOAyRIkv3Mm8w8RoIfHSlxEiDrZxGJcHgYr/FA3mKJxUDg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:40:22.979833Z","signed_message":"canonical_sha256_bytes"},"source_id":"1707.03967","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:fd759dd3610a47942f845c654e77bb2b228fd134c3b26afffacc7fc649e091ea","sha256:61262626c329d99c28746a791bee015bef697f68154584298710a19b09369cb5"],"state_sha256":"7725698d9cf936c04a188fea181e8fef049c0a64c2efdec7b5ee01e622d60911"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gFB3zLrm72GIbIBnfwfotPSnVCnL1QxD8AHj1PhYbNctiBS6go0ak61QirMZyxNljTMGvLzvtP8dKsxcn49GAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T07:09:39.559349Z","bundle_sha256":"f20c753704d25ba91802f4ca8a780a7cfcb97e7765f0bcadd5c174f1122d69fb"}}