{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2019:OAG2HBC4PQ7JGH36WEV6O3I5NA","short_pith_number":"pith:OAG2HBC4","schema_version":"1.0","canonical_sha256":"700da3845c7c3e931f7eb12be76d1d6811afc6b63c1f08dbdfaa32170450b3f1","source":{"kind":"arxiv","id":"1904.12409","version":1},"attestation_state":"computed","paper":{"title":"Algorithm Diversity for Resilient Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Scott D. Stoller, Yanhong A. Liu","submitted_at":"2019-04-29T00:56:48Z","abstract_excerpt":"Diversity can significantly increase the resilience of systems, by reducing the prevalence of shared vulnerabilities and making vulnerabilities harder to exploit. Work on software diversity for security typically creates variants of a program using low-level code transformations. This paper is the first to study algorithm diversity for resilience. We first describe how a method based on high-level invariants and systematic incrementalization can be used to create algorithm variants. Executing multiple variants in parallel and comparing their outputs provides greater resilience than executing o"},"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":"1904.12409","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2019-04-29T00:56:48Z","cross_cats_sorted":[],"title_canon_sha256":"0c012f4211c692dd6b2743e73394fe8391ce6f7a9b15de8bee20aa59115900b2","abstract_canon_sha256":"4769e7cbc15b03f9fe0f513bf235386996a597dc71aadae3d29a8387283072fd"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:40:08.637584Z","signature_b64":"5HkcuDsLrS9X7pNiipcI1wlX8iz958mBtFvWZo9iWoQvoh1jnNRQMe6IaV+GwDTOEXGSqpqoEJZDt/LCLFEPAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"700da3845c7c3e931f7eb12be76d1d6811afc6b63c1f08dbdfaa32170450b3f1","last_reissued_at":"2026-05-17T23:40:08.636942Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:40:08.636942Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Algorithm Diversity for Resilient Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Scott D. Stoller, Yanhong A. Liu","submitted_at":"2019-04-29T00:56:48Z","abstract_excerpt":"Diversity can significantly increase the resilience of systems, by reducing the prevalence of shared vulnerabilities and making vulnerabilities harder to exploit. Work on software diversity for security typically creates variants of a program using low-level code transformations. This paper is the first to study algorithm diversity for resilience. We first describe how a method based on high-level invariants and systematic incrementalization can be used to create algorithm variants. Executing multiple variants in parallel and comparing their outputs provides greater resilience than executing o"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1904.12409","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":"1904.12409","created_at":"2026-05-17T23:40:08.637022+00:00"},{"alias_kind":"arxiv_version","alias_value":"1904.12409v1","created_at":"2026-05-17T23:40:08.637022+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1904.12409","created_at":"2026-05-17T23:40:08.637022+00:00"},{"alias_kind":"pith_short_12","alias_value":"OAG2HBC4PQ7J","created_at":"2026-05-18T12:33:24.271573+00:00"},{"alias_kind":"pith_short_16","alias_value":"OAG2HBC4PQ7JGH36","created_at":"2026-05-18T12:33:24.271573+00:00"},{"alias_kind":"pith_short_8","alias_value":"OAG2HBC4","created_at":"2026-05-18T12:33:24.271573+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/OAG2HBC4PQ7JGH36WEV6O3I5NA","json":"https://pith.science/pith/OAG2HBC4PQ7JGH36WEV6O3I5NA.json","graph_json":"https://pith.science/api/pith-number/OAG2HBC4PQ7JGH36WEV6O3I5NA/graph.json","events_json":"https://pith.science/api/pith-number/OAG2HBC4PQ7JGH36WEV6O3I5NA/events.json","paper":"https://pith.science/paper/OAG2HBC4"},"agent_actions":{"view_html":"https://pith.science/pith/OAG2HBC4PQ7JGH36WEV6O3I5NA","download_json":"https://pith.science/pith/OAG2HBC4PQ7JGH36WEV6O3I5NA.json","view_paper":"https://pith.science/paper/OAG2HBC4","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1904.12409&json=true","fetch_graph":"https://pith.science/api/pith-number/OAG2HBC4PQ7JGH36WEV6O3I5NA/graph.json","fetch_events":"https://pith.science/api/pith-number/OAG2HBC4PQ7JGH36WEV6O3I5NA/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/OAG2HBC4PQ7JGH36WEV6O3I5NA/action/timestamp_anchor","attest_storage":"https://pith.science/pith/OAG2HBC4PQ7JGH36WEV6O3I5NA/action/storage_attestation","attest_author":"https://pith.science/pith/OAG2HBC4PQ7JGH36WEV6O3I5NA/action/author_attestation","sign_citation":"https://pith.science/pith/OAG2HBC4PQ7JGH36WEV6O3I5NA/action/citation_signature","submit_replication":"https://pith.science/pith/OAG2HBC4PQ7JGH36WEV6O3I5NA/action/replication_record"}},"created_at":"2026-05-17T23:40:08.637022+00:00","updated_at":"2026-05-17T23:40:08.637022+00:00"}