{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:C7WNXPQOGVM2756TCIJXV267BQ","short_pith_number":"pith:C7WNXPQO","schema_version":"1.0","canonical_sha256":"17ecdbbe0e3559aff7d312137aebdf0c3af904df1b70f1cd768bd5c6ed95be39","source":{"kind":"arxiv","id":"2407.11806","version":1},"attestation_state":"computed","paper":{"title":"MaskedHLS: Domain-Specific High-Level Synthesis of Masked Cryptographic Designs","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Anuj Singh Thakur, Chandan Karfa, Nilotpola Sarma","submitted_at":"2024-07-16T14:57:15Z","abstract_excerpt":"The design and synthesis of masked cryptographic hardware implementations that are secure against power side-channel attacks (PSCAs) in the presence of glitches is a challenging task. High-Level Synthesis (HLS) is a promising technique for generating masked hardware directly from masked software, offering opportunities for design space exploration. However, conventional HLS tools make modifications that alter the guarantee against PSCA security via masking, resulting in an insecure RTL. Moreover, existing HLS tools can't place registers at designated places and balance parallel paths in a cryp"},"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":"2407.11806","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2024-07-16T14:57:15Z","cross_cats_sorted":[],"title_canon_sha256":"feb6c857c99195b86305d09d7136edda9db0ec1ab3db2614bff816e1dd0b8c16","abstract_canon_sha256":"41096807edd0a23d9bd2b84a1d78384b0fd3c98f0159f47d7e1c6556c89f66ad"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:44:41.123349Z","signature_b64":"9IKn7JTzKwE1IdIKiOINewzzzPRrLYeWIglVLErrVHjgzAKLB7S5cBXQZqvYSKs6zlNxLmXp3cTEpBGPpJHZDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"17ecdbbe0e3559aff7d312137aebdf0c3af904df1b70f1cd768bd5c6ed95be39","last_reissued_at":"2026-07-05T08:44:41.122921Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:44:41.122921Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"MaskedHLS: Domain-Specific High-Level Synthesis of Masked Cryptographic Designs","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Anuj Singh Thakur, Chandan Karfa, Nilotpola Sarma","submitted_at":"2024-07-16T14:57:15Z","abstract_excerpt":"The design and synthesis of masked cryptographic hardware implementations that are secure against power side-channel attacks (PSCAs) in the presence of glitches is a challenging task. High-Level Synthesis (HLS) is a promising technique for generating masked hardware directly from masked software, offering opportunities for design space exploration. However, conventional HLS tools make modifications that alter the guarantee against PSCA security via masking, resulting in an insecure RTL. Moreover, existing HLS tools can't place registers at designated places and balance parallel paths in a cryp"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2407.11806","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/2407.11806/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2407.11806","created_at":"2026-07-05T08:44:41.122976+00:00"},{"alias_kind":"arxiv_version","alias_value":"2407.11806v1","created_at":"2026-07-05T08:44:41.122976+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2407.11806","created_at":"2026-07-05T08:44:41.122976+00:00"},{"alias_kind":"pith_short_12","alias_value":"C7WNXPQOGVM2","created_at":"2026-07-05T08:44:41.122976+00:00"},{"alias_kind":"pith_short_16","alias_value":"C7WNXPQOGVM2756T","created_at":"2026-07-05T08:44:41.122976+00:00"},{"alias_kind":"pith_short_8","alias_value":"C7WNXPQO","created_at":"2026-07-05T08:44:41.122976+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/C7WNXPQOGVM2756TCIJXV267BQ","json":"https://pith.science/pith/C7WNXPQOGVM2756TCIJXV267BQ.json","graph_json":"https://pith.science/api/pith-number/C7WNXPQOGVM2756TCIJXV267BQ/graph.json","events_json":"https://pith.science/api/pith-number/C7WNXPQOGVM2756TCIJXV267BQ/events.json","paper":"https://pith.science/paper/C7WNXPQO"},"agent_actions":{"view_html":"https://pith.science/pith/C7WNXPQOGVM2756TCIJXV267BQ","download_json":"https://pith.science/pith/C7WNXPQOGVM2756TCIJXV267BQ.json","view_paper":"https://pith.science/paper/C7WNXPQO","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2407.11806&json=true","fetch_graph":"https://pith.science/api/pith-number/C7WNXPQOGVM2756TCIJXV267BQ/graph.json","fetch_events":"https://pith.science/api/pith-number/C7WNXPQOGVM2756TCIJXV267BQ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/C7WNXPQOGVM2756TCIJXV267BQ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/C7WNXPQOGVM2756TCIJXV267BQ/action/storage_attestation","attest_author":"https://pith.science/pith/C7WNXPQOGVM2756TCIJXV267BQ/action/author_attestation","sign_citation":"https://pith.science/pith/C7WNXPQOGVM2756TCIJXV267BQ/action/citation_signature","submit_replication":"https://pith.science/pith/C7WNXPQOGVM2756TCIJXV267BQ/action/replication_record"}},"created_at":"2026-07-05T08:44:41.122976+00:00","updated_at":"2026-07-05T08:44:41.122976+00:00"}