{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:BWATTHFWQJ6NRNT5TGBDKY52SV","short_pith_number":"pith:BWATTHFW","canonical_record":{"source":{"id":"1710.07309","kind":"arxiv","version":4},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2017-10-19T18:35:54Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"0db3228f636145b2c4e7bebd6a23a86790bd5185a06a8877eb0f69db5ee6fc12","abstract_canon_sha256":"2079007e18838c0917082d564df7af971525ac541aa159a77d86e801b43504d5"},"schema_version":"1.0"},"canonical_sha256":"0d81399cb6827cd8b67d99823563ba955cb5568429fc5479f84673f33c31770a","source":{"kind":"arxiv","id":"1710.07309","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1710.07309","created_at":"2026-05-18T00:27:35Z"},{"alias_kind":"arxiv_version","alias_value":"1710.07309v4","created_at":"2026-05-18T00:27:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1710.07309","created_at":"2026-05-18T00:27:35Z"},{"alias_kind":"pith_short_12","alias_value":"BWATTHFWQJ6N","created_at":"2026-05-18T12:31:08Z"},{"alias_kind":"pith_short_16","alias_value":"BWATTHFWQJ6NRNT5","created_at":"2026-05-18T12:31:08Z"},{"alias_kind":"pith_short_8","alias_value":"BWATTHFW","created_at":"2026-05-18T12:31:08Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:BWATTHFWQJ6NRNT5TGBDKY52SV","target":"record","payload":{"canonical_record":{"source":{"id":"1710.07309","kind":"arxiv","version":4},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2017-10-19T18:35:54Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"0db3228f636145b2c4e7bebd6a23a86790bd5185a06a8877eb0f69db5ee6fc12","abstract_canon_sha256":"2079007e18838c0917082d564df7af971525ac541aa159a77d86e801b43504d5"},"schema_version":"1.0"},"canonical_sha256":"0d81399cb6827cd8b67d99823563ba955cb5568429fc5479f84673f33c31770a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:27:35.756944Z","signature_b64":"q3UO27pNryceBE0eQvUpjngmQ2yjkHzbqQg7WDuHeLx9h3IvwV5Ph3avrTxIAnvE2HaEIhWZ1SySSvXVAMquCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0d81399cb6827cd8b67d99823563ba955cb5568429fc5479f84673f33c31770a","last_reissued_at":"2026-05-18T00:27:35.756169Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:27:35.756169Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1710.07309","source_version":4,"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:27:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"EoROF9KKetLRn/omKpeNsyVOJKY38PuhgS8AZY5JD8Q5hlUjANy+HxYn7ypl70LsQACJfR2kDTEweesLLtZ+AQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-22T00:34:07.605552Z"},"content_sha256":"e7cba71c3df106af3fb5d2f74a08565c760fc3ff043b8afbbe802ea843be2c10","schema_version":"1.0","event_id":"sha256:e7cba71c3df106af3fb5d2f74a08565c760fc3ff043b8afbbe802ea843be2c10"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:BWATTHFWQJ6NRNT5TGBDKY52SV","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Robust Hyperproperty Preservation for Secure Compilation (Extended Abstract)","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.CR","authors_text":"Catalin Hritcu, David Swasey, Deepak Garg, Marco Patrignani, Marco Stronati","submitted_at":"2017-10-19T18:35:54Z","abstract_excerpt":"We map the space of soundness criteria for secure compilation based on the preservation of hyperproperties in arbitrary adversarial contexts, which we call robust hyperproperty preservation. For this, we study the preservation of several classes of hyperproperties and for each class we propose an equivalent \"property-free\" characterization of secure compilation that is generally better tailored for proofs. Even the strongest of our soundness criteria, the robust preservation of all hyperproperties, seems achievable for simple transformations and provable using context back-translation techniqu"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1710.07309","kind":"arxiv","version":4},"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:27:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yyz6LH6Yq5mEJf337wkFz1uCd22mmG0e69YzOw1cSgavLGoysJBxUKOQmucharvmnpeqgrN603qvPJ3Y1XDpDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-22T00:34:07.606144Z"},"content_sha256":"0b09d7dd406106b9260ea3c5cfe1da19542dfdadfab3d6b8788759e88b0b3ca9","schema_version":"1.0","event_id":"sha256:0b09d7dd406106b9260ea3c5cfe1da19542dfdadfab3d6b8788759e88b0b3ca9"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/BWATTHFWQJ6NRNT5TGBDKY52SV/bundle.json","state_url":"https://pith.science/pith/BWATTHFWQJ6NRNT5TGBDKY52SV/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/BWATTHFWQJ6NRNT5TGBDKY52SV/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-22T00:34:07Z","links":{"resolver":"https://pith.science/pith/BWATTHFWQJ6NRNT5TGBDKY52SV","bundle":"https://pith.science/pith/BWATTHFWQJ6NRNT5TGBDKY52SV/bundle.json","state":"https://pith.science/pith/BWATTHFWQJ6NRNT5TGBDKY52SV/state.json","well_known_bundle":"https://pith.science/.well-known/pith/BWATTHFWQJ6NRNT5TGBDKY52SV/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:BWATTHFWQJ6NRNT5TGBDKY52SV","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":"2079007e18838c0917082d564df7af971525ac541aa159a77d86e801b43504d5","cross_cats_sorted":["cs.PL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2017-10-19T18:35:54Z","title_canon_sha256":"0db3228f636145b2c4e7bebd6a23a86790bd5185a06a8877eb0f69db5ee6fc12"},"schema_version":"1.0","source":{"id":"1710.07309","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1710.07309","created_at":"2026-05-18T00:27:35Z"},{"alias_kind":"arxiv_version","alias_value":"1710.07309v4","created_at":"2026-05-18T00:27:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1710.07309","created_at":"2026-05-18T00:27:35Z"},{"alias_kind":"pith_short_12","alias_value":"BWATTHFWQJ6N","created_at":"2026-05-18T12:31:08Z"},{"alias_kind":"pith_short_16","alias_value":"BWATTHFWQJ6NRNT5","created_at":"2026-05-18T12:31:08Z"},{"alias_kind":"pith_short_8","alias_value":"BWATTHFW","created_at":"2026-05-18T12:31:08Z"}],"graph_snapshots":[{"event_id":"sha256:0b09d7dd406106b9260ea3c5cfe1da19542dfdadfab3d6b8788759e88b0b3ca9","target":"graph","created_at":"2026-05-18T00:27:35Z","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 map the space of soundness criteria for secure compilation based on the preservation of hyperproperties in arbitrary adversarial contexts, which we call robust hyperproperty preservation. For this, we study the preservation of several classes of hyperproperties and for each class we propose an equivalent \"property-free\" characterization of secure compilation that is generally better tailored for proofs. Even the strongest of our soundness criteria, the robust preservation of all hyperproperties, seems achievable for simple transformations and provable using context back-translation techniqu","authors_text":"Catalin Hritcu, David Swasey, Deepak Garg, Marco Patrignani, Marco Stronati","cross_cats":["cs.PL"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2017-10-19T18:35:54Z","title":"Robust Hyperproperty Preservation for Secure Compilation (Extended Abstract)"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1710.07309","kind":"arxiv","version":4},"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:e7cba71c3df106af3fb5d2f74a08565c760fc3ff043b8afbbe802ea843be2c10","target":"record","created_at":"2026-05-18T00:27:35Z","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":"2079007e18838c0917082d564df7af971525ac541aa159a77d86e801b43504d5","cross_cats_sorted":["cs.PL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2017-10-19T18:35:54Z","title_canon_sha256":"0db3228f636145b2c4e7bebd6a23a86790bd5185a06a8877eb0f69db5ee6fc12"},"schema_version":"1.0","source":{"id":"1710.07309","kind":"arxiv","version":4}},"canonical_sha256":"0d81399cb6827cd8b67d99823563ba955cb5568429fc5479f84673f33c31770a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0d81399cb6827cd8b67d99823563ba955cb5568429fc5479f84673f33c31770a","first_computed_at":"2026-05-18T00:27:35.756169Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:27:35.756169Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"q3UO27pNryceBE0eQvUpjngmQ2yjkHzbqQg7WDuHeLx9h3IvwV5Ph3avrTxIAnvE2HaEIhWZ1SySSvXVAMquCw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:27:35.756944Z","signed_message":"canonical_sha256_bytes"},"source_id":"1710.07309","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e7cba71c3df106af3fb5d2f74a08565c760fc3ff043b8afbbe802ea843be2c10","sha256:0b09d7dd406106b9260ea3c5cfe1da19542dfdadfab3d6b8788759e88b0b3ca9"],"state_sha256":"7f992aa4ea3922a1f948bf2007d5e66f9e274c160e73b5ae376807ccfa937f47"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lqfh32xc9egH2zlSav1ykmPMhIkRDoJt0gGHRxQR60SpawhWICY5+KqgmDhR2Et8qbIA4srrkM3dAjd13ATUDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-22T00:34:07.609033Z","bundle_sha256":"8b296632034186e9da74bed5419dd079ff888c65d552adcf682e065c34cd477f"}}