{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:WCEY5Q25GPSVDH7AU6ZX5R5O3R","short_pith_number":"pith:WCEY5Q25","canonical_record":{"source":{"id":"1803.04102","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2018-03-12T03:25:31Z","cross_cats_sorted":[],"title_canon_sha256":"7bdc9cf07a2da2ce7afca6abfdc96b3a49c6b56aa263e0b29b41c29bd21f0763","abstract_canon_sha256":"f592b2a19ddeaac9bc4605502194fd43d688f17a506fa6dede8e0a926827e314"},"schema_version":"1.0"},"canonical_sha256":"b0898ec35d33e5519fe0a7b37ec7aedc6118285ca07bc7d0bad76f56d2bbfa9d","source":{"kind":"arxiv","id":"1803.04102","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1803.04102","created_at":"2026-05-18T00:21:32Z"},{"alias_kind":"arxiv_version","alias_value":"1803.04102v1","created_at":"2026-05-18T00:21:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1803.04102","created_at":"2026-05-18T00:21:32Z"},{"alias_kind":"pith_short_12","alias_value":"WCEY5Q25GPSV","created_at":"2026-05-18T12:32:59Z"},{"alias_kind":"pith_short_16","alias_value":"WCEY5Q25GPSVDH7A","created_at":"2026-05-18T12:32:59Z"},{"alias_kind":"pith_short_8","alias_value":"WCEY5Q25","created_at":"2026-05-18T12:32:59Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:WCEY5Q25GPSVDH7AU6ZX5R5O3R","target":"record","payload":{"canonical_record":{"source":{"id":"1803.04102","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2018-03-12T03:25:31Z","cross_cats_sorted":[],"title_canon_sha256":"7bdc9cf07a2da2ce7afca6abfdc96b3a49c6b56aa263e0b29b41c29bd21f0763","abstract_canon_sha256":"f592b2a19ddeaac9bc4605502194fd43d688f17a506fa6dede8e0a926827e314"},"schema_version":"1.0"},"canonical_sha256":"b0898ec35d33e5519fe0a7b37ec7aedc6118285ca07bc7d0bad76f56d2bbfa9d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:21:32.623548Z","signature_b64":"+DUwgvN0byW70ZDw9Q+ttmnFlxsBfotjAM1tCq2ziMszxNMO82o6djeViJ7/b2G1vykK11e96pLdFWsfTg4nAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b0898ec35d33e5519fe0a7b37ec7aedc6118285ca07bc7d0bad76f56d2bbfa9d","last_reissued_at":"2026-05-18T00:21:32.622908Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:21:32.622908Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1803.04102","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-05-18T00:21:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1KXpJN5eNbIF6G3BNbU3Cte2l3Dq0hk3uZ2zriaZnx7FjzjzgFzf9yRkox4SjWjStl7HPIwLEpINX1CVYpt6DQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T16:00:18.956227Z"},"content_sha256":"c5be2bc2269fd7c61fe9e1de07c4cb639967b0de7e03fd48e88e622968d740d6","schema_version":"1.0","event_id":"sha256:c5be2bc2269fd7c61fe9e1de07c4cb639967b0de7e03fd48e88e622968d740d6"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:WCEY5Q25GPSVDH7AU6ZX5R5O3R","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Hardware Trojan Detection through Information Flow Security Verification","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Adib Nahiyan, Domenic Forte, Gustavo Contreras, Mark Tehranipoor, Mehdi Sadi, Rahul Vittal","submitted_at":"2018-03-12T03:25:31Z","abstract_excerpt":"Semiconductor design houses are increasingly becoming dependent on third party vendors to procure intellectual property (IP) and meet time-to-market constraints. However, these third party IPs cannot be trusted as hardware Trojans can be maliciously inserted into them by untrusted vendors. While different approaches have been proposed to detect Trojans in third party IPs, their limitations have not been extensively studied. In this paper, we analyze the limitations of the state-of-the-art Trojan detection techniques and demonstrate with experimental results how to defeat these detection mechan"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1803.04102","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":""},"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-05-18T00:21:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8OPigUR42h2j3K29xBpOzbai4HRVuJ+r+vp4h+lWqSCDvt5UIrp1BJGTUFemkGWrlpKBV2PJv1mQTTN71eVUDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T16:00:18.956771Z"},"content_sha256":"80d550c923ca6c4f985aad77ef1910002c6d35623e4211f4defe665b7dc9682d","schema_version":"1.0","event_id":"sha256:80d550c923ca6c4f985aad77ef1910002c6d35623e4211f4defe665b7dc9682d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/WCEY5Q25GPSVDH7AU6ZX5R5O3R/bundle.json","state_url":"https://pith.science/pith/WCEY5Q25GPSVDH7AU6ZX5R5O3R/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/WCEY5Q25GPSVDH7AU6ZX5R5O3R/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-05-30T16:00:18Z","links":{"resolver":"https://pith.science/pith/WCEY5Q25GPSVDH7AU6ZX5R5O3R","bundle":"https://pith.science/pith/WCEY5Q25GPSVDH7AU6ZX5R5O3R/bundle.json","state":"https://pith.science/pith/WCEY5Q25GPSVDH7AU6ZX5R5O3R/state.json","well_known_bundle":"https://pith.science/.well-known/pith/WCEY5Q25GPSVDH7AU6ZX5R5O3R/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:WCEY5Q25GPSVDH7AU6ZX5R5O3R","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":"f592b2a19ddeaac9bc4605502194fd43d688f17a506fa6dede8e0a926827e314","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2018-03-12T03:25:31Z","title_canon_sha256":"7bdc9cf07a2da2ce7afca6abfdc96b3a49c6b56aa263e0b29b41c29bd21f0763"},"schema_version":"1.0","source":{"id":"1803.04102","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1803.04102","created_at":"2026-05-18T00:21:32Z"},{"alias_kind":"arxiv_version","alias_value":"1803.04102v1","created_at":"2026-05-18T00:21:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1803.04102","created_at":"2026-05-18T00:21:32Z"},{"alias_kind":"pith_short_12","alias_value":"WCEY5Q25GPSV","created_at":"2026-05-18T12:32:59Z"},{"alias_kind":"pith_short_16","alias_value":"WCEY5Q25GPSVDH7A","created_at":"2026-05-18T12:32:59Z"},{"alias_kind":"pith_short_8","alias_value":"WCEY5Q25","created_at":"2026-05-18T12:32:59Z"}],"graph_snapshots":[{"event_id":"sha256:80d550c923ca6c4f985aad77ef1910002c6d35623e4211f4defe665b7dc9682d","target":"graph","created_at":"2026-05-18T00:21:32Z","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"},"paper":{"abstract_excerpt":"Semiconductor design houses are increasingly becoming dependent on third party vendors to procure intellectual property (IP) and meet time-to-market constraints. However, these third party IPs cannot be trusted as hardware Trojans can be maliciously inserted into them by untrusted vendors. While different approaches have been proposed to detect Trojans in third party IPs, their limitations have not been extensively studied. In this paper, we analyze the limitations of the state-of-the-art Trojan detection techniques and demonstrate with experimental results how to defeat these detection mechan","authors_text":"Adib Nahiyan, Domenic Forte, Gustavo Contreras, Mark Tehranipoor, Mehdi Sadi, Rahul Vittal","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2018-03-12T03:25:31Z","title":"Hardware Trojan Detection through Information Flow Security Verification"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1803.04102","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:c5be2bc2269fd7c61fe9e1de07c4cb639967b0de7e03fd48e88e622968d740d6","target":"record","created_at":"2026-05-18T00:21:32Z","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":"f592b2a19ddeaac9bc4605502194fd43d688f17a506fa6dede8e0a926827e314","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2018-03-12T03:25:31Z","title_canon_sha256":"7bdc9cf07a2da2ce7afca6abfdc96b3a49c6b56aa263e0b29b41c29bd21f0763"},"schema_version":"1.0","source":{"id":"1803.04102","kind":"arxiv","version":1}},"canonical_sha256":"b0898ec35d33e5519fe0a7b37ec7aedc6118285ca07bc7d0bad76f56d2bbfa9d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b0898ec35d33e5519fe0a7b37ec7aedc6118285ca07bc7d0bad76f56d2bbfa9d","first_computed_at":"2026-05-18T00:21:32.622908Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:21:32.622908Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"+DUwgvN0byW70ZDw9Q+ttmnFlxsBfotjAM1tCq2ziMszxNMO82o6djeViJ7/b2G1vykK11e96pLdFWsfTg4nAw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:21:32.623548Z","signed_message":"canonical_sha256_bytes"},"source_id":"1803.04102","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c5be2bc2269fd7c61fe9e1de07c4cb639967b0de7e03fd48e88e622968d740d6","sha256:80d550c923ca6c4f985aad77ef1910002c6d35623e4211f4defe665b7dc9682d"],"state_sha256":"02bfeee7da502545cc0cfa88b38bee588a15857c7e2f930ea44bb66627676318"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bhhYZvkuBPLXRPWuAPht12c5Ku9Ha3aLPYcaem3kZ/btkRaV1UrjmdW/vQ9w8uAfXgy5qmES8geqvDWgVv2PBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T16:00:18.959868Z","bundle_sha256":"1ed15261c65e5b7f53409ce3db04b634b9f89a5e8fb748067f3fcb9accb2f8e1"}}