{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:MHAYZBQUIEBYJDZH3PUCOANYHJ","short_pith_number":"pith:MHAYZBQU","canonical_record":{"source":{"id":"2312.06580","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2023-12-11T18:10:49Z","cross_cats_sorted":[],"title_canon_sha256":"6ad803cb6f4ccb21566537c3731a1b8ad05c78614b19f92f4394ea5797299a55","abstract_canon_sha256":"f394cc73d5d0626fbaf93471c65978c9a952b804e1da8316a97c02ec5c81c5d3"},"schema_version":"1.0"},"canonical_sha256":"61c18c86144103848f27dbe82701b83a78c39c7876ad7aba00bf3cc933c953ce","source":{"kind":"arxiv","id":"2312.06580","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2312.06580","created_at":"2026-07-05T07:22:47Z"},{"alias_kind":"arxiv_version","alias_value":"2312.06580v1","created_at":"2026-07-05T07:22:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2312.06580","created_at":"2026-07-05T07:22:47Z"},{"alias_kind":"pith_short_12","alias_value":"MHAYZBQUIEBY","created_at":"2026-07-05T07:22:47Z"},{"alias_kind":"pith_short_16","alias_value":"MHAYZBQUIEBYJDZH","created_at":"2026-07-05T07:22:47Z"},{"alias_kind":"pith_short_8","alias_value":"MHAYZBQU","created_at":"2026-07-05T07:22:47Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:MHAYZBQUIEBYJDZH3PUCOANYHJ","target":"record","payload":{"canonical_record":{"source":{"id":"2312.06580","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2023-12-11T18:10:49Z","cross_cats_sorted":[],"title_canon_sha256":"6ad803cb6f4ccb21566537c3731a1b8ad05c78614b19f92f4394ea5797299a55","abstract_canon_sha256":"f394cc73d5d0626fbaf93471c65978c9a952b804e1da8316a97c02ec5c81c5d3"},"schema_version":"1.0"},"canonical_sha256":"61c18c86144103848f27dbe82701b83a78c39c7876ad7aba00bf3cc933c953ce","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T07:22:47.306573Z","signature_b64":"OmSNuo+uW89NAKKzfNTnL2VfbDuXaP0fPoGIxFh8VYn4zMkTcGZ40DUrRQo3uw2GvNPZyOCn90FmucsM8JMFCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"61c18c86144103848f27dbe82701b83a78c39c7876ad7aba00bf3cc933c953ce","last_reissued_at":"2026-07-05T07:22:47.306023Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T07:22:47.306023Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2312.06580","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-07-05T07:22:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"t9GqyJJtiMOPeWWIneHqDUX/KF/UUNE7KVjG6ZClKVkvODqr0nSL7Jy9GKCYxtyJJhBQ/h+GP3NrmV9LpcErCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T06:52:38.951085Z"},"content_sha256":"6b9cae718aa63f2bde3360f82f31019c63a430166deb9992b35aa4454fc00266","schema_version":"1.0","event_id":"sha256:6b9cae718aa63f2bde3360f82f31019c63a430166deb9992b35aa4454fc00266"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:MHAYZBQUIEBYJDZH3PUCOANYHJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"VGF: Value-Guided Fuzzing -- Fuzzing Hardware as Hardware","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AR","authors_text":"Dean Sullivan, Michael Lee, Orlando Arias, Patrick Hoey, Ruochen Dai, Shuo Wang, Tuba Yavuz, Weimin Fu, Xiaolong Guo","submitted_at":"2023-12-11T18:10:49Z","abstract_excerpt":"As the complexity of logic designs increase, new avenues for testing digital hardware becomes necessary. Fuzz Testing (fuzzing) has recently received attention as a potential candidate for input vector generation on hardware designs. Using this technique, a fuzzer is used to generate an input to a logic design. Using a simulation engine, the logic design is given the generated stimulus and some metric of feedback is given to the fuzzer to aid in the input mutation. However, much like software fuzzing, hardware fuzzing uses code coverage as a metric to find new possible fuzzing paths. Unfortuna"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2312.06580","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2312.06580/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-05T07:22:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gUnYuY70SEu9koRJT2lwjq82KLTjCLbjC7uwJxY+wqf8CBE1RP5TpL/Fc/C0Gnwb1Myycq8VQh9tihRHgtSwCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T06:52:38.951710Z"},"content_sha256":"cf7eb31efb03779845c4e66c1306b51f1e407994bf8ee549708a700ee6e0bdbc","schema_version":"1.0","event_id":"sha256:cf7eb31efb03779845c4e66c1306b51f1e407994bf8ee549708a700ee6e0bdbc"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/MHAYZBQUIEBYJDZH3PUCOANYHJ/bundle.json","state_url":"https://pith.science/pith/MHAYZBQUIEBYJDZH3PUCOANYHJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/MHAYZBQUIEBYJDZH3PUCOANYHJ/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-04T06:52:38Z","links":{"resolver":"https://pith.science/pith/MHAYZBQUIEBYJDZH3PUCOANYHJ","bundle":"https://pith.science/pith/MHAYZBQUIEBYJDZH3PUCOANYHJ/bundle.json","state":"https://pith.science/pith/MHAYZBQUIEBYJDZH3PUCOANYHJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/MHAYZBQUIEBYJDZH3PUCOANYHJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:MHAYZBQUIEBYJDZH3PUCOANYHJ","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":"f394cc73d5d0626fbaf93471c65978c9a952b804e1da8316a97c02ec5c81c5d3","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2023-12-11T18:10:49Z","title_canon_sha256":"6ad803cb6f4ccb21566537c3731a1b8ad05c78614b19f92f4394ea5797299a55"},"schema_version":"1.0","source":{"id":"2312.06580","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2312.06580","created_at":"2026-07-05T07:22:47Z"},{"alias_kind":"arxiv_version","alias_value":"2312.06580v1","created_at":"2026-07-05T07:22:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2312.06580","created_at":"2026-07-05T07:22:47Z"},{"alias_kind":"pith_short_12","alias_value":"MHAYZBQUIEBY","created_at":"2026-07-05T07:22:47Z"},{"alias_kind":"pith_short_16","alias_value":"MHAYZBQUIEBYJDZH","created_at":"2026-07-05T07:22:47Z"},{"alias_kind":"pith_short_8","alias_value":"MHAYZBQU","created_at":"2026-07-05T07:22:47Z"}],"graph_snapshots":[{"event_id":"sha256:cf7eb31efb03779845c4e66c1306b51f1e407994bf8ee549708a700ee6e0bdbc","target":"graph","created_at":"2026-07-05T07:22:47Z","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/2312.06580/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"As the complexity of logic designs increase, new avenues for testing digital hardware becomes necessary. Fuzz Testing (fuzzing) has recently received attention as a potential candidate for input vector generation on hardware designs. Using this technique, a fuzzer is used to generate an input to a logic design. Using a simulation engine, the logic design is given the generated stimulus and some metric of feedback is given to the fuzzer to aid in the input mutation. However, much like software fuzzing, hardware fuzzing uses code coverage as a metric to find new possible fuzzing paths. Unfortuna","authors_text":"Dean Sullivan, Michael Lee, Orlando Arias, Patrick Hoey, Ruochen Dai, Shuo Wang, Tuba Yavuz, Weimin Fu, Xiaolong Guo","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2023-12-11T18:10:49Z","title":"VGF: Value-Guided Fuzzing -- Fuzzing Hardware as Hardware"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2312.06580","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:6b9cae718aa63f2bde3360f82f31019c63a430166deb9992b35aa4454fc00266","target":"record","created_at":"2026-07-05T07:22:47Z","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":"f394cc73d5d0626fbaf93471c65978c9a952b804e1da8316a97c02ec5c81c5d3","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2023-12-11T18:10:49Z","title_canon_sha256":"6ad803cb6f4ccb21566537c3731a1b8ad05c78614b19f92f4394ea5797299a55"},"schema_version":"1.0","source":{"id":"2312.06580","kind":"arxiv","version":1}},"canonical_sha256":"61c18c86144103848f27dbe82701b83a78c39c7876ad7aba00bf3cc933c953ce","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"61c18c86144103848f27dbe82701b83a78c39c7876ad7aba00bf3cc933c953ce","first_computed_at":"2026-07-05T07:22:47.306023Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:22:47.306023Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"OmSNuo+uW89NAKKzfNTnL2VfbDuXaP0fPoGIxFh8VYn4zMkTcGZ40DUrRQo3uw2GvNPZyOCn90FmucsM8JMFCA==","signature_status":"signed_v1","signed_at":"2026-07-05T07:22:47.306573Z","signed_message":"canonical_sha256_bytes"},"source_id":"2312.06580","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6b9cae718aa63f2bde3360f82f31019c63a430166deb9992b35aa4454fc00266","sha256:cf7eb31efb03779845c4e66c1306b51f1e407994bf8ee549708a700ee6e0bdbc"],"state_sha256":"314b27ab789f4dd7ce11effa4e2280002deb6e72579f303b9dfb9d2d77bb9f2e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9+t6xrQKqUwqCWqxaEm/2OzBtvLkJZNRRd04wSF97Lopj15pwJOW3+kmos19i0suBqNKKHydLVsdCv021cqNDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-04T06:52:38.956975Z","bundle_sha256":"7d57139f68c41c69d99b8a4cab74d563b833b7c2efd2d3ca1d95841516b7ed98"}}