{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2011:QWQ5AYI5X6EMATPCLTM3AZFWYM","short_pith_number":"pith:QWQ5AYI5","schema_version":"1.0","canonical_sha256":"85a1d0611dbf88c04de25cd9b064b6c3130a558fb09e9d23bbc9a42ec2ac66e9","source":{"kind":"arxiv","id":"1101.2819","version":1},"attestation_state":"computed","paper":{"title":"Formal Verification of Differential Privacy for Interactive Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Anupam Datta, Dilsun Kaynar, Michael Carl Tschantz","submitted_at":"2011-01-14T14:26:20Z","abstract_excerpt":"Differential privacy is a promising approach to privacy preserving data analysis with a well-developed theory for functions. Despite recent work on implementing systems that aim to provide differential privacy, the problem of formally verifying that these systems have differential privacy has not been adequately addressed. This paper presents the first results towards automated verification of source code for differentially private interactive systems. We develop a formal probabilistic automaton model of differential privacy for systems by adapting prior work on differential privacy for functi"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1101.2819","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2011-01-14T14:26:20Z","cross_cats_sorted":[],"title_canon_sha256":"d74eb90f77d1e5d2855b97e7a36cead922182c8b486a8270ebac4f75e87ea8b2","abstract_canon_sha256":"5fc3a1a7f829c3546113a49d87690d421a1f54d111c2328f4b2392011e163fc5"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:31:31.720945Z","signature_b64":"W6GKskfzN2UYHNDy7o6FjyjC31xJC136HEaDHaDnLGEfsenPFpdPCECSkn/jM7WId4poMSxqbVq47dE3qV3nBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"85a1d0611dbf88c04de25cd9b064b6c3130a558fb09e9d23bbc9a42ec2ac66e9","last_reissued_at":"2026-05-18T04:31:31.720415Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:31:31.720415Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Formal Verification of Differential Privacy for Interactive Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Anupam Datta, Dilsun Kaynar, Michael Carl Tschantz","submitted_at":"2011-01-14T14:26:20Z","abstract_excerpt":"Differential privacy is a promising approach to privacy preserving data analysis with a well-developed theory for functions. Despite recent work on implementing systems that aim to provide differential privacy, the problem of formally verifying that these systems have differential privacy has not been adequately addressed. This paper presents the first results towards automated verification of source code for differentially private interactive systems. We develop a formal probabilistic automaton model of differential privacy for systems by adapting prior work on differential privacy for functi"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1101.2819","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1101.2819","created_at":"2026-05-18T04:31:31.720503+00:00"},{"alias_kind":"arxiv_version","alias_value":"1101.2819v1","created_at":"2026-05-18T04:31:31.720503+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1101.2819","created_at":"2026-05-18T04:31:31.720503+00:00"},{"alias_kind":"pith_short_12","alias_value":"QWQ5AYI5X6EM","created_at":"2026-05-18T12:26:39.201973+00:00"},{"alias_kind":"pith_short_16","alias_value":"QWQ5AYI5X6EMATPC","created_at":"2026-05-18T12:26:39.201973+00:00"},{"alias_kind":"pith_short_8","alias_value":"QWQ5AYI5","created_at":"2026-05-18T12:26:39.201973+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/QWQ5AYI5X6EMATPCLTM3AZFWYM","json":"https://pith.science/pith/QWQ5AYI5X6EMATPCLTM3AZFWYM.json","graph_json":"https://pith.science/api/pith-number/QWQ5AYI5X6EMATPCLTM3AZFWYM/graph.json","events_json":"https://pith.science/api/pith-number/QWQ5AYI5X6EMATPCLTM3AZFWYM/events.json","paper":"https://pith.science/paper/QWQ5AYI5"},"agent_actions":{"view_html":"https://pith.science/pith/QWQ5AYI5X6EMATPCLTM3AZFWYM","download_json":"https://pith.science/pith/QWQ5AYI5X6EMATPCLTM3AZFWYM.json","view_paper":"https://pith.science/paper/QWQ5AYI5","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1101.2819&json=true","fetch_graph":"https://pith.science/api/pith-number/QWQ5AYI5X6EMATPCLTM3AZFWYM/graph.json","fetch_events":"https://pith.science/api/pith-number/QWQ5AYI5X6EMATPCLTM3AZFWYM/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/QWQ5AYI5X6EMATPCLTM3AZFWYM/action/timestamp_anchor","attest_storage":"https://pith.science/pith/QWQ5AYI5X6EMATPCLTM3AZFWYM/action/storage_attestation","attest_author":"https://pith.science/pith/QWQ5AYI5X6EMATPCLTM3AZFWYM/action/author_attestation","sign_citation":"https://pith.science/pith/QWQ5AYI5X6EMATPCLTM3AZFWYM/action/citation_signature","submit_replication":"https://pith.science/pith/QWQ5AYI5X6EMATPCLTM3AZFWYM/action/replication_record"}},"created_at":"2026-05-18T04:31:31.720503+00:00","updated_at":"2026-05-18T04:31:31.720503+00:00"}