{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:NHG3D2YSJJNM64UVKKUM2EI3OC","short_pith_number":"pith:NHG3D2YS","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"},"canonical_sha256":"69cdb1eb124a5acf729552a8cd111b708bec9b6bd5eaf90c358d55a130f88737","source":{"kind":"arxiv","id":"1806.02444","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1806.02444","created_at":"2026-05-18T00:10:10Z"},{"alias_kind":"arxiv_version","alias_value":"1806.02444v2","created_at":"2026-05-18T00:10:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1806.02444","created_at":"2026-05-18T00:10:10Z"},{"alias_kind":"pith_short_12","alias_value":"NHG3D2YSJJNM","created_at":"2026-05-18T12:32:40Z"},{"alias_kind":"pith_short_16","alias_value":"NHG3D2YSJJNM64UV","created_at":"2026-05-18T12:32:40Z"},{"alias_kind":"pith_short_8","alias_value":"NHG3D2YS","created_at":"2026-05-18T12:32:40Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:NHG3D2YSJJNM64UVKKUM2EI3OC","target":"record","payload":{"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"},"canonical_sha256":"69cdb1eb124a5acf729552a8cd111b708bec9b6bd5eaf90c358d55a130f88737","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"},"source_kind":"arxiv","source_id":"1806.02444","source_version":2,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:10:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"N1tw1ASd4EqZPWoOjlvvoEgQkJ3L64vn+w3LomgUFIR3QhXfTiNlp9RkAr1fXz1w0e7BPpjvqUKDco+GonQqBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T06:58:52.172957Z"},"content_sha256":"53c46d7d1b53f6e8e775c33fd3f20459c87b03a8d2d7c4def09692708f65074f","schema_version":"1.0","event_id":"sha256:53c46d7d1b53f6e8e775c33fd3f20459c87b03a8d2d7c4def09692708f65074f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:NHG3D2YSJJNM64UVKKUM2EI3OC","target":"graph","payload":{"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:10:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"V2sbOnfGp2ClPPmBYod8BXdoRAZmTHT0dO+3c/TGcrdRn+Lt0n8+1j2ChfG1MjOsBby5MFhODk2jg06E+164Bg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T06:58:52.173298Z"},"content_sha256":"b99142fb0d0b3d8a337653ba72675fd0346479ea132e11bbdcc305115a3bf998","schema_version":"1.0","event_id":"sha256:b99142fb0d0b3d8a337653ba72675fd0346479ea132e11bbdcc305115a3bf998"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/NHG3D2YSJJNM64UVKKUM2EI3OC/bundle.json","state_url":"https://pith.science/pith/NHG3D2YSJJNM64UVKKUM2EI3OC/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/NHG3D2YSJJNM64UVKKUM2EI3OC/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-02T06:58:52Z","links":{"resolver":"https://pith.science/pith/NHG3D2YSJJNM64UVKKUM2EI3OC","bundle":"https://pith.science/pith/NHG3D2YSJJNM64UVKKUM2EI3OC/bundle.json","state":"https://pith.science/pith/NHG3D2YSJJNM64UVKKUM2EI3OC/state.json","well_known_bundle":"https://pith.science/.well-known/pith/NHG3D2YSJJNM64UVKKUM2EI3OC/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:NHG3D2YSJJNM64UVKKUM2EI3OC","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"c7f33f7e2187aacefef6393d2c09cdef8002c623d2a8257f1c9020944cddd960","cross_cats_sorted":["cs.PL","cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2018-06-06T22:27:31Z","title_canon_sha256":"99102fbaaecce912dfad9d8b4c23899bcb7ef384fd573d15595e73a68182011e"},"schema_version":"1.0","source":{"id":"1806.02444","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1806.02444","created_at":"2026-05-18T00:10:10Z"},{"alias_kind":"arxiv_version","alias_value":"1806.02444v2","created_at":"2026-05-18T00:10:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1806.02444","created_at":"2026-05-18T00:10:10Z"},{"alias_kind":"pith_short_12","alias_value":"NHG3D2YSJJNM","created_at":"2026-05-18T12:32:40Z"},{"alias_kind":"pith_short_16","alias_value":"NHG3D2YSJJNM64UV","created_at":"2026-05-18T12:32:40Z"},{"alias_kind":"pith_short_8","alias_value":"NHG3D2YS","created_at":"2026-05-18T12:32:40Z"}],"graph_snapshots":[{"event_id":"sha256:b99142fb0d0b3d8a337653ba72675fd0346479ea132e11bbdcc305115a3bf998","target":"graph","created_at":"2026-05-18T00:10:10Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"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","authors_text":"Chao Wang, Meng Wu, Patrick Schaumont, Shengjian Guo","cross_cats":["cs.PL","cs.SE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2018-06-06T22:27:31Z","title":"Eliminating Timing Side-Channel Leaks using Program Repair"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1806.02444","kind":"arxiv","version":2},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:53c46d7d1b53f6e8e775c33fd3f20459c87b03a8d2d7c4def09692708f65074f","target":"record","created_at":"2026-05-18T00:10:10Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"c7f33f7e2187aacefef6393d2c09cdef8002c623d2a8257f1c9020944cddd960","cross_cats_sorted":["cs.PL","cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2018-06-06T22:27:31Z","title_canon_sha256":"99102fbaaecce912dfad9d8b4c23899bcb7ef384fd573d15595e73a68182011e"},"schema_version":"1.0","source":{"id":"1806.02444","kind":"arxiv","version":2}},"canonical_sha256":"69cdb1eb124a5acf729552a8cd111b708bec9b6bd5eaf90c358d55a130f88737","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"69cdb1eb124a5acf729552a8cd111b708bec9b6bd5eaf90c358d55a130f88737","first_computed_at":"2026-05-18T00:10:10.074306Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:10:10.074306Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"FE28ieQqc7zyF9vmbz9xa7VaOrWm64f7Jrs9rxRB7yK7vtODojQ77/7D4+fQjL5CIhUqnOFUg3Fasn6YxHavDg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:10:10.074876Z","signed_message":"canonical_sha256_bytes"},"source_id":"1806.02444","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:53c46d7d1b53f6e8e775c33fd3f20459c87b03a8d2d7c4def09692708f65074f","sha256:b99142fb0d0b3d8a337653ba72675fd0346479ea132e11bbdcc305115a3bf998"],"state_sha256":"4cba3d4257dc57e4672b0322dd3128bef8aef47400a094f856d3c5261b2c5167"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"WEmq7j+v3Amc3VE0CxSn9y9o9mVRfLimHkWTxGPNGRqF16dRKAIrV4ndlpc/n6wn2XmeU3VXyae7puzVVRd+Dg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T06:58:52.175172Z","bundle_sha256":"215b4645a43d543db3d293e8815216db9220138a9e29f77324afb1962fc09406"}}