{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2015:7BK6TQ2S7YXRI7DLGUZBPC4GUI","short_pith_number":"pith:7BK6TQ2S","schema_version":"1.0","canonical_sha256":"f855e9c352fe2f147c6b3532178b86a208c772931a8bc3d9a0862207950645fe","source":{"kind":"arxiv","id":"1505.01131","version":1},"attestation_state":"computed","paper":{"title":"Program Actions as Actual Causes: A Building Block for Accountability","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Anupam Datta, Arunesh Sinha, Deepak Garg, Dilsun Kaynar, Divya Sharma","submitted_at":"2015-05-05T19:14:42Z","abstract_excerpt":"Protocols for tasks such as authentication, electronic voting, and secure multiparty computation ensure desirable security properties if agents follow their prescribed programs. However, if some agents deviate from their prescribed programs and a security property is violated, it is important to hold agents accountable by determining which deviations actually caused the violation. Motivated by these applications, we initiate a formal study of program actions as actual causes. Specifically, we define in an interacting program model what it means for a set of program actions to be an actual caus"},"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":"1505.01131","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2015-05-05T19:14:42Z","cross_cats_sorted":[],"title_canon_sha256":"6070ddc95fb12e3d014aa2ffb24410a46ccd118d41bb2815eae96588e3fa8271","abstract_canon_sha256":"6ce1140938b0db6abc707f544cf90a55bc471349d4d26da9b9aac90941fe60b2"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:16:51.807095Z","signature_b64":"Mb9g6NWgH3G7/ZgpFIAX8pgJ289vB8V7I87TxUd3uoxHo95GLwaYhaJWmWaX+VzEmKsEEAsKDn0tAVqYuRAIAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f855e9c352fe2f147c6b3532178b86a208c772931a8bc3d9a0862207950645fe","last_reissued_at":"2026-05-18T02:16:51.806506Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:16:51.806506Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Program Actions as Actual Causes: A Building Block for Accountability","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Anupam Datta, Arunesh Sinha, Deepak Garg, Dilsun Kaynar, Divya Sharma","submitted_at":"2015-05-05T19:14:42Z","abstract_excerpt":"Protocols for tasks such as authentication, electronic voting, and secure multiparty computation ensure desirable security properties if agents follow their prescribed programs. However, if some agents deviate from their prescribed programs and a security property is violated, it is important to hold agents accountable by determining which deviations actually caused the violation. Motivated by these applications, we initiate a formal study of program actions as actual causes. Specifically, we define in an interacting program model what it means for a set of program actions to be an actual caus"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1505.01131","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":"1505.01131","created_at":"2026-05-18T02:16:51.806625+00:00"},{"alias_kind":"arxiv_version","alias_value":"1505.01131v1","created_at":"2026-05-18T02:16:51.806625+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1505.01131","created_at":"2026-05-18T02:16:51.806625+00:00"},{"alias_kind":"pith_short_12","alias_value":"7BK6TQ2S7YXR","created_at":"2026-05-18T12:29:07.941421+00:00"},{"alias_kind":"pith_short_16","alias_value":"7BK6TQ2S7YXRI7DL","created_at":"2026-05-18T12:29:07.941421+00:00"},{"alias_kind":"pith_short_8","alias_value":"7BK6TQ2S","created_at":"2026-05-18T12:29:07.941421+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/7BK6TQ2S7YXRI7DLGUZBPC4GUI","json":"https://pith.science/pith/7BK6TQ2S7YXRI7DLGUZBPC4GUI.json","graph_json":"https://pith.science/api/pith-number/7BK6TQ2S7YXRI7DLGUZBPC4GUI/graph.json","events_json":"https://pith.science/api/pith-number/7BK6TQ2S7YXRI7DLGUZBPC4GUI/events.json","paper":"https://pith.science/paper/7BK6TQ2S"},"agent_actions":{"view_html":"https://pith.science/pith/7BK6TQ2S7YXRI7DLGUZBPC4GUI","download_json":"https://pith.science/pith/7BK6TQ2S7YXRI7DLGUZBPC4GUI.json","view_paper":"https://pith.science/paper/7BK6TQ2S","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1505.01131&json=true","fetch_graph":"https://pith.science/api/pith-number/7BK6TQ2S7YXRI7DLGUZBPC4GUI/graph.json","fetch_events":"https://pith.science/api/pith-number/7BK6TQ2S7YXRI7DLGUZBPC4GUI/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/7BK6TQ2S7YXRI7DLGUZBPC4GUI/action/timestamp_anchor","attest_storage":"https://pith.science/pith/7BK6TQ2S7YXRI7DLGUZBPC4GUI/action/storage_attestation","attest_author":"https://pith.science/pith/7BK6TQ2S7YXRI7DLGUZBPC4GUI/action/author_attestation","sign_citation":"https://pith.science/pith/7BK6TQ2S7YXRI7DLGUZBPC4GUI/action/citation_signature","submit_replication":"https://pith.science/pith/7BK6TQ2S7YXRI7DLGUZBPC4GUI/action/replication_record"}},"created_at":"2026-05-18T02:16:51.806625+00:00","updated_at":"2026-05-18T02:16:51.806625+00:00"}