{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2020:4UGBVSPMSFIG6VCMMG33SSTBRK","short_pith_number":"pith:4UGBVSPM","canonical_record":{"source":{"id":"2005.13048","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2020-05-26T21:20:37Z","cross_cats_sorted":[],"title_canon_sha256":"66bb4ecf89636931263be2b71e8066ad4400ee8f8dae6f5122991ebd54d5df42","abstract_canon_sha256":"bdf5aa878764ba5af543365b564552d2cfd34a82054dfe5422e7e3d94499aeb9"},"schema_version":"1.0"},"canonical_sha256":"e50c1ac9ec91506f544c61b7b94a618abcd6167003fe7f209053595fee824a0e","source":{"kind":"arxiv","id":"2005.13048","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2005.13048","created_at":"2026-07-05T02:15:57Z"},{"alias_kind":"arxiv_version","alias_value":"2005.13048v2","created_at":"2026-07-05T02:15:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2005.13048","created_at":"2026-07-05T02:15:57Z"},{"alias_kind":"pith_short_12","alias_value":"4UGBVSPMSFIG","created_at":"2026-07-05T02:15:57Z"},{"alias_kind":"pith_short_16","alias_value":"4UGBVSPMSFIG6VCM","created_at":"2026-07-05T02:15:57Z"},{"alias_kind":"pith_short_8","alias_value":"4UGBVSPM","created_at":"2026-07-05T02:15:57Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2020:4UGBVSPMSFIG6VCMMG33SSTBRK","target":"record","payload":{"canonical_record":{"source":{"id":"2005.13048","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2020-05-26T21:20:37Z","cross_cats_sorted":[],"title_canon_sha256":"66bb4ecf89636931263be2b71e8066ad4400ee8f8dae6f5122991ebd54d5df42","abstract_canon_sha256":"bdf5aa878764ba5af543365b564552d2cfd34a82054dfe5422e7e3d94499aeb9"},"schema_version":"1.0"},"canonical_sha256":"e50c1ac9ec91506f544c61b7b94a618abcd6167003fe7f209053595fee824a0e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T02:15:57.852924Z","signature_b64":"3BlG37bvKQ+01grQAyqkI5Oy0h/uhZf8hDg6l80e7Ew8S3oBvgHwI9uL3NMGzBxU5OytzJp6UsmuveWvL0nbBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e50c1ac9ec91506f544c61b7b94a618abcd6167003fe7f209053595fee824a0e","last_reissued_at":"2026-07-05T02:15:57.852571Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T02:15:57.852571Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2005.13048","source_version":2,"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-05T02:15:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1KpsfS/I/hQ3g8ucMN3AKnkkBADRe3UQa9MvsbSQ6teYp9kKx0ANK54YId2Vjf6qsc1Z22gED6IfKResHGbHDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T20:46:11.422511Z"},"content_sha256":"c84ecfbf3c265c55fcbb3343341d0e54f5bc0e0743abd4ab810241d6fb589917","schema_version":"1.0","event_id":"sha256:c84ecfbf3c265c55fcbb3343341d0e54f5bc0e0743abd4ab810241d6fb589917"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2020:4UGBVSPMSFIG6VCMMG33SSTBRK","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Efficacy of Satisfiability Based Attacks in the Presence of Circuit Reverse Engineering Errors","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Aydin Aysu, Qinhan Tan, Seetal Potluri","submitted_at":"2020-05-26T21:20:37Z","abstract_excerpt":"Intellectual Property (IP) theft is a serious concern for the integrated circuit (IC) industry. To address this concern, logic locking countermeasure transforms a logic circuit to a different one to obfuscate its inner details. The transformation caused by obfuscation is reversed only upon application of the programmed secret key, thus preserving the circuit's original function. This technique is known to be vulnerable to Satisfiability (SAT)-based attacks. But in order to succeed, SAT-based attacks implicitly assume a perfectly reverse-engineered circuit, which is difficult to achieve in prac"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2005.13048","kind":"arxiv","version":2},"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/2005.13048/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-05T02:15:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ac5j+m56WBVzkYX1eAMhWfat0xdvG4KCffYkomhBr7AZiCHVtBkZxFbqy5qZ25h33zv0HCDOHAVygz9DXqRRBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T20:46:11.423296Z"},"content_sha256":"e60e1fb5095f365ca7647d81b13b56e6984687e6bfb00d74c9bec8cb4b4d8bc8","schema_version":"1.0","event_id":"sha256:e60e1fb5095f365ca7647d81b13b56e6984687e6bfb00d74c9bec8cb4b4d8bc8"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/4UGBVSPMSFIG6VCMMG33SSTBRK/bundle.json","state_url":"https://pith.science/pith/4UGBVSPMSFIG6VCMMG33SSTBRK/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/4UGBVSPMSFIG6VCMMG33SSTBRK/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-08-05T20:46:11Z","links":{"resolver":"https://pith.science/pith/4UGBVSPMSFIG6VCMMG33SSTBRK","bundle":"https://pith.science/pith/4UGBVSPMSFIG6VCMMG33SSTBRK/bundle.json","state":"https://pith.science/pith/4UGBVSPMSFIG6VCMMG33SSTBRK/state.json","well_known_bundle":"https://pith.science/.well-known/pith/4UGBVSPMSFIG6VCMMG33SSTBRK/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2020:4UGBVSPMSFIG6VCMMG33SSTBRK","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":"bdf5aa878764ba5af543365b564552d2cfd34a82054dfe5422e7e3d94499aeb9","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2020-05-26T21:20:37Z","title_canon_sha256":"66bb4ecf89636931263be2b71e8066ad4400ee8f8dae6f5122991ebd54d5df42"},"schema_version":"1.0","source":{"id":"2005.13048","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2005.13048","created_at":"2026-07-05T02:15:57Z"},{"alias_kind":"arxiv_version","alias_value":"2005.13048v2","created_at":"2026-07-05T02:15:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2005.13048","created_at":"2026-07-05T02:15:57Z"},{"alias_kind":"pith_short_12","alias_value":"4UGBVSPMSFIG","created_at":"2026-07-05T02:15:57Z"},{"alias_kind":"pith_short_16","alias_value":"4UGBVSPMSFIG6VCM","created_at":"2026-07-05T02:15:57Z"},{"alias_kind":"pith_short_8","alias_value":"4UGBVSPM","created_at":"2026-07-05T02:15:57Z"}],"graph_snapshots":[{"event_id":"sha256:e60e1fb5095f365ca7647d81b13b56e6984687e6bfb00d74c9bec8cb4b4d8bc8","target":"graph","created_at":"2026-07-05T02:15:57Z","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/2005.13048/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Intellectual Property (IP) theft is a serious concern for the integrated circuit (IC) industry. To address this concern, logic locking countermeasure transforms a logic circuit to a different one to obfuscate its inner details. The transformation caused by obfuscation is reversed only upon application of the programmed secret key, thus preserving the circuit's original function. This technique is known to be vulnerable to Satisfiability (SAT)-based attacks. But in order to succeed, SAT-based attacks implicitly assume a perfectly reverse-engineered circuit, which is difficult to achieve in prac","authors_text":"Aydin Aysu, Qinhan Tan, Seetal Potluri","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2020-05-26T21:20:37Z","title":"Efficacy of Satisfiability Based Attacks in the Presence of Circuit Reverse Engineering Errors"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2005.13048","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:c84ecfbf3c265c55fcbb3343341d0e54f5bc0e0743abd4ab810241d6fb589917","target":"record","created_at":"2026-07-05T02:15:57Z","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":"bdf5aa878764ba5af543365b564552d2cfd34a82054dfe5422e7e3d94499aeb9","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2020-05-26T21:20:37Z","title_canon_sha256":"66bb4ecf89636931263be2b71e8066ad4400ee8f8dae6f5122991ebd54d5df42"},"schema_version":"1.0","source":{"id":"2005.13048","kind":"arxiv","version":2}},"canonical_sha256":"e50c1ac9ec91506f544c61b7b94a618abcd6167003fe7f209053595fee824a0e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e50c1ac9ec91506f544c61b7b94a618abcd6167003fe7f209053595fee824a0e","first_computed_at":"2026-07-05T02:15:57.852571Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T02:15:57.852571Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"3BlG37bvKQ+01grQAyqkI5Oy0h/uhZf8hDg6l80e7Ew8S3oBvgHwI9uL3NMGzBxU5OytzJp6UsmuveWvL0nbBg==","signature_status":"signed_v1","signed_at":"2026-07-05T02:15:57.852924Z","signed_message":"canonical_sha256_bytes"},"source_id":"2005.13048","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c84ecfbf3c265c55fcbb3343341d0e54f5bc0e0743abd4ab810241d6fb589917","sha256:e60e1fb5095f365ca7647d81b13b56e6984687e6bfb00d74c9bec8cb4b4d8bc8"],"state_sha256":"3b9840f172cd67f29b714826ba2f8335d8af6d2974885cb36bffa98b0e3830af"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"h/TUHscOmEJjgrxQyzDqY+6n1jhvQMEYijkxqOhXUe88R54eNwv/R+/yRUDWIakV3ET+NqOnhd/4omJZq+cmCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-05T20:46:11.429397Z","bundle_sha256":"e5813694b707daeaf32307717f4b5e7ae636c142245b10c24d86facac2f3de51"}}