{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:4PMA562NFW7ZK6MOF3JM6GBK2A","short_pith_number":"pith:4PMA562N","canonical_record":{"source":{"id":"2607.27776","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2026-07-30T07:08:49Z","cross_cats_sorted":[],"title_canon_sha256":"1b2cf27449f11abea5b42b34eadb398cba9dae9e3c6e50e9cd66fab3394657a2","abstract_canon_sha256":"05d4cd83b11f16c7d4cff5688543ca5876273fc324d50f35c0d4c7cd5b31b680"},"schema_version":"1.0"},"canonical_sha256":"e3d80efb4d2dbf95798e2ed2cf182ad036580968371bb797e78a53e13c0e1288","source":{"kind":"arxiv","id":"2607.27776","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.27776","created_at":"2026-07-31T01:30:37Z"},{"alias_kind":"arxiv_version","alias_value":"2607.27776v1","created_at":"2026-07-31T01:30:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.27776","created_at":"2026-07-31T01:30:37Z"},{"alias_kind":"pith_short_12","alias_value":"4PMA562NFW7Z","created_at":"2026-07-31T01:30:37Z"},{"alias_kind":"pith_short_16","alias_value":"4PMA562NFW7ZK6MO","created_at":"2026-07-31T01:30:37Z"},{"alias_kind":"pith_short_8","alias_value":"4PMA562N","created_at":"2026-07-31T01:30:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:4PMA562NFW7ZK6MOF3JM6GBK2A","target":"record","payload":{"canonical_record":{"source":{"id":"2607.27776","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2026-07-30T07:08:49Z","cross_cats_sorted":[],"title_canon_sha256":"1b2cf27449f11abea5b42b34eadb398cba9dae9e3c6e50e9cd66fab3394657a2","abstract_canon_sha256":"05d4cd83b11f16c7d4cff5688543ca5876273fc324d50f35c0d4c7cd5b31b680"},"schema_version":"1.0"},"canonical_sha256":"e3d80efb4d2dbf95798e2ed2cf182ad036580968371bb797e78a53e13c0e1288","receipt":{"kind":"pith_receipt","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e3d80efb4d2dbf95798e2ed2cf182ad036580968371bb797e78a53e13c0e1288","last_reissued_at":"2026-07-31T01:30:37.530271Z","signature_status":"unsigned_v0","first_computed_at":"2026-07-31T01:30:37.530271Z"},"source_kind":"arxiv","source_id":"2607.27776","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-31T01:30:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ziMX3b95TkeTvn9vgyLxxy+aVfoL0tPwxv/4V3UU3v3mWQFcYQByK+7S8Rwcx7LWes4i5N1Uy4YQoi7gNnHsDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T08:08:22.105068Z"},"content_sha256":"f1178cbc1e9edd34fd2e5c97f1dbcc2ba7583ad7967464dc198ca01d79413915","schema_version":"1.0","event_id":"sha256:f1178cbc1e9edd34fd2e5c97f1dbcc2ba7583ad7967464dc198ca01d79413915"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:4PMA562NFW7ZK6MOF3JM6GBK2A","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"CHARGE: Leveraging CWE Hierarchies for Hardware Security SystemVerilog Assertion Generation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Cynthia Sturton, Xiao Tan","submitted_at":"2026-07-30T07:08:49Z","abstract_excerpt":"This paper presents CHARGE, an automated framework for generating security properties for unverified RTL modules using CWEs and large language models (LLMs). The hallmark is a reasoning process that leverages the hierarchical nature of CWE entries to improve accuracy when identifying security-critical assets in unverified RTL modules. As a result, the approach can infer expected security behaviors and generate properties from identified assets and CWE semantics, avoiding the need for trusted design specifications and reducing manual engineering effort. We evaluate the framework on the Hack@DAC"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.27776","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/2607.27776/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-31T01:30:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"C2cCk1PU0sKK3V6wPruTBLQ54WhO0Wwo7T7RAGZzMpqDFE/OU7r4+YA/BDNxW+JuLYspRH995oZNGTZ70V63Bw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T08:08:22.105621Z"},"content_sha256":"a5a5536623506689c2ae3c5b230e1c97ace4869199ac51665547995787347120","schema_version":"1.0","event_id":"sha256:a5a5536623506689c2ae3c5b230e1c97ace4869199ac51665547995787347120"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/4PMA562NFW7ZK6MOF3JM6GBK2A/bundle.json","state_url":"https://pith.science/pith/4PMA562NFW7ZK6MOF3JM6GBK2A/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/4PMA562NFW7ZK6MOF3JM6GBK2A/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-07T08:08:22Z","links":{"resolver":"https://pith.science/pith/4PMA562NFW7ZK6MOF3JM6GBK2A","bundle":"https://pith.science/pith/4PMA562NFW7ZK6MOF3JM6GBK2A/bundle.json","state":"https://pith.science/pith/4PMA562NFW7ZK6MOF3JM6GBK2A/state.json","well_known_bundle":"https://pith.science/.well-known/pith/4PMA562NFW7ZK6MOF3JM6GBK2A/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:4PMA562NFW7ZK6MOF3JM6GBK2A","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":"05d4cd83b11f16c7d4cff5688543ca5876273fc324d50f35c0d4c7cd5b31b680","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2026-07-30T07:08:49Z","title_canon_sha256":"1b2cf27449f11abea5b42b34eadb398cba9dae9e3c6e50e9cd66fab3394657a2"},"schema_version":"1.0","source":{"id":"2607.27776","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.27776","created_at":"2026-07-31T01:30:37Z"},{"alias_kind":"arxiv_version","alias_value":"2607.27776v1","created_at":"2026-07-31T01:30:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.27776","created_at":"2026-07-31T01:30:37Z"},{"alias_kind":"pith_short_12","alias_value":"4PMA562NFW7Z","created_at":"2026-07-31T01:30:37Z"},{"alias_kind":"pith_short_16","alias_value":"4PMA562NFW7ZK6MO","created_at":"2026-07-31T01:30:37Z"},{"alias_kind":"pith_short_8","alias_value":"4PMA562N","created_at":"2026-07-31T01:30:37Z"}],"graph_snapshots":[{"event_id":"sha256:a5a5536623506689c2ae3c5b230e1c97ace4869199ac51665547995787347120","target":"graph","created_at":"2026-07-31T01:30:37Z","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/2607.27776/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This paper presents CHARGE, an automated framework for generating security properties for unverified RTL modules using CWEs and large language models (LLMs). The hallmark is a reasoning process that leverages the hierarchical nature of CWE entries to improve accuracy when identifying security-critical assets in unverified RTL modules. As a result, the approach can infer expected security behaviors and generate properties from identified assets and CWE semantics, avoiding the need for trusted design specifications and reducing manual engineering effort. We evaluate the framework on the Hack@DAC","authors_text":"Cynthia Sturton, Xiao Tan","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2026-07-30T07:08:49Z","title":"CHARGE: Leveraging CWE Hierarchies for Hardware Security SystemVerilog Assertion Generation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.27776","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:f1178cbc1e9edd34fd2e5c97f1dbcc2ba7583ad7967464dc198ca01d79413915","target":"record","created_at":"2026-07-31T01:30:37Z","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":"05d4cd83b11f16c7d4cff5688543ca5876273fc324d50f35c0d4c7cd5b31b680","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2026-07-30T07:08:49Z","title_canon_sha256":"1b2cf27449f11abea5b42b34eadb398cba9dae9e3c6e50e9cd66fab3394657a2"},"schema_version":"1.0","source":{"id":"2607.27776","kind":"arxiv","version":1}},"canonical_sha256":"e3d80efb4d2dbf95798e2ed2cf182ad036580968371bb797e78a53e13c0e1288","receipt":{"builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e3d80efb4d2dbf95798e2ed2cf182ad036580968371bb797e78a53e13c0e1288","first_computed_at":"2026-07-31T01:30:37.530271Z","kind":"pith_receipt","last_reissued_at":"2026-07-31T01:30:37.530271Z","receipt_version":"0.3","signature_status":"unsigned_v0"},"source_id":"2607.27776","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f1178cbc1e9edd34fd2e5c97f1dbcc2ba7583ad7967464dc198ca01d79413915","sha256:a5a5536623506689c2ae3c5b230e1c97ace4869199ac51665547995787347120"],"state_sha256":"9a6361da476d4c0607d281f3c5caa123499ba563cdeea6d73000f5985867b82a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Kvfql/m6bonl4/qWIMfhVr6NNiyaOpUVaYB27e+EUTAzdmrH2pbb9bH9oXZMORHaWOR63evrakxziiFhOorzAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-07T08:08:22.134135Z","bundle_sha256":"4bf9e32760661812de472b3c2b2198ba9c55bd4337693626803c371b778e3738"}}