{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:NHG3D2YSJJNM64UVKKUM2EI3OC","short_pith_number":"pith:NHG3D2YS","schema_version":"1.0","canonical_sha256":"69cdb1eb124a5acf729552a8cd111b708bec9b6bd5eaf90c358d55a130f88737","source":{"kind":"arxiv","id":"1806.02444","version":2},"attestation_state":"computed","paper":{"title":"Eliminating Timing Side-Channel Leaks using Program Repair","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL","cs.SE"],"primary_cat":"cs.CR","authors_text":"Chao Wang, Meng Wu, Patrick Schaumont, Shengjian Guo","submitted_at":"2018-06-06T22:27:31Z","abstract_excerpt":"We propose a method, based on program analysis and transformation, for eliminating timing side channels in software code that implements security-critical applications. Our method takes as input the original program together with a list of secret variables (e.g., cryptographic keys, security tokens, or passwords) and returns the transformed program as output. The transformed program is guaranteed to be functionally equivalent to the original program and free of both instruction- and cache-timing side channels. Specifically, we ensure that the number of CPU cycles taken to execute any path is 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":"1806.02444","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2018-06-06T22:27:31Z","cross_cats_sorted":["cs.PL","cs.SE"],"title_canon_sha256":"99102fbaaecce912dfad9d8b4c23899bcb7ef384fd573d15595e73a68182011e","abstract_canon_sha256":"c7f33f7e2187aacefef6393d2c09cdef8002c623d2a8257f1c9020944cddd960"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:10:10.074876Z","signature_b64":"FE28ieQqc7zyF9vmbz9xa7VaOrWm64f7Jrs9rxRB7yK7vtODojQ77/7D4+fQjL5CIhUqnOFUg3Fasn6YxHavDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"69cdb1eb124a5acf729552a8cd111b708bec9b6bd5eaf90c358d55a130f88737","last_reissued_at":"2026-05-18T00:10:10.074306Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:10:10.074306Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Eliminating Timing Side-Channel Leaks using Program Repair","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL","cs.SE"],"primary_cat":"cs.CR","authors_text":"Chao Wang, Meng Wu, Patrick Schaumont, Shengjian Guo","submitted_at":"2018-06-06T22:27:31Z","abstract_excerpt":"We propose a method, based on program analysis and transformation, for eliminating timing side channels in software code that implements security-critical applications. Our method takes as input the original program together with a list of secret variables (e.g., cryptographic keys, security tokens, or passwords) and returns the transformed program as output. The transformed program is guaranteed to be functionally equivalent to the original program and free of both instruction- and cache-timing side channels. Specifically, we ensure that the number of CPU cycles taken to execute any path is i"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1806.02444","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":""},"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":"1806.02444","created_at":"2026-05-18T00:10:10.074426+00:00"},{"alias_kind":"arxiv_version","alias_value":"1806.02444v2","created_at":"2026-05-18T00:10:10.074426+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1806.02444","created_at":"2026-05-18T00:10:10.074426+00:00"},{"alias_kind":"pith_short_12","alias_value":"NHG3D2YSJJNM","created_at":"2026-05-18T12:32:40.477152+00:00"},{"alias_kind":"pith_short_16","alias_value":"NHG3D2YSJJNM64UV","created_at":"2026-05-18T12:32:40.477152+00:00"},{"alias_kind":"pith_short_8","alias_value":"NHG3D2YS","created_at":"2026-05-18T12:32:40.477152+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/NHG3D2YSJJNM64UVKKUM2EI3OC","json":"https://pith.science/pith/NHG3D2YSJJNM64UVKKUM2EI3OC.json","graph_json":"https://pith.science/api/pith-number/NHG3D2YSJJNM64UVKKUM2EI3OC/graph.json","events_json":"https://pith.science/api/pith-number/NHG3D2YSJJNM64UVKKUM2EI3OC/events.json","paper":"https://pith.science/paper/NHG3D2YS"},"agent_actions":{"view_html":"https://pith.science/pith/NHG3D2YSJJNM64UVKKUM2EI3OC","download_json":"https://pith.science/pith/NHG3D2YSJJNM64UVKKUM2EI3OC.json","view_paper":"https://pith.science/paper/NHG3D2YS","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1806.02444&json=true","fetch_graph":"https://pith.science/api/pith-number/NHG3D2YSJJNM64UVKKUM2EI3OC/graph.json","fetch_events":"https://pith.science/api/pith-number/NHG3D2YSJJNM64UVKKUM2EI3OC/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/NHG3D2YSJJNM64UVKKUM2EI3OC/action/timestamp_anchor","attest_storage":"https://pith.science/pith/NHG3D2YSJJNM64UVKKUM2EI3OC/action/storage_attestation","attest_author":"https://pith.science/pith/NHG3D2YSJJNM64UVKKUM2EI3OC/action/author_attestation","sign_citation":"https://pith.science/pith/NHG3D2YSJJNM64UVKKUM2EI3OC/action/citation_signature","submit_replication":"https://pith.science/pith/NHG3D2YSJJNM64UVKKUM2EI3OC/action/replication_record"}},"created_at":"2026-05-18T00:10:10.074426+00:00","updated_at":"2026-05-18T00:10:10.074426+00:00"}