{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:XKJBVHHAWXIMXZGTCTWKUJSLRQ","short_pith_number":"pith:XKJBVHHA","canonical_record":{"source":{"id":"1610.04388","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-10-14T10:07:47Z","cross_cats_sorted":["cs.CR","math.LO"],"title_canon_sha256":"15f36bb04d25dffe646f76211f64a04ebfe048be2623e7577f8f46477eb6e492","abstract_canon_sha256":"80a1be62fdb9f6968f085f6eed0464277de631fa94c6921428de0549d5d472ea"},"schema_version":"1.0"},"canonical_sha256":"ba921a9ce0b5d0cbe4d314ecaa264b8c0a7c07a04e9c72364698d0ccb796d943","source":{"kind":"arxiv","id":"1610.04388","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1610.04388","created_at":"2026-05-18T00:53:12Z"},{"alias_kind":"arxiv_version","alias_value":"1610.04388v2","created_at":"2026-05-18T00:53:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1610.04388","created_at":"2026-05-18T00:53:12Z"},{"alias_kind":"pith_short_12","alias_value":"XKJBVHHAWXIM","created_at":"2026-05-18T12:30:51Z"},{"alias_kind":"pith_short_16","alias_value":"XKJBVHHAWXIMXZGT","created_at":"2026-05-18T12:30:51Z"},{"alias_kind":"pith_short_8","alias_value":"XKJBVHHA","created_at":"2026-05-18T12:30:51Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:XKJBVHHAWXIMXZGTCTWKUJSLRQ","target":"record","payload":{"canonical_record":{"source":{"id":"1610.04388","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-10-14T10:07:47Z","cross_cats_sorted":["cs.CR","math.LO"],"title_canon_sha256":"15f36bb04d25dffe646f76211f64a04ebfe048be2623e7577f8f46477eb6e492","abstract_canon_sha256":"80a1be62fdb9f6968f085f6eed0464277de631fa94c6921428de0549d5d472ea"},"schema_version":"1.0"},"canonical_sha256":"ba921a9ce0b5d0cbe4d314ecaa264b8c0a7c07a04e9c72364698d0ccb796d943","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:53:12.051568Z","signature_b64":"61hUyHZP9CqyIe8rDkDQ9t9j6hCdLR9JQtyqqPNT9KxWC8cSBLTLgEg9Sk7pe3Op6uoV0lsSBxYKBi4/akxwCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ba921a9ce0b5d0cbe4d314ecaa264b8c0a7c07a04e9c72364698d0ccb796d943","last_reissued_at":"2026-05-18T00:53:12.051114Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:53:12.051114Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1610.04388","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:53:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/4ble1ayL4PTRf/Uxq4HBRtgdMsKum59t48rNDZLTShFTqChYFIpEEvowxaEM8kd9+g+niiOJprNX8HgZii/BA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-03T00:19:12.309352Z"},"content_sha256":"3fab4763cb0e4721b7f39edf6370d16491eb5a3b15af5c1ef7c70f6aa353935d","schema_version":"1.0","event_id":"sha256:3fab4763cb0e4721b7f39edf6370d16491eb5a3b15af5c1ef7c70f6aa353935d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:XKJBVHHAWXIMXZGTCTWKUJSLRQ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The First-Order Logic of Hyperproperties","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CR","math.LO"],"primary_cat":"cs.LO","authors_text":"Bernd Finkbeiner, Martin Zimmermann","submitted_at":"2016-10-14T10:07:47Z","abstract_excerpt":"We investigate the logical foundations of hyperproperties. Hyperproperties generalize trace properties, which are sets of traces, to sets of sets of traces. The most prominent application of hyperproperties is information flow security: information flow policies characterize the secrecy and integrity of a system by comparing two or more execution traces, for example by comparing the observations made by an external observer on execution traces that result from different values of a secret variable. In this paper, we establish the first connection between temporal logics for hyperproperties and"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1610.04388","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:53:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jlT4yaLGnA/BqJGhDUjXW1FMlZ638ZxDfDhXtBSb0OMfzngTeRjWMHHaQ8n+sf8feyVf/TZV1UtnQyh4tz7oBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-03T00:19:12.309701Z"},"content_sha256":"0f58dbdcc3ebd221efaac7f4348925db148c389fe15b8dca1501fd8203ace05b","schema_version":"1.0","event_id":"sha256:0f58dbdcc3ebd221efaac7f4348925db148c389fe15b8dca1501fd8203ace05b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XKJBVHHAWXIMXZGTCTWKUJSLRQ/bundle.json","state_url":"https://pith.science/pith/XKJBVHHAWXIMXZGTCTWKUJSLRQ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XKJBVHHAWXIMXZGTCTWKUJSLRQ/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-07-03T00:19:12Z","links":{"resolver":"https://pith.science/pith/XKJBVHHAWXIMXZGTCTWKUJSLRQ","bundle":"https://pith.science/pith/XKJBVHHAWXIMXZGTCTWKUJSLRQ/bundle.json","state":"https://pith.science/pith/XKJBVHHAWXIMXZGTCTWKUJSLRQ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XKJBVHHAWXIMXZGTCTWKUJSLRQ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:XKJBVHHAWXIMXZGTCTWKUJSLRQ","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":"80a1be62fdb9f6968f085f6eed0464277de631fa94c6921428de0549d5d472ea","cross_cats_sorted":["cs.CR","math.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-10-14T10:07:47Z","title_canon_sha256":"15f36bb04d25dffe646f76211f64a04ebfe048be2623e7577f8f46477eb6e492"},"schema_version":"1.0","source":{"id":"1610.04388","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1610.04388","created_at":"2026-05-18T00:53:12Z"},{"alias_kind":"arxiv_version","alias_value":"1610.04388v2","created_at":"2026-05-18T00:53:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1610.04388","created_at":"2026-05-18T00:53:12Z"},{"alias_kind":"pith_short_12","alias_value":"XKJBVHHAWXIM","created_at":"2026-05-18T12:30:51Z"},{"alias_kind":"pith_short_16","alias_value":"XKJBVHHAWXIMXZGT","created_at":"2026-05-18T12:30:51Z"},{"alias_kind":"pith_short_8","alias_value":"XKJBVHHA","created_at":"2026-05-18T12:30:51Z"}],"graph_snapshots":[{"event_id":"sha256:0f58dbdcc3ebd221efaac7f4348925db148c389fe15b8dca1501fd8203ace05b","target":"graph","created_at":"2026-05-18T00:53:12Z","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 investigate the logical foundations of hyperproperties. Hyperproperties generalize trace properties, which are sets of traces, to sets of sets of traces. The most prominent application of hyperproperties is information flow security: information flow policies characterize the secrecy and integrity of a system by comparing two or more execution traces, for example by comparing the observations made by an external observer on execution traces that result from different values of a secret variable. In this paper, we establish the first connection between temporal logics for hyperproperties and","authors_text":"Bernd Finkbeiner, Martin Zimmermann","cross_cats":["cs.CR","math.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-10-14T10:07:47Z","title":"The First-Order Logic of Hyperproperties"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1610.04388","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:3fab4763cb0e4721b7f39edf6370d16491eb5a3b15af5c1ef7c70f6aa353935d","target":"record","created_at":"2026-05-18T00:53:12Z","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":"80a1be62fdb9f6968f085f6eed0464277de631fa94c6921428de0549d5d472ea","cross_cats_sorted":["cs.CR","math.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-10-14T10:07:47Z","title_canon_sha256":"15f36bb04d25dffe646f76211f64a04ebfe048be2623e7577f8f46477eb6e492"},"schema_version":"1.0","source":{"id":"1610.04388","kind":"arxiv","version":2}},"canonical_sha256":"ba921a9ce0b5d0cbe4d314ecaa264b8c0a7c07a04e9c72364698d0ccb796d943","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ba921a9ce0b5d0cbe4d314ecaa264b8c0a7c07a04e9c72364698d0ccb796d943","first_computed_at":"2026-05-18T00:53:12.051114Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:53:12.051114Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"61hUyHZP9CqyIe8rDkDQ9t9j6hCdLR9JQtyqqPNT9KxWC8cSBLTLgEg9Sk7pe3Op6uoV0lsSBxYKBi4/akxwCg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:53:12.051568Z","signed_message":"canonical_sha256_bytes"},"source_id":"1610.04388","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3fab4763cb0e4721b7f39edf6370d16491eb5a3b15af5c1ef7c70f6aa353935d","sha256:0f58dbdcc3ebd221efaac7f4348925db148c389fe15b8dca1501fd8203ace05b"],"state_sha256":"398f3c37e4dd2fb84d15b3d5a6dac376cb9c2487926194ab099d484015073a8f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qVkaLKhQ5eAinsHmJBiYebcUFsjT2hjTfqaRgxQEXkmyKV8yPh8lYkyGT0HblgRjM9/Ba1uho90DwNyppakuAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-03T00:19:12.311851Z","bundle_sha256":"f7e086a06850cd435acefa2d021f6c5c89264318fe6bc2fe1939ec856499b379"}}