{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:MEVEWJECFFHIIEUYKAOGTLCVUL","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":"a4428dce44509e306bd65084ab518e1999ec01e71afa78bb59c1cb370afd7877","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2018-04-24T17:45:17Z","title_canon_sha256":"0161cc002ef6805e47a6da40705cfd58eb3667e0d8796a8b96542850f6fc48dd"},"schema_version":"1.0","source":{"id":"1804.09162","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1804.09162","created_at":"2026-05-18T00:17:36Z"},{"alias_kind":"arxiv_version","alias_value":"1804.09162v1","created_at":"2026-05-18T00:17:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.09162","created_at":"2026-05-18T00:17:36Z"},{"alias_kind":"pith_short_12","alias_value":"MEVEWJECFFHI","created_at":"2026-05-18T12:32:37Z"},{"alias_kind":"pith_short_16","alias_value":"MEVEWJECFFHIIEUY","created_at":"2026-05-18T12:32:37Z"},{"alias_kind":"pith_short_8","alias_value":"MEVEWJEC","created_at":"2026-05-18T12:32:37Z"}],"graph_snapshots":[{"event_id":"sha256:be2a4e3aff06ff1d201ed172eb09adcc0e8c6d4aa3261c6d556fdd86dfef6067","target":"graph","created_at":"2026-05-18T00:17:36Z","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 claim that cyclic obfuscation, when properly implemented, poses exponential complexity on SAT or CycSAT attack. The CycSAT, in order to generate the necessary cycle avoidance clauses, uses a pre-processing step. We show that this pre-processing step has to compose its cycle avoidance condition on all cycles in a netlist, otherwise, a missing cycle could trap the SAT solver in an infinite loop or force it to return an incorrect key. Then, we propose several techniques by which the number of cycles is exponentially increased with respect to the number of inserted feedbacks. We ","authors_text":"Avesta Sasan, Hadi Mardani Kamali, Shervin Roshanisefat","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2018-04-24T17:45:17Z","title":"SRCLock: SAT-Resistant Cyclic Logic Locking for Protecting the Hardware"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.09162","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:0a1606859442409825cbfd7fd7652eaaa3ae552ac218c79d19ceb1341e25a117","target":"record","created_at":"2026-05-18T00:17:36Z","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":"a4428dce44509e306bd65084ab518e1999ec01e71afa78bb59c1cb370afd7877","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2018-04-24T17:45:17Z","title_canon_sha256":"0161cc002ef6805e47a6da40705cfd58eb3667e0d8796a8b96542850f6fc48dd"},"schema_version":"1.0","source":{"id":"1804.09162","kind":"arxiv","version":1}},"canonical_sha256":"612a4b2482294e841298501c69ac55a2cfc1cb702991e8c48a32403a8aecc33a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"612a4b2482294e841298501c69ac55a2cfc1cb702991e8c48a32403a8aecc33a","first_computed_at":"2026-05-18T00:17:36.125054Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:17:36.125054Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"6h1Ryr4NA4yFQoCLBc1sMgq4+pNPrbJFV7KvpgTYLHJMFQa2v6AbqbFmrne0YxGAltx9NI4YBhS07jMZ6NTNCA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:17:36.125734Z","signed_message":"canonical_sha256_bytes"},"source_id":"1804.09162","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0a1606859442409825cbfd7fd7652eaaa3ae552ac218c79d19ceb1341e25a117","sha256:be2a4e3aff06ff1d201ed172eb09adcc0e8c6d4aa3261c6d556fdd86dfef6067"],"state_sha256":"c1d6ca088ace8401387381eaef886420f9efd8c39168a06db224810d843d4548"}