{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:W6ICTOWPJNA3PPQJHYVYKTJQ5Z","short_pith_number":"pith:W6ICTOWP","canonical_record":{"source":{"id":"1608.04720","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2016-08-16T19:33:04Z","cross_cats_sorted":[],"title_canon_sha256":"fbbcfafc391fd914ffaa66e85ad1cfdb3157da092dcba23eafad4ed8ec4e65b2","abstract_canon_sha256":"2c39006b8df1995a160b2f337827f6f915d2fa649e1f46e708173cfe146fcda0"},"schema_version":"1.0"},"canonical_sha256":"b79029bacf4b41b7be093e2b854d30ee6008ef715ad9dc7e4bcf6d1399cf32a5","source":{"kind":"arxiv","id":"1608.04720","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1608.04720","created_at":"2026-05-18T01:08:36Z"},{"alias_kind":"arxiv_version","alias_value":"1608.04720v1","created_at":"2026-05-18T01:08:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1608.04720","created_at":"2026-05-18T01:08:36Z"},{"alias_kind":"pith_short_12","alias_value":"W6ICTOWPJNA3","created_at":"2026-05-18T12:30:48Z"},{"alias_kind":"pith_short_16","alias_value":"W6ICTOWPJNA3PPQJ","created_at":"2026-05-18T12:30:48Z"},{"alias_kind":"pith_short_8","alias_value":"W6ICTOWP","created_at":"2026-05-18T12:30:48Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:W6ICTOWPJNA3PPQJHYVYKTJQ5Z","target":"record","payload":{"canonical_record":{"source":{"id":"1608.04720","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2016-08-16T19:33:04Z","cross_cats_sorted":[],"title_canon_sha256":"fbbcfafc391fd914ffaa66e85ad1cfdb3157da092dcba23eafad4ed8ec4e65b2","abstract_canon_sha256":"2c39006b8df1995a160b2f337827f6f915d2fa649e1f46e708173cfe146fcda0"},"schema_version":"1.0"},"canonical_sha256":"b79029bacf4b41b7be093e2b854d30ee6008ef715ad9dc7e4bcf6d1399cf32a5","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:08:36.455683Z","signature_b64":"XjbaGBI4OuoVHD/HFbCJ6LNreazKEVt5R5DNNtmLOI7cJ6zyQFrZS9xmMj5gGgM6JNUUkjefro3VgodlXD/4AQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b79029bacf4b41b7be093e2b854d30ee6008ef715ad9dc7e4bcf6d1399cf32a5","last_reissued_at":"2026-05-18T01:08:36.454995Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:08:36.454995Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1608.04720","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-05-18T01:08:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9dIrmtC6o08x3qxp9w1jLz83F9svxIrFfQUSAjP4NL+G8PXgvDVNE8tHplWEFq9EGjw0JiNnReKT3Gm4+9kpAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T17:57:00.428884Z"},"content_sha256":"8bb8a85f9a9e29766762d241915d8863c890d2907e22f8997671acdd6a671e24","schema_version":"1.0","event_id":"sha256:8bb8a85f9a9e29766762d241915d8863c890d2907e22f8997671acdd6a671e24"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:W6ICTOWPJNA3PPQJHYVYKTJQ5Z","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Adaptive Restart and CEGAR-based Solver for Inverting Cryptographic Hash Functions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Catherine Gebotys, Jia Hui Liang, Krzysztof Czarnecki, Saeed Nejati, Vijay Ganesh","submitted_at":"2016-08-16T19:33:04Z","abstract_excerpt":"SAT solvers are increasingly being used for cryptanalysis of hash functions and symmetric encryption schemes. Inspired by this trend, we present MapleCrypt which is a SAT solver-based cryptanalysis tool for inverting hash functions. We reduce the hash function inversion problem for fixed targets into the satisfiability problem for Boolean logic, and use MapleCrypt to construct preimages for these targets. MapleCrypt has two key features, namely, a multi-armed bandit based adaptive restart (MABR) policy and a counterexample-guided abstraction refinement (CEGAR) technique. The MABR technique use"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1608.04720","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":""},"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-05-18T01:08:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"c2i78UoTu3WR44LQpEPu+K/D+ejNhjVWZtVtBfpXryD453oCPqS07Hsfv+To9YwaZciMaCZuKZ7vT2CpmrUyBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T17:57:00.429617Z"},"content_sha256":"8658aa198ded04459767c45c7a22aa812ccff5fbcd3f9f2a2380380e67d48472","schema_version":"1.0","event_id":"sha256:8658aa198ded04459767c45c7a22aa812ccff5fbcd3f9f2a2380380e67d48472"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/W6ICTOWPJNA3PPQJHYVYKTJQ5Z/bundle.json","state_url":"https://pith.science/pith/W6ICTOWPJNA3PPQJHYVYKTJQ5Z/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/W6ICTOWPJNA3PPQJHYVYKTJQ5Z/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-06-07T17:57:00Z","links":{"resolver":"https://pith.science/pith/W6ICTOWPJNA3PPQJHYVYKTJQ5Z","bundle":"https://pith.science/pith/W6ICTOWPJNA3PPQJHYVYKTJQ5Z/bundle.json","state":"https://pith.science/pith/W6ICTOWPJNA3PPQJHYVYKTJQ5Z/state.json","well_known_bundle":"https://pith.science/.well-known/pith/W6ICTOWPJNA3PPQJHYVYKTJQ5Z/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:W6ICTOWPJNA3PPQJHYVYKTJQ5Z","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":"2c39006b8df1995a160b2f337827f6f915d2fa649e1f46e708173cfe146fcda0","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2016-08-16T19:33:04Z","title_canon_sha256":"fbbcfafc391fd914ffaa66e85ad1cfdb3157da092dcba23eafad4ed8ec4e65b2"},"schema_version":"1.0","source":{"id":"1608.04720","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1608.04720","created_at":"2026-05-18T01:08:36Z"},{"alias_kind":"arxiv_version","alias_value":"1608.04720v1","created_at":"2026-05-18T01:08:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1608.04720","created_at":"2026-05-18T01:08:36Z"},{"alias_kind":"pith_short_12","alias_value":"W6ICTOWPJNA3","created_at":"2026-05-18T12:30:48Z"},{"alias_kind":"pith_short_16","alias_value":"W6ICTOWPJNA3PPQJ","created_at":"2026-05-18T12:30:48Z"},{"alias_kind":"pith_short_8","alias_value":"W6ICTOWP","created_at":"2026-05-18T12:30:48Z"}],"graph_snapshots":[{"event_id":"sha256:8658aa198ded04459767c45c7a22aa812ccff5fbcd3f9f2a2380380e67d48472","target":"graph","created_at":"2026-05-18T01:08: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":"SAT solvers are increasingly being used for cryptanalysis of hash functions and symmetric encryption schemes. Inspired by this trend, we present MapleCrypt which is a SAT solver-based cryptanalysis tool for inverting hash functions. We reduce the hash function inversion problem for fixed targets into the satisfiability problem for Boolean logic, and use MapleCrypt to construct preimages for these targets. MapleCrypt has two key features, namely, a multi-armed bandit based adaptive restart (MABR) policy and a counterexample-guided abstraction refinement (CEGAR) technique. The MABR technique use","authors_text":"Catherine Gebotys, Jia Hui Liang, Krzysztof Czarnecki, Saeed Nejati, Vijay Ganesh","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2016-08-16T19:33:04Z","title":"Adaptive Restart and CEGAR-based Solver for Inverting Cryptographic Hash Functions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1608.04720","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:8bb8a85f9a9e29766762d241915d8863c890d2907e22f8997671acdd6a671e24","target":"record","created_at":"2026-05-18T01:08: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":"2c39006b8df1995a160b2f337827f6f915d2fa649e1f46e708173cfe146fcda0","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2016-08-16T19:33:04Z","title_canon_sha256":"fbbcfafc391fd914ffaa66e85ad1cfdb3157da092dcba23eafad4ed8ec4e65b2"},"schema_version":"1.0","source":{"id":"1608.04720","kind":"arxiv","version":1}},"canonical_sha256":"b79029bacf4b41b7be093e2b854d30ee6008ef715ad9dc7e4bcf6d1399cf32a5","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b79029bacf4b41b7be093e2b854d30ee6008ef715ad9dc7e4bcf6d1399cf32a5","first_computed_at":"2026-05-18T01:08:36.454995Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:08:36.454995Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"XjbaGBI4OuoVHD/HFbCJ6LNreazKEVt5R5DNNtmLOI7cJ6zyQFrZS9xmMj5gGgM6JNUUkjefro3VgodlXD/4AQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:08:36.455683Z","signed_message":"canonical_sha256_bytes"},"source_id":"1608.04720","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8bb8a85f9a9e29766762d241915d8863c890d2907e22f8997671acdd6a671e24","sha256:8658aa198ded04459767c45c7a22aa812ccff5fbcd3f9f2a2380380e67d48472"],"state_sha256":"97fec0a7fb4c651aff3e4a4404da00b492ad3811df83b6cd04e98d37f0cddd40"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NA6QeFqrEZxv9/5G7pTDP62Wk1DqrvQgxIQVSrHbXHWRG3fIivLt4+0i8ancMWdW54XvEgn86A5/RlojfjspAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-07T17:57:00.433796Z","bundle_sha256":"d3e6884002308e4e96154b60d6cff9a7789a91a38594af258c503ce4f7b69410"}}