{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:L5NIG27IKIGY6CCNFT7LUKATWW","short_pith_number":"pith:L5NIG27I","canonical_record":{"source":{"id":"2401.07142","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2024-01-13T19:09:22Z","cross_cats_sorted":[],"title_canon_sha256":"237053832885f614d06d550a00098ea6c88bcc12b22a41585830a459c408391d","abstract_canon_sha256":"7fc4f9b19a475f62669407501e585eb8c5f65b84c52c244ea11ad855ca9a19a4"},"schema_version":"1.0"},"canonical_sha256":"5f5a836be8520d8f084d2cfeba2813b5b66e6b660ba4b736e17dd95b8f21b603","source":{"kind":"arxiv","id":"2401.07142","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2401.07142","created_at":"2026-07-05T07:33:32Z"},{"alias_kind":"arxiv_version","alias_value":"2401.07142v1","created_at":"2026-07-05T07:33:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2401.07142","created_at":"2026-07-05T07:33:32Z"},{"alias_kind":"pith_short_12","alias_value":"L5NIG27IKIGY","created_at":"2026-07-05T07:33:32Z"},{"alias_kind":"pith_short_16","alias_value":"L5NIG27IKIGY6CCN","created_at":"2026-07-05T07:33:32Z"},{"alias_kind":"pith_short_8","alias_value":"L5NIG27I","created_at":"2026-07-05T07:33:32Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:L5NIG27IKIGY6CCNFT7LUKATWW","target":"record","payload":{"canonical_record":{"source":{"id":"2401.07142","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2024-01-13T19:09:22Z","cross_cats_sorted":[],"title_canon_sha256":"237053832885f614d06d550a00098ea6c88bcc12b22a41585830a459c408391d","abstract_canon_sha256":"7fc4f9b19a475f62669407501e585eb8c5f65b84c52c244ea11ad855ca9a19a4"},"schema_version":"1.0"},"canonical_sha256":"5f5a836be8520d8f084d2cfeba2813b5b66e6b660ba4b736e17dd95b8f21b603","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T07:33:32.536162Z","signature_b64":"lqALAuxom6X0ls6S4Zgi4rsDMG+CxfDnc/HdLZPwEp1AvAzlvObyhRWN4hXX59OO5/J7GFuy9qUhTRuoR0X4AQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5f5a836be8520d8f084d2cfeba2813b5b66e6b660ba4b736e17dd95b8f21b603","last_reissued_at":"2026-07-05T07:33:32.535775Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T07:33:32.535775Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2401.07142","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-05T07:33:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2SHfO7GAFoKDBd6esW5Y85J8bQ5vlBpnAKoMI7VZO1ILuXQSC7ziQblSXshnkO42ILM0v7jh+rF/V6epUErqAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-21T05:04:51.692021Z"},"content_sha256":"b8e48120f45384118f163d782e29cb1392f57d3845a6fdada22a57a5ff1a2907","schema_version":"1.0","event_id":"sha256:b8e48120f45384118f163d782e29cb1392f57d3845a6fdada22a57a5ff1a2907"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:L5NIG27IKIGY6CCNFT7LUKATWW","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"CAC 2.0: A Corrupt and Correct Logic Locking Technique Resilient to Structural Analysis Attacks","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Levent Aksoy, Muhammad Yasin, Samuel Pagliarini","submitted_at":"2024-01-13T19:09:22Z","abstract_excerpt":"Logic locking proposed to protect integrated circuits from serious hardware threats has been studied extensively over a decade. In these years, many efficient logic locking techniques have been proven to be broken. The state-of-the-art logic locking techniques, including the prominent corrupt and correct (CAC) technique, are resilient to satisfiability (SAT)-based and removal attacks, but vulnerable to structural analysis attacks. To overcome this drawback, this paper introduces an improved version of CAC, called CAC 2.0, which increases the search space of structural analysis attacks using ob"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2401.07142","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/2401.07142/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-05T07:33:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"n//81fp0Gaxn3c/oqRfMQREPkUoWyzb4MyHrnqNM0kO2r2ZuW9r63mZCijmXju2FSbmwPeQItOkeoT8RZnE+Cw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-21T05:04:51.692422Z"},"content_sha256":"29f5d17f7f2679d171f2b200e2ac9f62167e8f9285feaafaff2958d0718f1325","schema_version":"1.0","event_id":"sha256:29f5d17f7f2679d171f2b200e2ac9f62167e8f9285feaafaff2958d0718f1325"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/L5NIG27IKIGY6CCNFT7LUKATWW/bundle.json","state_url":"https://pith.science/pith/L5NIG27IKIGY6CCNFT7LUKATWW/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/L5NIG27IKIGY6CCNFT7LUKATWW/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-21T05:04:51Z","links":{"resolver":"https://pith.science/pith/L5NIG27IKIGY6CCNFT7LUKATWW","bundle":"https://pith.science/pith/L5NIG27IKIGY6CCNFT7LUKATWW/bundle.json","state":"https://pith.science/pith/L5NIG27IKIGY6CCNFT7LUKATWW/state.json","well_known_bundle":"https://pith.science/.well-known/pith/L5NIG27IKIGY6CCNFT7LUKATWW/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:L5NIG27IKIGY6CCNFT7LUKATWW","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":"7fc4f9b19a475f62669407501e585eb8c5f65b84c52c244ea11ad855ca9a19a4","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2024-01-13T19:09:22Z","title_canon_sha256":"237053832885f614d06d550a00098ea6c88bcc12b22a41585830a459c408391d"},"schema_version":"1.0","source":{"id":"2401.07142","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2401.07142","created_at":"2026-07-05T07:33:32Z"},{"alias_kind":"arxiv_version","alias_value":"2401.07142v1","created_at":"2026-07-05T07:33:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2401.07142","created_at":"2026-07-05T07:33:32Z"},{"alias_kind":"pith_short_12","alias_value":"L5NIG27IKIGY","created_at":"2026-07-05T07:33:32Z"},{"alias_kind":"pith_short_16","alias_value":"L5NIG27IKIGY6CCN","created_at":"2026-07-05T07:33:32Z"},{"alias_kind":"pith_short_8","alias_value":"L5NIG27I","created_at":"2026-07-05T07:33:32Z"}],"graph_snapshots":[{"event_id":"sha256:29f5d17f7f2679d171f2b200e2ac9f62167e8f9285feaafaff2958d0718f1325","target":"graph","created_at":"2026-07-05T07:33:32Z","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/2401.07142/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Logic locking proposed to protect integrated circuits from serious hardware threats has been studied extensively over a decade. In these years, many efficient logic locking techniques have been proven to be broken. The state-of-the-art logic locking techniques, including the prominent corrupt and correct (CAC) technique, are resilient to satisfiability (SAT)-based and removal attacks, but vulnerable to structural analysis attacks. To overcome this drawback, this paper introduces an improved version of CAC, called CAC 2.0, which increases the search space of structural analysis attacks using ob","authors_text":"Levent Aksoy, Muhammad Yasin, Samuel Pagliarini","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2024-01-13T19:09:22Z","title":"CAC 2.0: A Corrupt and Correct Logic Locking Technique Resilient to Structural Analysis Attacks"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2401.07142","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:b8e48120f45384118f163d782e29cb1392f57d3845a6fdada22a57a5ff1a2907","target":"record","created_at":"2026-07-05T07:33:32Z","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":"7fc4f9b19a475f62669407501e585eb8c5f65b84c52c244ea11ad855ca9a19a4","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2024-01-13T19:09:22Z","title_canon_sha256":"237053832885f614d06d550a00098ea6c88bcc12b22a41585830a459c408391d"},"schema_version":"1.0","source":{"id":"2401.07142","kind":"arxiv","version":1}},"canonical_sha256":"5f5a836be8520d8f084d2cfeba2813b5b66e6b660ba4b736e17dd95b8f21b603","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5f5a836be8520d8f084d2cfeba2813b5b66e6b660ba4b736e17dd95b8f21b603","first_computed_at":"2026-07-05T07:33:32.535775Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:33:32.535775Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"lqALAuxom6X0ls6S4Zgi4rsDMG+CxfDnc/HdLZPwEp1AvAzlvObyhRWN4hXX59OO5/J7GFuy9qUhTRuoR0X4AQ==","signature_status":"signed_v1","signed_at":"2026-07-05T07:33:32.536162Z","signed_message":"canonical_sha256_bytes"},"source_id":"2401.07142","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b8e48120f45384118f163d782e29cb1392f57d3845a6fdada22a57a5ff1a2907","sha256:29f5d17f7f2679d171f2b200e2ac9f62167e8f9285feaafaff2958d0718f1325"],"state_sha256":"6601cf1b5dd089bc604d61766323ca4d0ac5f2b27b0f5be9b483d3718bb253bd"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KLsJGt5BIsrbilgK959c1bAu99Ji+N0nXjyI2xlJ9lyNV4ifeP7rB4eP2nu/Zy3C04YzxG3FWbbPk8gwD0KNCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-21T05:04:51.695006Z","bundle_sha256":"dfdb130897d271abea47d1fc1250fa7531dbc94e768295c08f44905dc4c4ef8d"}}