{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:MOJ5GS4ZNURTZFKS5Z7PCM3XLI","short_pith_number":"pith:MOJ5GS4Z","canonical_record":{"source":{"id":"2209.01129","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2022-09-02T15:37:50Z","cross_cats_sorted":[],"title_canon_sha256":"f0ff47608b83709e15ba402faa4912898d9ac65db6f14623ed4a727ad394e4cd","abstract_canon_sha256":"a990643a2dba6d4e794e6f76d7948f8531e23bb971464348583e5c2cc47d03fc"},"schema_version":"1.0"},"canonical_sha256":"6393d34b996d233c9552ee7ef133775a2e9eca505308b1462b40798e3e5482c8","source":{"kind":"arxiv","id":"2209.01129","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2209.01129","created_at":"2026-07-05T04:54:09Z"},{"alias_kind":"arxiv_version","alias_value":"2209.01129v1","created_at":"2026-07-05T04:54:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2209.01129","created_at":"2026-07-05T04:54:09Z"},{"alias_kind":"pith_short_12","alias_value":"MOJ5GS4ZNURT","created_at":"2026-07-05T04:54:09Z"},{"alias_kind":"pith_short_16","alias_value":"MOJ5GS4ZNURTZFKS","created_at":"2026-07-05T04:54:09Z"},{"alias_kind":"pith_short_8","alias_value":"MOJ5GS4Z","created_at":"2026-07-05T04:54:09Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:MOJ5GS4ZNURTZFKS5Z7PCM3XLI","target":"record","payload":{"canonical_record":{"source":{"id":"2209.01129","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2022-09-02T15:37:50Z","cross_cats_sorted":[],"title_canon_sha256":"f0ff47608b83709e15ba402faa4912898d9ac65db6f14623ed4a727ad394e4cd","abstract_canon_sha256":"a990643a2dba6d4e794e6f76d7948f8531e23bb971464348583e5c2cc47d03fc"},"schema_version":"1.0"},"canonical_sha256":"6393d34b996d233c9552ee7ef133775a2e9eca505308b1462b40798e3e5482c8","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T04:54:09.306107Z","signature_b64":"bzenmT39jwWnXHZCH98yqy/VnQ/01ezJ1nQi8LMoA76k8IJsKtgza9nXPsSz7faWgDHY9DxKYm6fs5pInqnaAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6393d34b996d233c9552ee7ef133775a2e9eca505308b1462b40798e3e5482c8","last_reissued_at":"2026-07-05T04:54:09.305411Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T04:54:09.305411Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2209.01129","source_version":1,"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-07-05T04:54:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xC3XjOxbxx7nYTLi2tw6tAJ1I5TyTv3BZaW/0hJ4m5oMTkedr9612SF4PnNTf3mCnLE4CE6OuzIR7kJurMDeCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-31T17:50:06.481050Z"},"content_sha256":"d8c4a753f2fcfad96f8ff41e2b9f5f9c4459debdc9c334512d640f3d36d872a4","schema_version":"1.0","event_id":"sha256:d8c4a753f2fcfad96f8ff41e2b9f5f9c4459debdc9c334512d640f3d36d872a4"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:MOJ5GS4ZNURTZFKS5Z7PCM3XLI","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Binsec/Rel: Symbolic Binary Analyzer for Security with Applications to Constant-Time and Secret-Erasure","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Lesly-Ann Daniel, S\\'ebastien Bardin, Tamara Rezk","submitted_at":"2022-09-02T15:37:50Z","abstract_excerpt":"This paper tackles the problem of designing efficient binary-level verification for a subset of information flow properties encompassing constant-time and secret-erasure. These properties are crucial for cryptographic implementations, but are generally not preserved by compilers. Our proposal builds on relational symbolic execution enhanced with new optimizations dedicated to information flow and binary-level analysis, yielding a dramatic improvement over prior work based on symbolic execution. We implement a prototype, Binsec/Rel, for bug-finding and bounded-verification of constant-time and "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2209.01129","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2209.01129/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-05T04:54:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"npg5HTQdqBoYtRT26pbZuy5FndRmcyIF2OBjymgfoGh7b1iLVIk03LVw/ozZ796hR2gSR+yY4ugLl3qkqy4qDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-31T17:50:06.481917Z"},"content_sha256":"2f2c60b9cea796c0ec5bc1c6b4635a9bab0045a317515b005ce2e7481889aa93","schema_version":"1.0","event_id":"sha256:2f2c60b9cea796c0ec5bc1c6b4635a9bab0045a317515b005ce2e7481889aa93"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/MOJ5GS4ZNURTZFKS5Z7PCM3XLI/bundle.json","state_url":"https://pith.science/pith/MOJ5GS4ZNURTZFKS5Z7PCM3XLI/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/MOJ5GS4ZNURTZFKS5Z7PCM3XLI/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-07-31T17:50:06Z","links":{"resolver":"https://pith.science/pith/MOJ5GS4ZNURTZFKS5Z7PCM3XLI","bundle":"https://pith.science/pith/MOJ5GS4ZNURTZFKS5Z7PCM3XLI/bundle.json","state":"https://pith.science/pith/MOJ5GS4ZNURTZFKS5Z7PCM3XLI/state.json","well_known_bundle":"https://pith.science/.well-known/pith/MOJ5GS4ZNURTZFKS5Z7PCM3XLI/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:MOJ5GS4ZNURTZFKS5Z7PCM3XLI","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":"a990643a2dba6d4e794e6f76d7948f8531e23bb971464348583e5c2cc47d03fc","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2022-09-02T15:37:50Z","title_canon_sha256":"f0ff47608b83709e15ba402faa4912898d9ac65db6f14623ed4a727ad394e4cd"},"schema_version":"1.0","source":{"id":"2209.01129","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2209.01129","created_at":"2026-07-05T04:54:09Z"},{"alias_kind":"arxiv_version","alias_value":"2209.01129v1","created_at":"2026-07-05T04:54:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2209.01129","created_at":"2026-07-05T04:54:09Z"},{"alias_kind":"pith_short_12","alias_value":"MOJ5GS4ZNURT","created_at":"2026-07-05T04:54:09Z"},{"alias_kind":"pith_short_16","alias_value":"MOJ5GS4ZNURTZFKS","created_at":"2026-07-05T04:54:09Z"},{"alias_kind":"pith_short_8","alias_value":"MOJ5GS4Z","created_at":"2026-07-05T04:54:09Z"}],"graph_snapshots":[{"event_id":"sha256:2f2c60b9cea796c0ec5bc1c6b4635a9bab0045a317515b005ce2e7481889aa93","target":"graph","created_at":"2026-07-05T04:54:09Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2209.01129/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This paper tackles the problem of designing efficient binary-level verification for a subset of information flow properties encompassing constant-time and secret-erasure. These properties are crucial for cryptographic implementations, but are generally not preserved by compilers. Our proposal builds on relational symbolic execution enhanced with new optimizations dedicated to information flow and binary-level analysis, yielding a dramatic improvement over prior work based on symbolic execution. We implement a prototype, Binsec/Rel, for bug-finding and bounded-verification of constant-time and ","authors_text":"Lesly-Ann Daniel, S\\'ebastien Bardin, Tamara Rezk","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2022-09-02T15:37:50Z","title":"Binsec/Rel: Symbolic Binary Analyzer for Security with Applications to Constant-Time and Secret-Erasure"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2209.01129","kind":"arxiv","version":1},"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:d8c4a753f2fcfad96f8ff41e2b9f5f9c4459debdc9c334512d640f3d36d872a4","target":"record","created_at":"2026-07-05T04:54:09Z","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":"a990643a2dba6d4e794e6f76d7948f8531e23bb971464348583e5c2cc47d03fc","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2022-09-02T15:37:50Z","title_canon_sha256":"f0ff47608b83709e15ba402faa4912898d9ac65db6f14623ed4a727ad394e4cd"},"schema_version":"1.0","source":{"id":"2209.01129","kind":"arxiv","version":1}},"canonical_sha256":"6393d34b996d233c9552ee7ef133775a2e9eca505308b1462b40798e3e5482c8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6393d34b996d233c9552ee7ef133775a2e9eca505308b1462b40798e3e5482c8","first_computed_at":"2026-07-05T04:54:09.305411Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T04:54:09.305411Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"bzenmT39jwWnXHZCH98yqy/VnQ/01ezJ1nQi8LMoA76k8IJsKtgza9nXPsSz7faWgDHY9DxKYm6fs5pInqnaAg==","signature_status":"signed_v1","signed_at":"2026-07-05T04:54:09.306107Z","signed_message":"canonical_sha256_bytes"},"source_id":"2209.01129","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d8c4a753f2fcfad96f8ff41e2b9f5f9c4459debdc9c334512d640f3d36d872a4","sha256:2f2c60b9cea796c0ec5bc1c6b4635a9bab0045a317515b005ce2e7481889aa93"],"state_sha256":"e238d905c595a1bcf0e0caeb6e734b768e584c519454fa54c974e15233d8903d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sxzb02TwmWXZcTco2zVQfLM3zjsmtHtiMdpMai9+hNmgvs6kTMCfhWTnvPn2RlIPdTyff9KxwX8yM6ge01rpBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-31T17:50:06.488946Z","bundle_sha256":"e6f047e39aca88cdf58acd746e607db81731a3ab9a6b5ba53c901f8b50920fdd"}}