{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:PKMRTYQ434BKCCEXFDYQFR5R4W","short_pith_number":"pith:PKMRTYQ4","canonical_record":{"source":{"id":"1706.01742","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2017-06-06T13:15:30Z","cross_cats_sorted":[],"title_canon_sha256":"9119be1d03019d8d64d289327bed2189f05a94ee4c2d1be7b3c5b976a2f29488","abstract_canon_sha256":"b67503839f961484e07f49a19ef8acfa4f7a8fddc7a01b92e2e3389832e2fa45"},"schema_version":"1.0"},"canonical_sha256":"7a9919e21cdf02a1089728f102c7b1e59e169d8e298398ef212b63b692a99a99","source":{"kind":"arxiv","id":"1706.01742","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1706.01742","created_at":"2026-05-18T00:42:56Z"},{"alias_kind":"arxiv_version","alias_value":"1706.01742v1","created_at":"2026-05-18T00:42:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1706.01742","created_at":"2026-05-18T00:42:56Z"},{"alias_kind":"pith_short_12","alias_value":"PKMRTYQ434BK","created_at":"2026-05-18T12:31:37Z"},{"alias_kind":"pith_short_16","alias_value":"PKMRTYQ434BKCCEX","created_at":"2026-05-18T12:31:37Z"},{"alias_kind":"pith_short_8","alias_value":"PKMRTYQ4","created_at":"2026-05-18T12:31:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:PKMRTYQ434BKCCEXFDYQFR5R4W","target":"record","payload":{"canonical_record":{"source":{"id":"1706.01742","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2017-06-06T13:15:30Z","cross_cats_sorted":[],"title_canon_sha256":"9119be1d03019d8d64d289327bed2189f05a94ee4c2d1be7b3c5b976a2f29488","abstract_canon_sha256":"b67503839f961484e07f49a19ef8acfa4f7a8fddc7a01b92e2e3389832e2fa45"},"schema_version":"1.0"},"canonical_sha256":"7a9919e21cdf02a1089728f102c7b1e59e169d8e298398ef212b63b692a99a99","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:42:56.092257Z","signature_b64":"IhudzbeV5C3CyeqQYGrUWyGat6RRtDob5BbHfBlG6snM/timA0rbC3QoRRg26nRYOEHuLwnWofufhWU2ue0oDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7a9919e21cdf02a1089728f102c7b1e59e169d8e298398ef212b63b692a99a99","last_reissued_at":"2026-05-18T00:42:56.091805Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:42:56.091805Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1706.01742","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:42:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AEaaUeRocV4PY3CFJZM1GuchUQrTBSaV1dLDpcVtWHcXty85v/Gij2N1dpNgD6Jm+bAOAOXCqz5F/rUDCScnBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T18:47:20.496635Z"},"content_sha256":"003d59cc3322f1feda0e38b6a90b66bafd814b72c43888976abdf1b3a53c66a4","schema_version":"1.0","event_id":"sha256:003d59cc3322f1feda0e38b6a90b66bafd814b72c43888976abdf1b3a53c66a4"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:PKMRTYQ434BKCCEXFDYQFR5R4W","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Types for Location and Data Security in Cloud Environments","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Dominic Duggan, Ivan Gazeau, Tom Chothia","submitted_at":"2017-06-06T13:15:30Z","abstract_excerpt":"Cloud service providers are often trusted to be genuine, the damage caused by being discovered to be attacking their own customers outweighs any benefits such attacks could reap. On the other hand, it is expected that some cloud service users may be actively malicious. In such an open system, each location may run code which has been developed independently of other locations (and which may be secret). In this paper, we present a typed language which ensures that the access restrictions put on data on a particular device will be observed by all other devices running typed code. Untyped, compro"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1706.01742","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:42:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Uny8qaUeAr2scLRE1XIKDqCO/C5bH2KqJAFrOfyqR3HTa9RwKHWXYtu/gos4nsFQZ0t4kaB188F4LU/ClYStDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T18:47:20.497012Z"},"content_sha256":"804bd2baed6dfd1535e539e51cffc0c07801203e34579fd35a0b5e3f056aeb85","schema_version":"1.0","event_id":"sha256:804bd2baed6dfd1535e539e51cffc0c07801203e34579fd35a0b5e3f056aeb85"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/PKMRTYQ434BKCCEXFDYQFR5R4W/bundle.json","state_url":"https://pith.science/pith/PKMRTYQ434BKCCEXFDYQFR5R4W/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/PKMRTYQ434BKCCEXFDYQFR5R4W/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-26T18:47:20Z","links":{"resolver":"https://pith.science/pith/PKMRTYQ434BKCCEXFDYQFR5R4W","bundle":"https://pith.science/pith/PKMRTYQ434BKCCEXFDYQFR5R4W/bundle.json","state":"https://pith.science/pith/PKMRTYQ434BKCCEXFDYQFR5R4W/state.json","well_known_bundle":"https://pith.science/.well-known/pith/PKMRTYQ434BKCCEXFDYQFR5R4W/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:PKMRTYQ434BKCCEXFDYQFR5R4W","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":"b67503839f961484e07f49a19ef8acfa4f7a8fddc7a01b92e2e3389832e2fa45","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2017-06-06T13:15:30Z","title_canon_sha256":"9119be1d03019d8d64d289327bed2189f05a94ee4c2d1be7b3c5b976a2f29488"},"schema_version":"1.0","source":{"id":"1706.01742","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1706.01742","created_at":"2026-05-18T00:42:56Z"},{"alias_kind":"arxiv_version","alias_value":"1706.01742v1","created_at":"2026-05-18T00:42:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1706.01742","created_at":"2026-05-18T00:42:56Z"},{"alias_kind":"pith_short_12","alias_value":"PKMRTYQ434BK","created_at":"2026-05-18T12:31:37Z"},{"alias_kind":"pith_short_16","alias_value":"PKMRTYQ434BKCCEX","created_at":"2026-05-18T12:31:37Z"},{"alias_kind":"pith_short_8","alias_value":"PKMRTYQ4","created_at":"2026-05-18T12:31:37Z"}],"graph_snapshots":[{"event_id":"sha256:804bd2baed6dfd1535e539e51cffc0c07801203e34579fd35a0b5e3f056aeb85","target":"graph","created_at":"2026-05-18T00:42:56Z","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":"Cloud service providers are often trusted to be genuine, the damage caused by being discovered to be attacking their own customers outweighs any benefits such attacks could reap. On the other hand, it is expected that some cloud service users may be actively malicious. In such an open system, each location may run code which has been developed independently of other locations (and which may be secret). In this paper, we present a typed language which ensures that the access restrictions put on data on a particular device will be observed by all other devices running typed code. Untyped, compro","authors_text":"Dominic Duggan, Ivan Gazeau, Tom Chothia","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2017-06-06T13:15:30Z","title":"Types for Location and Data Security in Cloud Environments"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1706.01742","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:003d59cc3322f1feda0e38b6a90b66bafd814b72c43888976abdf1b3a53c66a4","target":"record","created_at":"2026-05-18T00:42:56Z","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":"b67503839f961484e07f49a19ef8acfa4f7a8fddc7a01b92e2e3389832e2fa45","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2017-06-06T13:15:30Z","title_canon_sha256":"9119be1d03019d8d64d289327bed2189f05a94ee4c2d1be7b3c5b976a2f29488"},"schema_version":"1.0","source":{"id":"1706.01742","kind":"arxiv","version":1}},"canonical_sha256":"7a9919e21cdf02a1089728f102c7b1e59e169d8e298398ef212b63b692a99a99","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7a9919e21cdf02a1089728f102c7b1e59e169d8e298398ef212b63b692a99a99","first_computed_at":"2026-05-18T00:42:56.091805Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:42:56.091805Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"IhudzbeV5C3CyeqQYGrUWyGat6RRtDob5BbHfBlG6snM/timA0rbC3QoRRg26nRYOEHuLwnWofufhWU2ue0oDA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:42:56.092257Z","signed_message":"canonical_sha256_bytes"},"source_id":"1706.01742","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:003d59cc3322f1feda0e38b6a90b66bafd814b72c43888976abdf1b3a53c66a4","sha256:804bd2baed6dfd1535e539e51cffc0c07801203e34579fd35a0b5e3f056aeb85"],"state_sha256":"5eaa64ad1074ef7800868e0a73ef134d12e6905d2ff05939ee6f71eb2ece38fb"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Np7GvF0sPUQ44hkaIeQ82r7MA290EmYbwI+HGYqsyWHcxBm86nlZmHQwkkcP2XVoCNVxGYcgY8a4DIsAImOjAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-26T18:47:20.499011Z","bundle_sha256":"7bb582b43c4c3da175e48c2f191b2460fcfd0f44c68131832631327267183ca6"}}