{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2023:6N3VKX2ND4ZYNECMSPQJHIOX5E","short_pith_number":"pith:6N3VKX2N","schema_version":"1.0","canonical_sha256":"f377555f4d1f3386904c93e093a1d7e921fb1d1cc3e515d21357a795bf15f880","source":{"kind":"arxiv","id":"2308.02306","version":2},"attestation_state":"computed","paper":{"title":"Improving the Security of United States Elections with Robust Optimization","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["math.OC"],"primary_cat":"cs.CR","authors_text":"Braden L. Crimmins, Bradley Sturt, J. Alex Halderman","submitted_at":"2023-08-04T13:17:53Z","abstract_excerpt":"For more than a century, election officials across the United States have inspected voting machines before elections using a procedure called Logic and Accuracy Testing (LAT). This procedure consists of election officials casting a test deck of ballots into each voting machine and confirming the machine produces the expected vote total for each candidate. We bring a scientific perspective to LAT by introducing the first formal approach to designing test decks with rigorous security guarantees. Specifically, our approach employs robust optimization to find test decks that are guaranteed to dete"},"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":"2308.02306","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2023-08-04T13:17:53Z","cross_cats_sorted":["math.OC"],"title_canon_sha256":"15538756c32116ecb45f68e067dd1d1021fe34635431ba468592e53c65c94fd7","abstract_canon_sha256":"d204836f4e9a1d3bee6244eb594b4d9c44c9dae18023d0b8a49bfe0eede24f65"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:12:55.668392Z","signature_b64":"v02/SGJ2Xm4uQ+T9b3176QjuK6cuSgcjzizw/OWWDP/qQwEhhBHHerYdHxqdmT7aERfDjBsa4inE1/MZ2KjDAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f377555f4d1f3386904c93e093a1d7e921fb1d1cc3e515d21357a795bf15f880","last_reissued_at":"2026-07-05T09:12:55.667908Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:12:55.667908Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Improving the Security of United States Elections with Robust Optimization","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["math.OC"],"primary_cat":"cs.CR","authors_text":"Braden L. Crimmins, Bradley Sturt, J. Alex Halderman","submitted_at":"2023-08-04T13:17:53Z","abstract_excerpt":"For more than a century, election officials across the United States have inspected voting machines before elections using a procedure called Logic and Accuracy Testing (LAT). This procedure consists of election officials casting a test deck of ballots into each voting machine and confirming the machine produces the expected vote total for each candidate. We bring a scientific perspective to LAT by introducing the first formal approach to designing test decks with rigorous security guarantees. Specifically, our approach employs robust optimization to find test decks that are guaranteed to dete"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2308.02306","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2308.02306/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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":"2308.02306","created_at":"2026-07-05T09:12:55.667968+00:00"},{"alias_kind":"arxiv_version","alias_value":"2308.02306v2","created_at":"2026-07-05T09:12:55.667968+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2308.02306","created_at":"2026-07-05T09:12:55.667968+00:00"},{"alias_kind":"pith_short_12","alias_value":"6N3VKX2ND4ZY","created_at":"2026-07-05T09:12:55.667968+00:00"},{"alias_kind":"pith_short_16","alias_value":"6N3VKX2ND4ZYNECM","created_at":"2026-07-05T09:12:55.667968+00:00"},{"alias_kind":"pith_short_8","alias_value":"6N3VKX2N","created_at":"2026-07-05T09:12:55.667968+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/6N3VKX2ND4ZYNECMSPQJHIOX5E","json":"https://pith.science/pith/6N3VKX2ND4ZYNECMSPQJHIOX5E.json","graph_json":"https://pith.science/api/pith-number/6N3VKX2ND4ZYNECMSPQJHIOX5E/graph.json","events_json":"https://pith.science/api/pith-number/6N3VKX2ND4ZYNECMSPQJHIOX5E/events.json","paper":"https://pith.science/paper/6N3VKX2N"},"agent_actions":{"view_html":"https://pith.science/pith/6N3VKX2ND4ZYNECMSPQJHIOX5E","download_json":"https://pith.science/pith/6N3VKX2ND4ZYNECMSPQJHIOX5E.json","view_paper":"https://pith.science/paper/6N3VKX2N","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2308.02306&json=true","fetch_graph":"https://pith.science/api/pith-number/6N3VKX2ND4ZYNECMSPQJHIOX5E/graph.json","fetch_events":"https://pith.science/api/pith-number/6N3VKX2ND4ZYNECMSPQJHIOX5E/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/6N3VKX2ND4ZYNECMSPQJHIOX5E/action/timestamp_anchor","attest_storage":"https://pith.science/pith/6N3VKX2ND4ZYNECMSPQJHIOX5E/action/storage_attestation","attest_author":"https://pith.science/pith/6N3VKX2ND4ZYNECMSPQJHIOX5E/action/author_attestation","sign_citation":"https://pith.science/pith/6N3VKX2ND4ZYNECMSPQJHIOX5E/action/citation_signature","submit_replication":"https://pith.science/pith/6N3VKX2ND4ZYNECMSPQJHIOX5E/action/replication_record"}},"created_at":"2026-07-05T09:12:55.667968+00:00","updated_at":"2026-07-05T09:12:55.667968+00:00"}