{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:GCWKRTGLQQOUCJ2UAK2JXL7KSV","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":"6e5c0f57c527de7b94a5902e3d5697a945f4171c5f1c22db9afb9f229bf2359e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2023-02-02T16:51:28Z","title_canon_sha256":"dcfa00ccda18bc95a61de92a0d16ff8155abcfa2e2c34d7e08575409ed09aa9b"},"schema_version":"1.0","source":{"id":"2302.01215","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2302.01215","created_at":"2026-07-05T08:17:09Z"},{"alias_kind":"arxiv_version","alias_value":"2302.01215v1","created_at":"2026-07-05T08:17:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2302.01215","created_at":"2026-07-05T08:17:09Z"},{"alias_kind":"pith_short_12","alias_value":"GCWKRTGLQQOU","created_at":"2026-07-05T08:17:09Z"},{"alias_kind":"pith_short_16","alias_value":"GCWKRTGLQQOUCJ2U","created_at":"2026-07-05T08:17:09Z"},{"alias_kind":"pith_short_8","alias_value":"GCWKRTGL","created_at":"2026-07-05T08:17:09Z"}],"graph_snapshots":[{"event_id":"sha256:a40b1c6c58ab76240bffacd17f8c4bec46fdd6836836410773e1a257b5e73dd9","target":"graph","created_at":"2026-07-05T08:17:09Z","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/2302.01215/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Novel AI-based code-writing Large Language Models (LLMs) such as OpenAI's Codex have demonstrated capabilities in many coding-adjacent domains. In this work we consider how LLMs maybe leveraged to automatically repair security relevant bugs present in hardware designs. We focus on bug repair in code written in the Hardware Description Language Verilog. For this study we build a corpus of domain-representative hardware security bugs. We then design and implement a framework to quantitatively evaluate the performance of any LLM tasked with fixing the specified bugs. The framework supports design","authors_text":"Baleegh Ahmad, Benjamin Tan, Hammond Pearce, Ramesh Karri, Shailja Thakur","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2023-02-02T16:51:28Z","title":"Fixing Hardware Security Bugs with Large Language Models"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2302.01215","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:ae7f3ebd84fed31d428b569720f7f37393c015c80790f753c27f06228451c7c6","target":"record","created_at":"2026-07-05T08:17:09Z","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":"6e5c0f57c527de7b94a5902e3d5697a945f4171c5f1c22db9afb9f229bf2359e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2023-02-02T16:51:28Z","title_canon_sha256":"dcfa00ccda18bc95a61de92a0d16ff8155abcfa2e2c34d7e08575409ed09aa9b"},"schema_version":"1.0","source":{"id":"2302.01215","kind":"arxiv","version":1}},"canonical_sha256":"30aca8cccb841d41275402b49bafea9574fae0209ee49a3a97706a43a961fd06","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"30aca8cccb841d41275402b49bafea9574fae0209ee49a3a97706a43a961fd06","first_computed_at":"2026-07-05T08:17:09.003604Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:17:09.003604Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"KVHXEcb9yE6KzCIr5kdRdg4v0XUR0Lza+szH+FTU9p5AZwSr3iuZw/zraDDFHplkhIVJhdlHj5I4hrqvU2QOBg==","signature_status":"signed_v1","signed_at":"2026-07-05T08:17:09.004007Z","signed_message":"canonical_sha256_bytes"},"source_id":"2302.01215","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ae7f3ebd84fed31d428b569720f7f37393c015c80790f753c27f06228451c7c6","sha256:a40b1c6c58ab76240bffacd17f8c4bec46fdd6836836410773e1a257b5e73dd9"],"state_sha256":"3cc5474340001dbd65810f71c00761d1b45328aed07fc6543421a86ab9c7b1cb"}