{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:EMPUBBCPBXV2BMOMJSV6IJNEQQ","short_pith_number":"pith:EMPUBBCP","canonical_record":{"source":{"id":"2506.17865","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2025-06-22T01:21:03Z","cross_cats_sorted":["cs.ET"],"title_canon_sha256":"94b18c44e59178c67171c3d71b8b11312fb2c335cb7c093a456b9a35fa7aada8","abstract_canon_sha256":"fe0e13f7c665fea5ac989bcbe817825600c45509cd80cc62cc86bf4a1eae017b"},"schema_version":"1.0"},"canonical_sha256":"231f40844f0deba0b1cc4cabe425a4840117419b513f0612293e4ffb29a06895","source":{"kind":"arxiv","id":"2506.17865","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"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:EMPUBBCPBXV2BMOMJSV6IJNEQQ","target":"record","payload":{"canonical_record":{"source":{"id":"2506.17865","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2025-06-22T01:21:03Z","cross_cats_sorted":["cs.ET"],"title_canon_sha256":"94b18c44e59178c67171c3d71b8b11312fb2c335cb7c093a456b9a35fa7aada8","abstract_canon_sha256":"fe0e13f7c665fea5ac989bcbe817825600c45509cd80cc62cc86bf4a1eae017b"},"schema_version":"1.0"},"canonical_sha256":"231f40844f0deba0b1cc4cabe425a4840117419b513f0612293e4ffb29a06895","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:25:24.597651Z","signature_b64":"8+gUrnZCl/Fhdlm9RsJednizPIj146TndZRlB3QEmhF0NBYYtR8dIQwB5ov77ld5whj5HwgAtBvVwG7GR070CQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"231f40844f0deba0b1cc4cabe425a4840117419b513f0612293e4ffb29a06895","last_reissued_at":"2026-07-05T11:25:24.597149Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:25:24.597149Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2506.17865","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-05T11:25:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"BBlA8vX6nlZCvnS9b43OlaXW+s1SSuvIT1+tbR+sbz7l2+wLVeDKPh8RTjvMGmAhOoGSQpiFt75hcx/LcZbhDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T00:17:16.716430Z"},"content_sha256":"4c6f2b8539e493be550d639932f76aeb25b4f91596b9e86736d2025eeaf6159b","schema_version":"1.0","event_id":"sha256:4c6f2b8539e493be550d639932f76aeb25b4f91596b9e86736d2025eeaf6159b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:EMPUBBCPBXV2BMOMJSV6IJNEQQ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"LASA: Enhancing SoC Security Verification with LLM-Aided Property Generation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.ET"],"primary_cat":"cs.CR","authors_text":"Aritra Dasgupta, Dinesh Reddy Ankireddy, Sandip Ray, Sudipta Paria, Swarup Bhunia","submitted_at":"2025-06-22T01:21:03Z","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"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.17865","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/2506.17865/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-05T11:25:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"OqqiaAnNw3nd4Eaept8lkNa7tkkeu8bFzWmMmmHoLzKjskVohAlk6JWOGdlJ7d0mYQUO3N2AEz6d++BNuuNVDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T00:17:16.716924Z"},"content_sha256":"3e47a808fd968d40882c91ad813f68174746e0612cf819fa9fe311bfdfa2dfcc","schema_version":"1.0","event_id":"sha256:3e47a808fd968d40882c91ad813f68174746e0612cf819fa9fe311bfdfa2dfcc"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/EMPUBBCPBXV2BMOMJSV6IJNEQQ/bundle.json","state_url":"https://pith.science/pith/EMPUBBCPBXV2BMOMJSV6IJNEQQ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/EMPUBBCPBXV2BMOMJSV6IJNEQQ/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-08T00:17:16Z","links":{"resolver":"https://pith.science/pith/EMPUBBCPBXV2BMOMJSV6IJNEQQ","bundle":"https://pith.science/pith/EMPUBBCPBXV2BMOMJSV6IJNEQQ/bundle.json","state":"https://pith.science/pith/EMPUBBCPBXV2BMOMJSV6IJNEQQ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/EMPUBBCPBXV2BMOMJSV6IJNEQQ/bundle.json"},"state":{"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"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PdKc0b44g/RkcykDhea+moVkUIG1S+t5QmCTY55a4/LPdlULljtHxuHvonL7/htcXGopW87rU4y/iLkkWHKoDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-08T00:17:16.720535Z","bundle_sha256":"e6a09b7d7240539380c2f23d1ca45a51d0dfffa728325d846220b232f3c69d7a"}}