{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2015:GG2DEY5PWM6FP3BV3VTHXC6DTR","short_pith_number":"pith:GG2DEY5P","schema_version":"1.0","canonical_sha256":"31b43263afb33c57ec35dd667b8bc39c689faffb823821889e4b85191a62e35f","source":{"kind":"arxiv","id":"1502.04023","version":3},"attestation_state":"computed","paper":{"title":"The Meaning of Attack-Resistant Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Mart\\'in Ochoa, Sebastian Banescu, Vijay Ganesh","submitted_at":"2015-02-13T15:15:42Z","abstract_excerpt":"In this paper, we introduce a formal notion of partial compliance, called Attack-resistance, of a computer program running together with a defense mechanism w.r.t a non-exploitability specification. In our setting, a program may contain exploitable vulnerabilities, such as buffer overflows, but appropriate defense mechanisms built into the program or the operating system render such vulnerabilities hard to exploit by certain attackers, usually relying on the strength of the randomness of a probabilistic transformation of the environment or the program and some knowledge on the attacker's goals"},"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":"1502.04023","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2015-02-13T15:15:42Z","cross_cats_sorted":[],"title_canon_sha256":"a87c1beeda303e062a7b31cd76d94b5d6b6c2718f5347f73c7276a1182ade0c1","abstract_canon_sha256":"fa9f7369949d85f993a13b1cedbc1a9d2a92689ee327d35d2e80f441baf0c90c"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:51:49.248119Z","signature_b64":"2n23YGKIqBFL5jXi9wvIPJVaHAozQ8uztvqJrvNKn9H8oyK67jJddutURKT5JkeTKdnT208vTmLNS81JICuNAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"31b43263afb33c57ec35dd667b8bc39c689faffb823821889e4b85191a62e35f","last_reissued_at":"2026-05-18T01:51:49.247651Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:51:49.247651Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"The Meaning of Attack-Resistant Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Mart\\'in Ochoa, Sebastian Banescu, Vijay Ganesh","submitted_at":"2015-02-13T15:15:42Z","abstract_excerpt":"In this paper, we introduce a formal notion of partial compliance, called Attack-resistance, of a computer program running together with a defense mechanism w.r.t a non-exploitability specification. In our setting, a program may contain exploitable vulnerabilities, such as buffer overflows, but appropriate defense mechanisms built into the program or the operating system render such vulnerabilities hard to exploit by certain attackers, usually relying on the strength of the randomness of a probabilistic transformation of the environment or the program and some knowledge on the attacker's goals"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1502.04023","kind":"arxiv","version":3},"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":"1502.04023","created_at":"2026-05-18T01:51:49.247726+00:00"},{"alias_kind":"arxiv_version","alias_value":"1502.04023v3","created_at":"2026-05-18T01:51:49.247726+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1502.04023","created_at":"2026-05-18T01:51:49.247726+00:00"},{"alias_kind":"pith_short_12","alias_value":"GG2DEY5PWM6F","created_at":"2026-05-18T12:29:22.688609+00:00"},{"alias_kind":"pith_short_16","alias_value":"GG2DEY5PWM6FP3BV","created_at":"2026-05-18T12:29:22.688609+00:00"},{"alias_kind":"pith_short_8","alias_value":"GG2DEY5P","created_at":"2026-05-18T12:29:22.688609+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/GG2DEY5PWM6FP3BV3VTHXC6DTR","json":"https://pith.science/pith/GG2DEY5PWM6FP3BV3VTHXC6DTR.json","graph_json":"https://pith.science/api/pith-number/GG2DEY5PWM6FP3BV3VTHXC6DTR/graph.json","events_json":"https://pith.science/api/pith-number/GG2DEY5PWM6FP3BV3VTHXC6DTR/events.json","paper":"https://pith.science/paper/GG2DEY5P"},"agent_actions":{"view_html":"https://pith.science/pith/GG2DEY5PWM6FP3BV3VTHXC6DTR","download_json":"https://pith.science/pith/GG2DEY5PWM6FP3BV3VTHXC6DTR.json","view_paper":"https://pith.science/paper/GG2DEY5P","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1502.04023&json=true","fetch_graph":"https://pith.science/api/pith-number/GG2DEY5PWM6FP3BV3VTHXC6DTR/graph.json","fetch_events":"https://pith.science/api/pith-number/GG2DEY5PWM6FP3BV3VTHXC6DTR/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/GG2DEY5PWM6FP3BV3VTHXC6DTR/action/timestamp_anchor","attest_storage":"https://pith.science/pith/GG2DEY5PWM6FP3BV3VTHXC6DTR/action/storage_attestation","attest_author":"https://pith.science/pith/GG2DEY5PWM6FP3BV3VTHXC6DTR/action/author_attestation","sign_citation":"https://pith.science/pith/GG2DEY5PWM6FP3BV3VTHXC6DTR/action/citation_signature","submit_replication":"https://pith.science/pith/GG2DEY5PWM6FP3BV3VTHXC6DTR/action/replication_record"}},"created_at":"2026-05-18T01:51:49.247726+00:00","updated_at":"2026-05-18T01:51:49.247726+00:00"}