{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:OCKMCNC3NYZZDXYNSATKFO4HBU","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":"2cec0e82f31682017c93931e28cf6ac6f73460ca8c79422b2d2a2255ced67bcf","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2018-04-30T18:30:40Z","title_canon_sha256":"e6f797491f89c8cc4dd76ac56aac63ee8d22727bdd0205d34c6572e0efea92d7"},"schema_version":"1.0","source":{"id":"1805.00054","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1805.00054","created_at":"2026-05-18T00:17:10Z"},{"alias_kind":"arxiv_version","alias_value":"1805.00054v1","created_at":"2026-05-18T00:17:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1805.00054","created_at":"2026-05-18T00:17:10Z"},{"alias_kind":"pith_short_12","alias_value":"OCKMCNC3NYZZ","created_at":"2026-05-18T12:32:43Z"},{"alias_kind":"pith_short_16","alias_value":"OCKMCNC3NYZZDXYN","created_at":"2026-05-18T12:32:43Z"},{"alias_kind":"pith_short_8","alias_value":"OCKMCNC3","created_at":"2026-05-18T12:32:43Z"}],"graph_snapshots":[{"event_id":"sha256:a944fddc03a9e49c35816e3761c77c46daee129f7ae063ec70f61cae3e54ed77","target":"graph","created_at":"2026-05-18T00:17:10Z","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"},"paper":{"abstract_excerpt":"In this paper, we investigate the strength of six different SAT solvers in attacking various obfuscation schemes. Our investigation revealed that Glucose and Lingeling SAT solvers are generally suited for attacking small-to-midsize obfuscated circuits, while the MapleGlucose, if the system is not memory bound, is best suited for attacking mid-to-difficult obfuscation methods. Our experimental result indicates that when dealing with extremely large circuits and very difficult obfuscation problems, the SAT solver may be memory bound, and Lingeling, for having the most memory efficient implementa","authors_text":"Avesta Sasan, Harshith K. Thirumala, Houman Homayoun, Kris Gaj, Shervin Roshanisefat","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2018-04-30T18:30:40Z","title":"Benchmarking the Capabilities and Limitations of SAT Solvers in Defeating Obfuscation Schemes"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1805.00054","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:9c09b1a57aa0b070bfe67f9d103ae45e7f22175c56d715cd04d6b7529b9dd9c5","target":"record","created_at":"2026-05-18T00:17:10Z","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":"2cec0e82f31682017c93931e28cf6ac6f73460ca8c79422b2d2a2255ced67bcf","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2018-04-30T18:30:40Z","title_canon_sha256":"e6f797491f89c8cc4dd76ac56aac63ee8d22727bdd0205d34c6572e0efea92d7"},"schema_version":"1.0","source":{"id":"1805.00054","kind":"arxiv","version":1}},"canonical_sha256":"7094c1345b6e3391df0d9026a2bb870d170377be667c20d79aa72601a836838d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7094c1345b6e3391df0d9026a2bb870d170377be667c20d79aa72601a836838d","first_computed_at":"2026-05-18T00:17:10.685144Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:17:10.685144Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"hyjluzW8vpas2y/X/haeOg/l5se2XKGKw1DltR1lCRxJb8cpi+SMQckJf3gPF3LTa1+FyngyCBZeod69CtWUDw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:17:10.685919Z","signed_message":"canonical_sha256_bytes"},"source_id":"1805.00054","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9c09b1a57aa0b070bfe67f9d103ae45e7f22175c56d715cd04d6b7529b9dd9c5","sha256:a944fddc03a9e49c35816e3761c77c46daee129f7ae063ec70f61cae3e54ed77"],"state_sha256":"653e6d5f985e35338bc603d6b5510f6e9d4cb7cf70fc5bbbb6aea713150674a3"}