{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:TDYHMU6CMFJDHA32P2VIKDSSSH","short_pith_number":"pith:TDYHMU6C","canonical_record":{"source":{"id":"2502.10194","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2025-02-14T14:36:47Z","cross_cats_sorted":["cs.AR"],"title_canon_sha256":"ccc19556b2c3c6bf5b802c3cf94eea1709f56fc2a486d26e09ebff70629d9aee","abstract_canon_sha256":"234333e57e177a6b9337ae26b29d8920459c8f0315da58db593f8462381d78bf"},"schema_version":"1.0"},"canonical_sha256":"98f07653c2615233837a7eaa850e5291c433996446f3c2391c0a884b81f544f5","source":{"kind":"arxiv","id":"2502.10194","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2502.10194","created_at":"2026-07-05T10:14:29Z"},{"alias_kind":"arxiv_version","alias_value":"2502.10194v1","created_at":"2026-07-05T10:14:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.10194","created_at":"2026-07-05T10:14:29Z"},{"alias_kind":"pith_short_12","alias_value":"TDYHMU6CMFJD","created_at":"2026-07-05T10:14:29Z"},{"alias_kind":"pith_short_16","alias_value":"TDYHMU6CMFJDHA32","created_at":"2026-07-05T10:14:29Z"},{"alias_kind":"pith_short_8","alias_value":"TDYHMU6C","created_at":"2026-07-05T10:14:29Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:TDYHMU6CMFJDHA32P2VIKDSSSH","target":"record","payload":{"canonical_record":{"source":{"id":"2502.10194","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2025-02-14T14:36:47Z","cross_cats_sorted":["cs.AR"],"title_canon_sha256":"ccc19556b2c3c6bf5b802c3cf94eea1709f56fc2a486d26e09ebff70629d9aee","abstract_canon_sha256":"234333e57e177a6b9337ae26b29d8920459c8f0315da58db593f8462381d78bf"},"schema_version":"1.0"},"canonical_sha256":"98f07653c2615233837a7eaa850e5291c433996446f3c2391c0a884b81f544f5","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:14:29.816216Z","signature_b64":"jSM3H+uh32RWqHddguZkc0diY4YBNRoNeHJQUCECiw8lgbJ4S7oWLJL6HlkGdRnb2HiGYi97hZqaGHARL+48AQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"98f07653c2615233837a7eaa850e5291c433996446f3c2391c0a884b81f544f5","last_reissued_at":"2026-07-05T10:14:29.815713Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:14:29.815713Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2502.10194","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-05T10:14:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rqgdWtY3shvqpVHsT6o3uDhZZ926AriQvSwFOAuVrk+OUraRnMHC2k1MCLxeblI8Mx4cDSyIk+GEDSjemJXCBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-16T11:07:36.084412Z"},"content_sha256":"f7a0e1cb328c33a9e960aae171e5054d5d938b919a329c3ebf9aaf982508fcca","schema_version":"1.0","event_id":"sha256:f7a0e1cb328c33a9e960aae171e5054d5d938b919a329c3ebf9aaf982508fcca"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:TDYHMU6CMFJDHA32P2VIKDSSSH","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Translating Common Security Assertions Across Processor Designs: A RISC-V Case Study","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AR"],"primary_cat":"cs.CR","authors_text":"Sharjeel Imtiaz, Tara Ghasempouri, Uljana Reinsalu","submitted_at":"2025-02-14T14:36:47Z","abstract_excerpt":"RISC-V is gaining popularity for its adaptability and cost-effectiveness in processor design. With the increasing adoption of RISC-V, the importance of implementing robust security verification has grown significantly. In the state of the art, various approaches have been developed to strengthen the security verification process. Among these methods, assertion-based security verification has proven to be a promising approach for ensuring that security features are effectively met. To this end, some approaches manually define security assertions for processor designs; however, these manual meth"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.10194","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/2502.10194/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-05T10:14:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wAxBDAh3zwOta6E1bEd26/lnU3aOQSKG4/hOhdjiiM3lemJ6kYHSmsOhfQNGyiuKkOBOiicqwdorJ4WmyyBoCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-16T11:07:36.084797Z"},"content_sha256":"6296036974522137d59dc8f190d941370a8ed0e63c12a0b3b84a4eb937bb75e5","schema_version":"1.0","event_id":"sha256:6296036974522137d59dc8f190d941370a8ed0e63c12a0b3b84a4eb937bb75e5"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/TDYHMU6CMFJDHA32P2VIKDSSSH/bundle.json","state_url":"https://pith.science/pith/TDYHMU6CMFJDHA32P2VIKDSSSH/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/TDYHMU6CMFJDHA32P2VIKDSSSH/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-07-16T11:07:36Z","links":{"resolver":"https://pith.science/pith/TDYHMU6CMFJDHA32P2VIKDSSSH","bundle":"https://pith.science/pith/TDYHMU6CMFJDHA32P2VIKDSSSH/bundle.json","state":"https://pith.science/pith/TDYHMU6CMFJDHA32P2VIKDSSSH/state.json","well_known_bundle":"https://pith.science/.well-known/pith/TDYHMU6CMFJDHA32P2VIKDSSSH/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:TDYHMU6CMFJDHA32P2VIKDSSSH","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":"234333e57e177a6b9337ae26b29d8920459c8f0315da58db593f8462381d78bf","cross_cats_sorted":["cs.AR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2025-02-14T14:36:47Z","title_canon_sha256":"ccc19556b2c3c6bf5b802c3cf94eea1709f56fc2a486d26e09ebff70629d9aee"},"schema_version":"1.0","source":{"id":"2502.10194","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2502.10194","created_at":"2026-07-05T10:14:29Z"},{"alias_kind":"arxiv_version","alias_value":"2502.10194v1","created_at":"2026-07-05T10:14:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.10194","created_at":"2026-07-05T10:14:29Z"},{"alias_kind":"pith_short_12","alias_value":"TDYHMU6CMFJD","created_at":"2026-07-05T10:14:29Z"},{"alias_kind":"pith_short_16","alias_value":"TDYHMU6CMFJDHA32","created_at":"2026-07-05T10:14:29Z"},{"alias_kind":"pith_short_8","alias_value":"TDYHMU6C","created_at":"2026-07-05T10:14:29Z"}],"graph_snapshots":[{"event_id":"sha256:6296036974522137d59dc8f190d941370a8ed0e63c12a0b3b84a4eb937bb75e5","target":"graph","created_at":"2026-07-05T10:14:29Z","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/2502.10194/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"RISC-V is gaining popularity for its adaptability and cost-effectiveness in processor design. With the increasing adoption of RISC-V, the importance of implementing robust security verification has grown significantly. In the state of the art, various approaches have been developed to strengthen the security verification process. Among these methods, assertion-based security verification has proven to be a promising approach for ensuring that security features are effectively met. To this end, some approaches manually define security assertions for processor designs; however, these manual meth","authors_text":"Sharjeel Imtiaz, Tara Ghasempouri, Uljana Reinsalu","cross_cats":["cs.AR"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2025-02-14T14:36:47Z","title":"Translating Common Security Assertions Across Processor Designs: A RISC-V Case Study"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.10194","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:f7a0e1cb328c33a9e960aae171e5054d5d938b919a329c3ebf9aaf982508fcca","target":"record","created_at":"2026-07-05T10:14:29Z","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":"234333e57e177a6b9337ae26b29d8920459c8f0315da58db593f8462381d78bf","cross_cats_sorted":["cs.AR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2025-02-14T14:36:47Z","title_canon_sha256":"ccc19556b2c3c6bf5b802c3cf94eea1709f56fc2a486d26e09ebff70629d9aee"},"schema_version":"1.0","source":{"id":"2502.10194","kind":"arxiv","version":1}},"canonical_sha256":"98f07653c2615233837a7eaa850e5291c433996446f3c2391c0a884b81f544f5","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"98f07653c2615233837a7eaa850e5291c433996446f3c2391c0a884b81f544f5","first_computed_at":"2026-07-05T10:14:29.815713Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:14:29.815713Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"jSM3H+uh32RWqHddguZkc0diY4YBNRoNeHJQUCECiw8lgbJ4S7oWLJL6HlkGdRnb2HiGYi97hZqaGHARL+48AQ==","signature_status":"signed_v1","signed_at":"2026-07-05T10:14:29.816216Z","signed_message":"canonical_sha256_bytes"},"source_id":"2502.10194","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f7a0e1cb328c33a9e960aae171e5054d5d938b919a329c3ebf9aaf982508fcca","sha256:6296036974522137d59dc8f190d941370a8ed0e63c12a0b3b84a4eb937bb75e5"],"state_sha256":"9f5a6fe569cc4e88433145466ef01f0e6e03c9e56cecb2bda20e823f5626871c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"48uglHaFI/C5wsAEoFsvMX8RhujFSA5tFtnLKXIzpPMKHt63LBGqt2GNbhvDK62XDKUTnYMFZ+3so99n9eonCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-16T11:07:36.087350Z","bundle_sha256":"f6a249c7fb3fa26eb376e5022d34e92c2c66b241f9cd6655bc569011a6f1ffaf"}}