{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2012:DTGT45I5RGN76DPCLVTCXUUDWD","short_pith_number":"pith:DTGT45I5","schema_version":"1.0","canonical_sha256":"1ccd3e751d899bff0de25d662bd283b0f22223fcfd399c9faf41ffb24eb55724","source":{"kind":"arxiv","id":"1202.0359","version":1},"attestation_state":"computed","paper":{"title":"Cryptographic Path Hardening: Hiding Vulnerabilities in Software through Cryptography","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CR","cs.PL"],"primary_cat":"cs.SE","authors_text":"Martin Rinard, Michael Carbin, Vijay Ganesh","submitted_at":"2012-02-02T04:53:09Z","abstract_excerpt":"We propose a novel approach to improving software security called Cryptographic Path Hardening, which is aimed at hiding security vulnerabilities in software from attackers through the use of provably secure and obfuscated cryptographic devices to harden paths in programs.\n  By \"harden\" we mean that certain error-checking if-conditionals in a given program P are replaced by equivalent\" we mean that adversaries cannot use semi-automatic program analysis techniques to reason about the hardened program paths and thus cannot discover as-yet-unknown errors along those paths, except perhaps through "},"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":"1202.0359","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2012-02-02T04:53:09Z","cross_cats_sorted":["cs.CR","cs.PL"],"title_canon_sha256":"2b5856b1faabd6611dd8a416c33c99272d5605b081c8f9bed0f0f5133fe8f9f4","abstract_canon_sha256":"943942555e9225d92c279a2064baad50087a6f0133b5f11dea86e70d7f221102"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:03:18.575901Z","signature_b64":"sjXEqUewE5BerXe40cU9pVtb+ORwnZFRZPhIozrRU0qY0qZM65ClhbUxb/llZ8gPHuNg+o6j0rwJ/85KQj9nAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1ccd3e751d899bff0de25d662bd283b0f22223fcfd399c9faf41ffb24eb55724","last_reissued_at":"2026-05-18T04:03:18.575345Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:03:18.575345Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Cryptographic Path Hardening: Hiding Vulnerabilities in Software through Cryptography","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CR","cs.PL"],"primary_cat":"cs.SE","authors_text":"Martin Rinard, Michael Carbin, Vijay Ganesh","submitted_at":"2012-02-02T04:53:09Z","abstract_excerpt":"We propose a novel approach to improving software security called Cryptographic Path Hardening, which is aimed at hiding security vulnerabilities in software from attackers through the use of provably secure and obfuscated cryptographic devices to harden paths in programs.\n  By \"harden\" we mean that certain error-checking if-conditionals in a given program P are replaced by equivalent\" we mean that adversaries cannot use semi-automatic program analysis techniques to reason about the hardened program paths and thus cannot discover as-yet-unknown errors along those paths, except perhaps through "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1202.0359","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":"1202.0359","created_at":"2026-05-18T04:03:18.575434+00:00"},{"alias_kind":"arxiv_version","alias_value":"1202.0359v1","created_at":"2026-05-18T04:03:18.575434+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1202.0359","created_at":"2026-05-18T04:03:18.575434+00:00"},{"alias_kind":"pith_short_12","alias_value":"DTGT45I5RGN7","created_at":"2026-05-18T12:27:04.183437+00:00"},{"alias_kind":"pith_short_16","alias_value":"DTGT45I5RGN76DPC","created_at":"2026-05-18T12:27:04.183437+00:00"},{"alias_kind":"pith_short_8","alias_value":"DTGT45I5","created_at":"2026-05-18T12:27:04.183437+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/DTGT45I5RGN76DPCLVTCXUUDWD","json":"https://pith.science/pith/DTGT45I5RGN76DPCLVTCXUUDWD.json","graph_json":"https://pith.science/api/pith-number/DTGT45I5RGN76DPCLVTCXUUDWD/graph.json","events_json":"https://pith.science/api/pith-number/DTGT45I5RGN76DPCLVTCXUUDWD/events.json","paper":"https://pith.science/paper/DTGT45I5"},"agent_actions":{"view_html":"https://pith.science/pith/DTGT45I5RGN76DPCLVTCXUUDWD","download_json":"https://pith.science/pith/DTGT45I5RGN76DPCLVTCXUUDWD.json","view_paper":"https://pith.science/paper/DTGT45I5","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1202.0359&json=true","fetch_graph":"https://pith.science/api/pith-number/DTGT45I5RGN76DPCLVTCXUUDWD/graph.json","fetch_events":"https://pith.science/api/pith-number/DTGT45I5RGN76DPCLVTCXUUDWD/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/DTGT45I5RGN76DPCLVTCXUUDWD/action/timestamp_anchor","attest_storage":"https://pith.science/pith/DTGT45I5RGN76DPCLVTCXUUDWD/action/storage_attestation","attest_author":"https://pith.science/pith/DTGT45I5RGN76DPCLVTCXUUDWD/action/author_attestation","sign_citation":"https://pith.science/pith/DTGT45I5RGN76DPCLVTCXUUDWD/action/citation_signature","submit_replication":"https://pith.science/pith/DTGT45I5RGN76DPCLVTCXUUDWD/action/replication_record"}},"created_at":"2026-05-18T04:03:18.575434+00:00","updated_at":"2026-05-18T04:03:18.575434+00:00"}