{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:I7NIIQLIVOTP6VABCFTJZEQVN2","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":"96e1e7e429550965b173ea0116933ef558f94778323b1dfc723cc869b2c222b8","cross_cats_sorted":["cs.AR"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2025-02-03T11:01:11Z","title_canon_sha256":"cbccb2595ec4ca5b5f8801aaa937b8de5c3acc18389a615adfc92ebcc9ebc4e1"},"schema_version":"1.0","source":{"id":"2502.01240","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2502.01240","created_at":"2026-07-05T10:13:08Z"},{"alias_kind":"arxiv_version","alias_value":"2502.01240v2","created_at":"2026-07-05T10:13:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.01240","created_at":"2026-07-05T10:13:08Z"},{"alias_kind":"pith_short_12","alias_value":"I7NIIQLIVOTP","created_at":"2026-07-05T10:13:08Z"},{"alias_kind":"pith_short_16","alias_value":"I7NIIQLIVOTP6VAB","created_at":"2026-07-05T10:13:08Z"},{"alias_kind":"pith_short_8","alias_value":"I7NIIQLI","created_at":"2026-07-05T10:13:08Z"}],"graph_snapshots":[{"event_id":"sha256:76c156fb96eaa155a2668cf6b01d3a8540dde8e50b1006f4d8f2f689611df2d9","target":"graph","created_at":"2026-07-05T10:13:08Z","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/2502.01240/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Logic locking secures hardware designs in untrusted foundries by incorporating key-driven gates to obscure the original blueprint. While this method safeguards the integrated circuit from malicious alterations during fabrication, its influence on data confidentiality during runtime has been ignored. In this study, we employ path sensitization to formally examine the impact of logic locking on confidentiality. By applying three representative logic locking mechanisms on open-source cryptographic benchmarks, we utilize an automatic test pattern generation framework to evaluate the effect of lock","authors_text":"Christian Pilato, Dominik Germek, Evgenii Rezunov, Lennart M. Reimann, Luca Collini, Rainer Leupers, Ramesh Karri","cross_cats":["cs.AR"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2025-02-03T11:01:11Z","title":"The Impact of Logic Locking on Confidentiality: An Automated Evaluation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.01240","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:9753bb8588ae9906cdef2b15a1345e1ac0ea9268bfba5478f1526aab7eb7c98e","target":"record","created_at":"2026-07-05T10:13:08Z","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":"96e1e7e429550965b173ea0116933ef558f94778323b1dfc723cc869b2c222b8","cross_cats_sorted":["cs.AR"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2025-02-03T11:01:11Z","title_canon_sha256":"cbccb2595ec4ca5b5f8801aaa937b8de5c3acc18389a615adfc92ebcc9ebc4e1"},"schema_version":"1.0","source":{"id":"2502.01240","kind":"arxiv","version":2}},"canonical_sha256":"47da844168aba6ff540111669c92156e9ac60caef78345c3ee68bf115fb7a3a6","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"47da844168aba6ff540111669c92156e9ac60caef78345c3ee68bf115fb7a3a6","first_computed_at":"2026-07-05T10:13:08.034357Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:13:08.034357Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Bl5Md7ZDdo5p/Y+6hXYogAQdQnrCbGZAiKihsogm0w4rjoKfjciqnSYeMiz/r5f8eWpe7Ud5/92lPD6mK1glCQ==","signature_status":"signed_v1","signed_at":"2026-07-05T10:13:08.034806Z","signed_message":"canonical_sha256_bytes"},"source_id":"2502.01240","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9753bb8588ae9906cdef2b15a1345e1ac0ea9268bfba5478f1526aab7eb7c98e","sha256:76c156fb96eaa155a2668cf6b01d3a8540dde8e50b1006f4d8f2f689611df2d9"],"state_sha256":"d8c7a699db0fe8da6086017f40347c787e5951e3ca93708daf66afa170ca3aee"}