{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:3XW6GGIZE2MDAHEVUQESHZFIT6","short_pith_number":"pith:3XW6GGIZ","canonical_record":{"source":{"id":"1611.05642","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2016-11-17T11:48:29Z","cross_cats_sorted":[],"title_canon_sha256":"aa530ce4f85455254db614cc61153dfb56773b88bba07c3051406e77d031f8f0","abstract_canon_sha256":"a79d7962c3e49ffac7dbf4b905bc494bbd2a1b80c3d33953bbc308e3f50bda39"},"schema_version":"1.0"},"canonical_sha256":"ddede319192698301c95a40923e4a89fa585a2b82f0fe3b7804b7187c59b917f","source":{"kind":"arxiv","id":"1611.05642","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1611.05642","created_at":"2026-05-18T00:58:03Z"},{"alias_kind":"arxiv_version","alias_value":"1611.05642v1","created_at":"2026-05-18T00:58:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1611.05642","created_at":"2026-05-18T00:58:03Z"},{"alias_kind":"pith_short_12","alias_value":"3XW6GGIZE2MD","created_at":"2026-05-18T12:29:58Z"},{"alias_kind":"pith_short_16","alias_value":"3XW6GGIZE2MDAHEV","created_at":"2026-05-18T12:29:58Z"},{"alias_kind":"pith_short_8","alias_value":"3XW6GGIZ","created_at":"2026-05-18T12:29:58Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:3XW6GGIZE2MDAHEVUQESHZFIT6","target":"record","payload":{"canonical_record":{"source":{"id":"1611.05642","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2016-11-17T11:48:29Z","cross_cats_sorted":[],"title_canon_sha256":"aa530ce4f85455254db614cc61153dfb56773b88bba07c3051406e77d031f8f0","abstract_canon_sha256":"a79d7962c3e49ffac7dbf4b905bc494bbd2a1b80c3d33953bbc308e3f50bda39"},"schema_version":"1.0"},"canonical_sha256":"ddede319192698301c95a40923e4a89fa585a2b82f0fe3b7804b7187c59b917f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:58:03.024221Z","signature_b64":"XQy8En7zatrfMeUAzL3qBUKjupFbkQ18QGuxCq+GPyYYy4nqL4dNokJIQknSmOpj/3C6YmN2c034JEpsYEMmBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ddede319192698301c95a40923e4a89fa585a2b82f0fe3b7804b7187c59b917f","last_reissued_at":"2026-05-18T00:58:03.023505Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:58:03.023505Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1611.05642","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:58:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"k5I8fEWlXnVz76+KQtGyFfXSRXu0LS7XeLxkMjFCoocB7AW0kIUqpO3TeY9eosen6DVXs8GjMmva9iMZgytxCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T20:36:10.396907Z"},"content_sha256":"3f78246ba8a5f704507dc8a6fe42b269c4d2a04b035ee7e4f53a418c891e8e4a","schema_version":"1.0","event_id":"sha256:3f78246ba8a5f704507dc8a6fe42b269c4d2a04b035ee7e4f53a418c891e8e4a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:3XW6GGIZE2MDAHEVUQESHZFIT6","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Data Minimisation: a Language-Based Approach (Long Version)","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"David Sands, Gerardo Schneider, Thibaud Antignac","submitted_at":"2016-11-17T11:48:29Z","abstract_excerpt":"Data minimisation is a privacy-enhancing principle considered as one of the pillars of personal data regulations. This principle dictates that personal data collected should be no more than necessary for the specific purpose consented by the user. In this paper we study data minimisation from a programming language perspective. We assume that a given program embodies the purpose of data collection, and define a data minimiser as a pre-processor for the input which reduces the amount of information available to the program without compromising its functionality. In this context we study formal "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1611.05642","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:58:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"njU99fCi0IEcv7ZM/pjas6Ho1aUUPyQczkrCYNrU1bo8UiOps2N0zH/N2ojq/kKLXgtJah/0214+8iiXq68sCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T20:36:10.397266Z"},"content_sha256":"faf799d00d032812f35dd9c906a70ef436c08e2e5a9992b81b31044c4495b04c","schema_version":"1.0","event_id":"sha256:faf799d00d032812f35dd9c906a70ef436c08e2e5a9992b81b31044c4495b04c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3XW6GGIZE2MDAHEVUQESHZFIT6/bundle.json","state_url":"https://pith.science/pith/3XW6GGIZE2MDAHEVUQESHZFIT6/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3XW6GGIZE2MDAHEVUQESHZFIT6/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-25T20:36:10Z","links":{"resolver":"https://pith.science/pith/3XW6GGIZE2MDAHEVUQESHZFIT6","bundle":"https://pith.science/pith/3XW6GGIZE2MDAHEVUQESHZFIT6/bundle.json","state":"https://pith.science/pith/3XW6GGIZE2MDAHEVUQESHZFIT6/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3XW6GGIZE2MDAHEVUQESHZFIT6/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:3XW6GGIZE2MDAHEVUQESHZFIT6","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":"a79d7962c3e49ffac7dbf4b905bc494bbd2a1b80c3d33953bbc308e3f50bda39","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2016-11-17T11:48:29Z","title_canon_sha256":"aa530ce4f85455254db614cc61153dfb56773b88bba07c3051406e77d031f8f0"},"schema_version":"1.0","source":{"id":"1611.05642","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1611.05642","created_at":"2026-05-18T00:58:03Z"},{"alias_kind":"arxiv_version","alias_value":"1611.05642v1","created_at":"2026-05-18T00:58:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1611.05642","created_at":"2026-05-18T00:58:03Z"},{"alias_kind":"pith_short_12","alias_value":"3XW6GGIZE2MD","created_at":"2026-05-18T12:29:58Z"},{"alias_kind":"pith_short_16","alias_value":"3XW6GGIZE2MDAHEV","created_at":"2026-05-18T12:29:58Z"},{"alias_kind":"pith_short_8","alias_value":"3XW6GGIZ","created_at":"2026-05-18T12:29:58Z"}],"graph_snapshots":[{"event_id":"sha256:faf799d00d032812f35dd9c906a70ef436c08e2e5a9992b81b31044c4495b04c","target":"graph","created_at":"2026-05-18T00:58:03Z","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":"Data minimisation is a privacy-enhancing principle considered as one of the pillars of personal data regulations. This principle dictates that personal data collected should be no more than necessary for the specific purpose consented by the user. In this paper we study data minimisation from a programming language perspective. We assume that a given program embodies the purpose of data collection, and define a data minimiser as a pre-processor for the input which reduces the amount of information available to the program without compromising its functionality. In this context we study formal ","authors_text":"David Sands, Gerardo Schneider, Thibaud Antignac","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2016-11-17T11:48:29Z","title":"Data Minimisation: a Language-Based Approach (Long Version)"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1611.05642","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:3f78246ba8a5f704507dc8a6fe42b269c4d2a04b035ee7e4f53a418c891e8e4a","target":"record","created_at":"2026-05-18T00:58:03Z","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":"a79d7962c3e49ffac7dbf4b905bc494bbd2a1b80c3d33953bbc308e3f50bda39","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2016-11-17T11:48:29Z","title_canon_sha256":"aa530ce4f85455254db614cc61153dfb56773b88bba07c3051406e77d031f8f0"},"schema_version":"1.0","source":{"id":"1611.05642","kind":"arxiv","version":1}},"canonical_sha256":"ddede319192698301c95a40923e4a89fa585a2b82f0fe3b7804b7187c59b917f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ddede319192698301c95a40923e4a89fa585a2b82f0fe3b7804b7187c59b917f","first_computed_at":"2026-05-18T00:58:03.023505Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:58:03.023505Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"XQy8En7zatrfMeUAzL3qBUKjupFbkQ18QGuxCq+GPyYYy4nqL4dNokJIQknSmOpj/3C6YmN2c034JEpsYEMmBw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:58:03.024221Z","signed_message":"canonical_sha256_bytes"},"source_id":"1611.05642","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3f78246ba8a5f704507dc8a6fe42b269c4d2a04b035ee7e4f53a418c891e8e4a","sha256:faf799d00d032812f35dd9c906a70ef436c08e2e5a9992b81b31044c4495b04c"],"state_sha256":"3ed11212a4449ad9776e63c2c8dcc303d15d4ec88110806b0b53e3907a59e913"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8E5zEl20Fqo7/5jN1GpzmIroiFId7p60eZpEJUKuMs85eSdhxrWpCofVQIIkcav/IjSPoLIqijXK0oMby9wSBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-25T20:36:10.399896Z","bundle_sha256":"470397a5d5840439382b92452ccd7deea4cea00e3d0e7070ccb3a814d55ce830"}}