{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:EMPUBBCPBXV2BMOMJSV6IJNEQQ","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":"fe0e13f7c665fea5ac989bcbe817825600c45509cd80cc62cc86bf4a1eae017b","cross_cats_sorted":["cs.ET"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2025-06-22T01:21:03Z","title_canon_sha256":"94b18c44e59178c67171c3d71b8b11312fb2c335cb7c093a456b9a35fa7aada8"},"schema_version":"1.0","source":{"id":"2506.17865","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.17865","created_at":"2026-07-05T11:25:24Z"},{"alias_kind":"arxiv_version","alias_value":"2506.17865v1","created_at":"2026-07-05T11:25:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.17865","created_at":"2026-07-05T11:25:24Z"},{"alias_kind":"pith_short_12","alias_value":"EMPUBBCPBXV2","created_at":"2026-07-05T11:25:24Z"},{"alias_kind":"pith_short_16","alias_value":"EMPUBBCPBXV2BMOM","created_at":"2026-07-05T11:25:24Z"},{"alias_kind":"pith_short_8","alias_value":"EMPUBBCP","created_at":"2026-07-05T11:25:24Z"}],"graph_snapshots":[{"event_id":"sha256:3e47a808fd968d40882c91ad813f68174746e0612cf819fa9fe311bfdfa2dfcc","target":"graph","created_at":"2026-07-05T11:25:24Z","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/2506.17865/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Ensuring the security of modern System-on-Chip (SoC) designs poses significant challenges due to increasing complexity and distributed assets across the intellectual property (IP) blocks. Formal property verification (FPV) provides the capability to model and validate design behaviors through security properties with model checkers; however, current practices require significant manual efforts to create such properties, making them time-consuming, costly, and error-prone. The emergence of Large Language Models (LLMs) has showcased remarkable proficiency across diverse domains, including HDL co","authors_text":"Aritra Dasgupta, Dinesh Reddy Ankireddy, Sandip Ray, Sudipta Paria, Swarup Bhunia","cross_cats":["cs.ET"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2025-06-22T01:21:03Z","title":"LASA: Enhancing SoC Security Verification with LLM-Aided Property Generation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.17865","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:4c6f2b8539e493be550d639932f76aeb25b4f91596b9e86736d2025eeaf6159b","target":"record","created_at":"2026-07-05T11:25:24Z","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":"fe0e13f7c665fea5ac989bcbe817825600c45509cd80cc62cc86bf4a1eae017b","cross_cats_sorted":["cs.ET"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2025-06-22T01:21:03Z","title_canon_sha256":"94b18c44e59178c67171c3d71b8b11312fb2c335cb7c093a456b9a35fa7aada8"},"schema_version":"1.0","source":{"id":"2506.17865","kind":"arxiv","version":1}},"canonical_sha256":"231f40844f0deba0b1cc4cabe425a4840117419b513f0612293e4ffb29a06895","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"231f40844f0deba0b1cc4cabe425a4840117419b513f0612293e4ffb29a06895","first_computed_at":"2026-07-05T11:25:24.597149Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:25:24.597149Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"8+gUrnZCl/Fhdlm9RsJednizPIj146TndZRlB3QEmhF0NBYYtR8dIQwB5ov77ld5whj5HwgAtBvVwG7GR070CQ==","signature_status":"signed_v1","signed_at":"2026-07-05T11:25:24.597651Z","signed_message":"canonical_sha256_bytes"},"source_id":"2506.17865","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4c6f2b8539e493be550d639932f76aeb25b4f91596b9e86736d2025eeaf6159b","sha256:3e47a808fd968d40882c91ad813f68174746e0612cf819fa9fe311bfdfa2dfcc"],"state_sha256":"bf58e3eae10217312fbdb09caa686db88510a94006627ae90ac24d7e8cadf209"}