{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:BJ2UT47NIF3HKF36EO5CVIPQSD","short_pith_number":"pith:BJ2UT47N","canonical_record":{"source":{"id":"1506.05285","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2015-06-17T11:31:05Z","cross_cats_sorted":[],"title_canon_sha256":"a3a79fefeadc29296b69ecc9128904ad80f7998e664153a5311a8f0d9b42c3b2","abstract_canon_sha256":"e9bb21fbf2b6c3dd90ce754943963c92a55a1554d52fd38123f8b9de559f6762"},"schema_version":"1.0"},"canonical_sha256":"0a7549f3ed417675177e23ba2aa1f090c5d2dc2b7c39597106a42d96f7217fdc","source":{"kind":"arxiv","id":"1506.05285","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1506.05285","created_at":"2026-05-18T01:46:12Z"},{"alias_kind":"arxiv_version","alias_value":"1506.05285v1","created_at":"2026-05-18T01:46:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1506.05285","created_at":"2026-05-18T01:46:12Z"},{"alias_kind":"pith_short_12","alias_value":"BJ2UT47NIF3H","created_at":"2026-05-18T12:29:14Z"},{"alias_kind":"pith_short_16","alias_value":"BJ2UT47NIF3HKF36","created_at":"2026-05-18T12:29:14Z"},{"alias_kind":"pith_short_8","alias_value":"BJ2UT47N","created_at":"2026-05-18T12:29:14Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:BJ2UT47NIF3HKF36EO5CVIPQSD","target":"record","payload":{"canonical_record":{"source":{"id":"1506.05285","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2015-06-17T11:31:05Z","cross_cats_sorted":[],"title_canon_sha256":"a3a79fefeadc29296b69ecc9128904ad80f7998e664153a5311a8f0d9b42c3b2","abstract_canon_sha256":"e9bb21fbf2b6c3dd90ce754943963c92a55a1554d52fd38123f8b9de559f6762"},"schema_version":"1.0"},"canonical_sha256":"0a7549f3ed417675177e23ba2aa1f090c5d2dc2b7c39597106a42d96f7217fdc","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:46:12.573196Z","signature_b64":"oPDXDEQGvWmyrJ+FtiQ4uaadeGASUTBi4hyhyKrDsiuX1gli7nlQbOgQo0ZM2z/lB9LIQ09DjRRHLYCWFnZOAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0a7549f3ed417675177e23ba2aa1f090c5d2dc2b7c39597106a42d96f7217fdc","last_reissued_at":"2026-05-18T01:46:12.572633Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:46:12.572633Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1506.05285","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-05-18T01:46:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"IHkH8mpRiSWewi9llEWMM9Gf8YJutadV+jtK75YdQwmrWGQWByP2qNKfYD78jcj0wvQzpsWEo7TbJdAd7fzfBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-01T13:44:03.892788Z"},"content_sha256":"26c9d394b233de822b1bc50698ac36857dd775b7e03d4a6087fb91edcb266250","schema_version":"1.0","event_id":"sha256:26c9d394b233de822b1bc50698ac36857dd775b7e03d4a6087fb91edcb266250"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:BJ2UT47NIF3HKF36EO5CVIPQSD","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Formally Proved Security of Assembly Code Against Power Analysis: A Case Study on Balanced Logic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Pablo Rauzy, Sylvain Guilley, Zakaria Najm","submitted_at":"2015-06-17T11:31:05Z","abstract_excerpt":"In his keynote speech at CHES 2004, Kocher advocated that side-channel attacks were an illustration that formal cryptography was not as secure as it was believed because some assumptions (e.g., no auxiliary information is available during the computation) were not modeled. This failure is caused by formal methods' focus on models rather than implementations. In this paper we present formal methods and tools for designing protected code and proving its security against power analysis. These formal methods avoid the discrepancy between the model and the implementation by working on the latter ra"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1506.05285","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"},"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-18T01:46:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"k+jWeHj5k669zWybLZOTJId5HptCrQlNOE40Q49Y/ZlRkgHPA9Y1clEdRpbqIYX4l3wmpsNH8JSY7HM88ZXmDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-01T13:44:03.893137Z"},"content_sha256":"b58b7c67cf1efdd4092574e55f36d8b00b4964812e66828cfc01bf377d9ddc6b","schema_version":"1.0","event_id":"sha256:b58b7c67cf1efdd4092574e55f36d8b00b4964812e66828cfc01bf377d9ddc6b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/BJ2UT47NIF3HKF36EO5CVIPQSD/bundle.json","state_url":"https://pith.science/pith/BJ2UT47NIF3HKF36EO5CVIPQSD/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/BJ2UT47NIF3HKF36EO5CVIPQSD/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-01T13:44:03Z","links":{"resolver":"https://pith.science/pith/BJ2UT47NIF3HKF36EO5CVIPQSD","bundle":"https://pith.science/pith/BJ2UT47NIF3HKF36EO5CVIPQSD/bundle.json","state":"https://pith.science/pith/BJ2UT47NIF3HKF36EO5CVIPQSD/state.json","well_known_bundle":"https://pith.science/.well-known/pith/BJ2UT47NIF3HKF36EO5CVIPQSD/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:BJ2UT47NIF3HKF36EO5CVIPQSD","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":"e9bb21fbf2b6c3dd90ce754943963c92a55a1554d52fd38123f8b9de559f6762","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2015-06-17T11:31:05Z","title_canon_sha256":"a3a79fefeadc29296b69ecc9128904ad80f7998e664153a5311a8f0d9b42c3b2"},"schema_version":"1.0","source":{"id":"1506.05285","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1506.05285","created_at":"2026-05-18T01:46:12Z"},{"alias_kind":"arxiv_version","alias_value":"1506.05285v1","created_at":"2026-05-18T01:46:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1506.05285","created_at":"2026-05-18T01:46:12Z"},{"alias_kind":"pith_short_12","alias_value":"BJ2UT47NIF3H","created_at":"2026-05-18T12:29:14Z"},{"alias_kind":"pith_short_16","alias_value":"BJ2UT47NIF3HKF36","created_at":"2026-05-18T12:29:14Z"},{"alias_kind":"pith_short_8","alias_value":"BJ2UT47N","created_at":"2026-05-18T12:29:14Z"}],"graph_snapshots":[{"event_id":"sha256:b58b7c67cf1efdd4092574e55f36d8b00b4964812e66828cfc01bf377d9ddc6b","target":"graph","created_at":"2026-05-18T01:46:12Z","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":"In his keynote speech at CHES 2004, Kocher advocated that side-channel attacks were an illustration that formal cryptography was not as secure as it was believed because some assumptions (e.g., no auxiliary information is available during the computation) were not modeled. This failure is caused by formal methods' focus on models rather than implementations. In this paper we present formal methods and tools for designing protected code and proving its security against power analysis. These formal methods avoid the discrepancy between the model and the implementation by working on the latter ra","authors_text":"Pablo Rauzy, Sylvain Guilley, Zakaria Najm","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2015-06-17T11:31:05Z","title":"Formally Proved Security of Assembly Code Against Power Analysis: A Case Study on Balanced Logic"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1506.05285","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:26c9d394b233de822b1bc50698ac36857dd775b7e03d4a6087fb91edcb266250","target":"record","created_at":"2026-05-18T01:46:12Z","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":"e9bb21fbf2b6c3dd90ce754943963c92a55a1554d52fd38123f8b9de559f6762","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2015-06-17T11:31:05Z","title_canon_sha256":"a3a79fefeadc29296b69ecc9128904ad80f7998e664153a5311a8f0d9b42c3b2"},"schema_version":"1.0","source":{"id":"1506.05285","kind":"arxiv","version":1}},"canonical_sha256":"0a7549f3ed417675177e23ba2aa1f090c5d2dc2b7c39597106a42d96f7217fdc","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0a7549f3ed417675177e23ba2aa1f090c5d2dc2b7c39597106a42d96f7217fdc","first_computed_at":"2026-05-18T01:46:12.572633Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:46:12.572633Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"oPDXDEQGvWmyrJ+FtiQ4uaadeGASUTBi4hyhyKrDsiuX1gli7nlQbOgQo0ZM2z/lB9LIQ09DjRRHLYCWFnZOAA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:46:12.573196Z","signed_message":"canonical_sha256_bytes"},"source_id":"1506.05285","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:26c9d394b233de822b1bc50698ac36857dd775b7e03d4a6087fb91edcb266250","sha256:b58b7c67cf1efdd4092574e55f36d8b00b4964812e66828cfc01bf377d9ddc6b"],"state_sha256":"736061151728cd44baa66321dffd41c8b20f31ab8c67b3c85601ee85bb44a2eb"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FfBVJblfaAW5/Iq+V6wPDlsz1p8dVDny+ZOQIaW6irwnypcZ+Nlg8YHk28rssMmLvvGinkXHNiDzxV97OI9mAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-01T13:44:03.895608Z","bundle_sha256":"a8505030f8cc0cbfdc1872be7ad5ed9135239c7a51b4236223192224977b06e1"}}