{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:ZDA55TZ5RWV7EFSS263Q4A2HOH","short_pith_number":"pith:ZDA55TZ5","canonical_record":{"source":{"id":"2201.01130","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2022-01-04T13:31:09Z","cross_cats_sorted":["cs.AR"],"title_canon_sha256":"ba71500cdd3a8a85d866b0c74da3c2c4c98afc7cb7a754c95febb9ca68c9d2d5","abstract_canon_sha256":"351ced145f9354d4379197f06d4aa89be12417ff47831197fb8eef171a828cdd"},"schema_version":"1.0"},"canonical_sha256":"c8c1decf3d8dabf21652d7b70e034771dcb80063e9eabe4efcac437260d6970d","source":{"kind":"arxiv","id":"2201.01130","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2201.01130","created_at":"2026-07-05T05:36:45Z"},{"alias_kind":"arxiv_version","alias_value":"2201.01130v3","created_at":"2026-07-05T05:36:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2201.01130","created_at":"2026-07-05T05:36:45Z"},{"alias_kind":"pith_short_12","alias_value":"ZDA55TZ5RWV7","created_at":"2026-07-05T05:36:45Z"},{"alias_kind":"pith_short_16","alias_value":"ZDA55TZ5RWV7EFSS","created_at":"2026-07-05T05:36:45Z"},{"alias_kind":"pith_short_8","alias_value":"ZDA55TZ5","created_at":"2026-07-05T05:36:45Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:ZDA55TZ5RWV7EFSS263Q4A2HOH","target":"record","payload":{"canonical_record":{"source":{"id":"2201.01130","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2022-01-04T13:31:09Z","cross_cats_sorted":["cs.AR"],"title_canon_sha256":"ba71500cdd3a8a85d866b0c74da3c2c4c98afc7cb7a754c95febb9ca68c9d2d5","abstract_canon_sha256":"351ced145f9354d4379197f06d4aa89be12417ff47831197fb8eef171a828cdd"},"schema_version":"1.0"},"canonical_sha256":"c8c1decf3d8dabf21652d7b70e034771dcb80063e9eabe4efcac437260d6970d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T05:36:45.884913Z","signature_b64":"oDUS1dA/YEztI9q6G+nLPyob3kEHwN3hkGlNfJBlGy4BxXlBqNfeqSGUAGzhiaNPU680ac3e92XaX8dcC+CMCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c8c1decf3d8dabf21652d7b70e034771dcb80063e9eabe4efcac437260d6970d","last_reissued_at":"2026-07-05T05:36:45.884581Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T05:36:45.884581Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2201.01130","source_version":3,"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-05T05:36:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/f8DEuikjUF7iI/fg2kjOxGIF8L10Hr1YdDWphO6qi0cl1YlbpLM06o5Ec8taEQMXzgdXpMDpquOvHfSNCETAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-26T02:00:07.917272Z"},"content_sha256":"ff19d74407836929c56f2ca06e018868e828b599a03663c855a7db5a91565f5a","schema_version":"1.0","event_id":"sha256:ff19d74407836929c56f2ca06e018868e828b599a03663c855a7db5a91565f5a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:ZDA55TZ5RWV7EFSS263Q4A2HOH","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Reusing Verification Assertions as Security Checkers for Hardware Trojan Detection","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AR"],"primary_cat":"cs.CR","authors_text":"Mohammad Eslami, Samuel Pagliarini, Tara Ghasempouri","submitted_at":"2022-01-04T13:31:09Z","abstract_excerpt":"Globalization in the semiconductor industry enables fabless design houses to reduce their costs, save time, and make use of newer technologies. However, the offshoring of Integrated Circuit (IC) fabrication has negative sides, including threats such as Hardware Trojans (HTs) - a type of malicious logic that is not trivial to detect. One aspect of IC design that is not affected by globalization is the need for thorough verification. Verification engineers devise complex assets to make sure designs are bug-free, including assertions. This knowledge is typically not reused once verification is ov"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2201.01130","kind":"arxiv","version":3},"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/2201.01130/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-05T05:36:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"a6PtP732yTJ/kgksYCzUAddGDcE3b4TDlH84/iiWHtZ/txeMNyNXNIVqMszcO1VY71JnX1BogV1iPbjr3aiZCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-26T02:00:07.917659Z"},"content_sha256":"acd98207b946523176c70c707509f249762afab1ace5f4c47a368861f034c38d","schema_version":"1.0","event_id":"sha256:acd98207b946523176c70c707509f249762afab1ace5f4c47a368861f034c38d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ZDA55TZ5RWV7EFSS263Q4A2HOH/bundle.json","state_url":"https://pith.science/pith/ZDA55TZ5RWV7EFSS263Q4A2HOH/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ZDA55TZ5RWV7EFSS263Q4A2HOH/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-26T02:00:07Z","links":{"resolver":"https://pith.science/pith/ZDA55TZ5RWV7EFSS263Q4A2HOH","bundle":"https://pith.science/pith/ZDA55TZ5RWV7EFSS263Q4A2HOH/bundle.json","state":"https://pith.science/pith/ZDA55TZ5RWV7EFSS263Q4A2HOH/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ZDA55TZ5RWV7EFSS263Q4A2HOH/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:ZDA55TZ5RWV7EFSS263Q4A2HOH","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":"351ced145f9354d4379197f06d4aa89be12417ff47831197fb8eef171a828cdd","cross_cats_sorted":["cs.AR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2022-01-04T13:31:09Z","title_canon_sha256":"ba71500cdd3a8a85d866b0c74da3c2c4c98afc7cb7a754c95febb9ca68c9d2d5"},"schema_version":"1.0","source":{"id":"2201.01130","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2201.01130","created_at":"2026-07-05T05:36:45Z"},{"alias_kind":"arxiv_version","alias_value":"2201.01130v3","created_at":"2026-07-05T05:36:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2201.01130","created_at":"2026-07-05T05:36:45Z"},{"alias_kind":"pith_short_12","alias_value":"ZDA55TZ5RWV7","created_at":"2026-07-05T05:36:45Z"},{"alias_kind":"pith_short_16","alias_value":"ZDA55TZ5RWV7EFSS","created_at":"2026-07-05T05:36:45Z"},{"alias_kind":"pith_short_8","alias_value":"ZDA55TZ5","created_at":"2026-07-05T05:36:45Z"}],"graph_snapshots":[{"event_id":"sha256:acd98207b946523176c70c707509f249762afab1ace5f4c47a368861f034c38d","target":"graph","created_at":"2026-07-05T05:36:45Z","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/2201.01130/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Globalization in the semiconductor industry enables fabless design houses to reduce their costs, save time, and make use of newer technologies. However, the offshoring of Integrated Circuit (IC) fabrication has negative sides, including threats such as Hardware Trojans (HTs) - a type of malicious logic that is not trivial to detect. One aspect of IC design that is not affected by globalization is the need for thorough verification. Verification engineers devise complex assets to make sure designs are bug-free, including assertions. This knowledge is typically not reused once verification is ov","authors_text":"Mohammad Eslami, Samuel Pagliarini, Tara Ghasempouri","cross_cats":["cs.AR"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2022-01-04T13:31:09Z","title":"Reusing Verification Assertions as Security Checkers for Hardware Trojan Detection"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2201.01130","kind":"arxiv","version":3},"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:ff19d74407836929c56f2ca06e018868e828b599a03663c855a7db5a91565f5a","target":"record","created_at":"2026-07-05T05:36:45Z","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":"351ced145f9354d4379197f06d4aa89be12417ff47831197fb8eef171a828cdd","cross_cats_sorted":["cs.AR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2022-01-04T13:31:09Z","title_canon_sha256":"ba71500cdd3a8a85d866b0c74da3c2c4c98afc7cb7a754c95febb9ca68c9d2d5"},"schema_version":"1.0","source":{"id":"2201.01130","kind":"arxiv","version":3}},"canonical_sha256":"c8c1decf3d8dabf21652d7b70e034771dcb80063e9eabe4efcac437260d6970d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c8c1decf3d8dabf21652d7b70e034771dcb80063e9eabe4efcac437260d6970d","first_computed_at":"2026-07-05T05:36:45.884581Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T05:36:45.884581Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"oDUS1dA/YEztI9q6G+nLPyob3kEHwN3hkGlNfJBlGy4BxXlBqNfeqSGUAGzhiaNPU680ac3e92XaX8dcC+CMCA==","signature_status":"signed_v1","signed_at":"2026-07-05T05:36:45.884913Z","signed_message":"canonical_sha256_bytes"},"source_id":"2201.01130","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ff19d74407836929c56f2ca06e018868e828b599a03663c855a7db5a91565f5a","sha256:acd98207b946523176c70c707509f249762afab1ace5f4c47a368861f034c38d"],"state_sha256":"ad50e44a992fe076af8b262719bedacd2d28772c6563b48ccdabd457fa126085"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Qmirhsei7G7RBqFbSw7+GJyzJ9zYbBKaEyS0Of6kMSSe/pbsmTnstjsxK1DtiVvZgGa95r9cgmfL0Lhzz4ioBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-26T02:00:07.920208Z","bundle_sha256":"0054b56805d18d6f93cdcc463be21ed969cdbd13a7bf5ddf5cc9b8c57fcf4d88"}}