{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2020:4UGBVSPMSFIG6VCMMG33SSTBRK","short_pith_number":"pith:4UGBVSPM","schema_version":"1.0","canonical_sha256":"e50c1ac9ec91506f544c61b7b94a618abcd6167003fe7f209053595fee824a0e","source":{"kind":"arxiv","id":"2005.13048","version":2},"attestation_state":"computed","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"},"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":"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2005.13048","created_at":"2026-07-05T02:15:57.852626+00:00"},{"alias_kind":"arxiv_version","alias_value":"2005.13048v2","created_at":"2026-07-05T02:15:57.852626+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2005.13048","created_at":"2026-07-05T02:15:57.852626+00:00"},{"alias_kind":"pith_short_12","alias_value":"4UGBVSPMSFIG","created_at":"2026-07-05T02:15:57.852626+00:00"},{"alias_kind":"pith_short_16","alias_value":"4UGBVSPMSFIG6VCM","created_at":"2026-07-05T02:15:57.852626+00:00"},{"alias_kind":"pith_short_8","alias_value":"4UGBVSPM","created_at":"2026-07-05T02:15:57.852626+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/4UGBVSPMSFIG6VCMMG33SSTBRK","json":"https://pith.science/pith/4UGBVSPMSFIG6VCMMG33SSTBRK.json","graph_json":"https://pith.science/api/pith-number/4UGBVSPMSFIG6VCMMG33SSTBRK/graph.json","events_json":"https://pith.science/api/pith-number/4UGBVSPMSFIG6VCMMG33SSTBRK/events.json","paper":"https://pith.science/paper/4UGBVSPM"},"agent_actions":{"view_html":"https://pith.science/pith/4UGBVSPMSFIG6VCMMG33SSTBRK","download_json":"https://pith.science/pith/4UGBVSPMSFIG6VCMMG33SSTBRK.json","view_paper":"https://pith.science/paper/4UGBVSPM","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2005.13048&json=true","fetch_graph":"https://pith.science/api/pith-number/4UGBVSPMSFIG6VCMMG33SSTBRK/graph.json","fetch_events":"https://pith.science/api/pith-number/4UGBVSPMSFIG6VCMMG33SSTBRK/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/4UGBVSPMSFIG6VCMMG33SSTBRK/action/timestamp_anchor","attest_storage":"https://pith.science/pith/4UGBVSPMSFIG6VCMMG33SSTBRK/action/storage_attestation","attest_author":"https://pith.science/pith/4UGBVSPMSFIG6VCMMG33SSTBRK/action/author_attestation","sign_citation":"https://pith.science/pith/4UGBVSPMSFIG6VCMMG33SSTBRK/action/citation_signature","submit_replication":"https://pith.science/pith/4UGBVSPMSFIG6VCMMG33SSTBRK/action/replication_record"}},"created_at":"2026-07-05T02:15:57.852626+00:00","updated_at":"2026-07-05T02:15:57.852626+00:00"}