{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:SOYWLGSLXYJ2GQ5AKTGICRMPVI","short_pith_number":"pith:SOYWLGSL","schema_version":"1.0","canonical_sha256":"93b1659a4bbe13a343a054cc81458faa20f109b8a7e95b1058c229b0d374447a","source":{"kind":"arxiv","id":"1705.00795","version":1},"attestation_state":"computed","paper":{"title":"Automated Analysis of Voting Systems under an Active Intruder Model in CSP","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"James Heather, Murat Moran","submitted_at":"2017-05-02T04:53:07Z","abstract_excerpt":"This article presents a novel intruder model for automated reasoning about anonymity (vote-privacy) and secrecy properties of voting systems. We adapt the lazy spy for this purpose, as it avoids the eagerness of pre-computation of unnecessary deductions, reducing the required state space for the analysis. This powerful intruder behaves as a Dolev-Yao intruder, which not only observes a protocol run but also interacts with the protocol participants, overhears communication channels, intercepts and spoofs any messages that he has learned or generated from any prior knowledge.\n  We make several i"},"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":"1705.00795","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2017-05-02T04:53:07Z","cross_cats_sorted":[],"title_canon_sha256":"9eab71ef4ffb67e80e502204e20e8744cf4dbcd99ca555f2d7f24b1a555ae355","abstract_canon_sha256":"2ff4840d9ea6c47e68f87ed5b3b338584d4f6012a5a0ac482380cc7beab37d16"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:45:09.787051Z","signature_b64":"JrA2qUXJkCoXPN86YY138QJtzqrP3TQwW/MnHVd/ZG7GjroYLXDbxaZgD8z5AXE5j9lxZlHVBM31ihCru/urCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"93b1659a4bbe13a343a054cc81458faa20f109b8a7e95b1058c229b0d374447a","last_reissued_at":"2026-05-18T00:45:09.786386Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:45:09.786386Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Automated Analysis of Voting Systems under an Active Intruder Model in CSP","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"James Heather, Murat Moran","submitted_at":"2017-05-02T04:53:07Z","abstract_excerpt":"This article presents a novel intruder model for automated reasoning about anonymity (vote-privacy) and secrecy properties of voting systems. We adapt the lazy spy for this purpose, as it avoids the eagerness of pre-computation of unnecessary deductions, reducing the required state space for the analysis. This powerful intruder behaves as a Dolev-Yao intruder, which not only observes a protocol run but also interacts with the protocol participants, overhears communication channels, intercepts and spoofs any messages that he has learned or generated from any prior knowledge.\n  We make several i"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1705.00795","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":"1705.00795","created_at":"2026-05-18T00:45:09.786504+00:00"},{"alias_kind":"arxiv_version","alias_value":"1705.00795v1","created_at":"2026-05-18T00:45:09.786504+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1705.00795","created_at":"2026-05-18T00:45:09.786504+00:00"},{"alias_kind":"pith_short_12","alias_value":"SOYWLGSLXYJ2","created_at":"2026-05-18T12:31:43.269735+00:00"},{"alias_kind":"pith_short_16","alias_value":"SOYWLGSLXYJ2GQ5A","created_at":"2026-05-18T12:31:43.269735+00:00"},{"alias_kind":"pith_short_8","alias_value":"SOYWLGSL","created_at":"2026-05-18T12:31:43.269735+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/SOYWLGSLXYJ2GQ5AKTGICRMPVI","json":"https://pith.science/pith/SOYWLGSLXYJ2GQ5AKTGICRMPVI.json","graph_json":"https://pith.science/api/pith-number/SOYWLGSLXYJ2GQ5AKTGICRMPVI/graph.json","events_json":"https://pith.science/api/pith-number/SOYWLGSLXYJ2GQ5AKTGICRMPVI/events.json","paper":"https://pith.science/paper/SOYWLGSL"},"agent_actions":{"view_html":"https://pith.science/pith/SOYWLGSLXYJ2GQ5AKTGICRMPVI","download_json":"https://pith.science/pith/SOYWLGSLXYJ2GQ5AKTGICRMPVI.json","view_paper":"https://pith.science/paper/SOYWLGSL","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1705.00795&json=true","fetch_graph":"https://pith.science/api/pith-number/SOYWLGSLXYJ2GQ5AKTGICRMPVI/graph.json","fetch_events":"https://pith.science/api/pith-number/SOYWLGSLXYJ2GQ5AKTGICRMPVI/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/SOYWLGSLXYJ2GQ5AKTGICRMPVI/action/timestamp_anchor","attest_storage":"https://pith.science/pith/SOYWLGSLXYJ2GQ5AKTGICRMPVI/action/storage_attestation","attest_author":"https://pith.science/pith/SOYWLGSLXYJ2GQ5AKTGICRMPVI/action/author_attestation","sign_citation":"https://pith.science/pith/SOYWLGSLXYJ2GQ5AKTGICRMPVI/action/citation_signature","submit_replication":"https://pith.science/pith/SOYWLGSLXYJ2GQ5AKTGICRMPVI/action/replication_record"}},"created_at":"2026-05-18T00:45:09.786504+00:00","updated_at":"2026-05-18T00:45:09.786504+00:00"}