{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:WN7WANUOGDXWITGLNK5JC3C5XG","short_pith_number":"pith:WN7WANUO","canonical_record":{"source":{"id":"1910.00949","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2019-10-01T13:06:38Z","cross_cats_sorted":[],"title_canon_sha256":"670be28f8abb12a0f8b737e4d1f01bf01b1b7f59a1a403ddc41c31f4ec233851","abstract_canon_sha256":"6c2ee7765831808fd515733a313d5806c5a166a98a77b8f64b2981f79def228a"},"schema_version":"1.0"},"canonical_sha256":"b37f60368e30ef644ccb6aba916c5db98d56ecc03ab5a601e157495033236a2f","source":{"kind":"arxiv","id":"1910.00949","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1910.00949","created_at":"2026-07-05T00:09:20Z"},{"alias_kind":"arxiv_version","alias_value":"1910.00949v1","created_at":"2026-07-05T00:09:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1910.00949","created_at":"2026-07-05T00:09:20Z"},{"alias_kind":"pith_short_12","alias_value":"WN7WANUOGDXW","created_at":"2026-07-05T00:09:20Z"},{"alias_kind":"pith_short_16","alias_value":"WN7WANUOGDXWITGL","created_at":"2026-07-05T00:09:20Z"},{"alias_kind":"pith_short_8","alias_value":"WN7WANUO","created_at":"2026-07-05T00:09:20Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:WN7WANUOGDXWITGLNK5JC3C5XG","target":"record","payload":{"canonical_record":{"source":{"id":"1910.00949","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2019-10-01T13:06:38Z","cross_cats_sorted":[],"title_canon_sha256":"670be28f8abb12a0f8b737e4d1f01bf01b1b7f59a1a403ddc41c31f4ec233851","abstract_canon_sha256":"6c2ee7765831808fd515733a313d5806c5a166a98a77b8f64b2981f79def228a"},"schema_version":"1.0"},"canonical_sha256":"b37f60368e30ef644ccb6aba916c5db98d56ecc03ab5a601e157495033236a2f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T00:09:20.918717Z","signature_b64":"C5LnQzBSiJp04dn5nee0c1fp/9TWhZu/gfyRVhL6A12YLamzhpao3Pnn7Wy34CFFL2mvCkxV5KmhNNLlHie3Bg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b37f60368e30ef644ccb6aba916c5db98d56ecc03ab5a601e157495033236a2f","last_reissued_at":"2026-07-05T00:09:20.918323Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T00:09:20.918323Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1910.00949","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-05T00:09:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4V5FMfr+mf7bzzFUU4vabb7U21JsYVHgu3zn7qS9CTZj7Ed0ACMQYg2xg7nocl+MvzD2uxhn/wSyVm+CkLxtCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-05T15:47:50.999978Z"},"content_sha256":"8665f4db0b318cc694d98161ea7fa25c70e083133acc3dc99e36a4587631e610","schema_version":"1.0","event_id":"sha256:8665f4db0b318cc694d98161ea7fa25c70e083133acc3dc99e36a4587631e610"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:WN7WANUOGDXWITGLNK5JC3C5XG","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Stealthy Opaque Predicates in Hardware -- Obfuscating Constant Expressions at Negligible Overhead","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Christof Paar, Max Hoffmann","submitted_at":"2019-10-01T13:06:38Z","abstract_excerpt":"Opaque predicates are a well-established fundamental building block for software obfuscation. Simplified, an opaque predicate implements an expression that provides constant Boolean output, but appears to have dynamic behavior for static analysis. Even though there has been extensive research regarding opaque predicates in software, techniques for opaque predicates in hardware are barely explored. In this work, we propose a novel technique to instantiate opaque predicates in hardware, such that they (1) are resource-efficient, and (2) are challenging to reverse engineer even with dynamic analy"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1910.00949","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/1910.00949/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-05T00:09:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Yn7uuHxuqoDS8soH8ieiVqWLYEPjq8pilUux3bpeBqmoBarldj0w92cE73TYSA72VK6aa5yz8GrUqBgQ/5rHAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-05T15:47:51.000623Z"},"content_sha256":"f25743f78996e39bc8f99563c2ca9dc4530942709736880c6b0470f0bb1559d6","schema_version":"1.0","event_id":"sha256:f25743f78996e39bc8f99563c2ca9dc4530942709736880c6b0470f0bb1559d6"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/WN7WANUOGDXWITGLNK5JC3C5XG/bundle.json","state_url":"https://pith.science/pith/WN7WANUOGDXWITGLNK5JC3C5XG/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/WN7WANUOGDXWITGLNK5JC3C5XG/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-05T15:47:51Z","links":{"resolver":"https://pith.science/pith/WN7WANUOGDXWITGLNK5JC3C5XG","bundle":"https://pith.science/pith/WN7WANUOGDXWITGLNK5JC3C5XG/bundle.json","state":"https://pith.science/pith/WN7WANUOGDXWITGLNK5JC3C5XG/state.json","well_known_bundle":"https://pith.science/.well-known/pith/WN7WANUOGDXWITGLNK5JC3C5XG/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:WN7WANUOGDXWITGLNK5JC3C5XG","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":"6c2ee7765831808fd515733a313d5806c5a166a98a77b8f64b2981f79def228a","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2019-10-01T13:06:38Z","title_canon_sha256":"670be28f8abb12a0f8b737e4d1f01bf01b1b7f59a1a403ddc41c31f4ec233851"},"schema_version":"1.0","source":{"id":"1910.00949","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1910.00949","created_at":"2026-07-05T00:09:20Z"},{"alias_kind":"arxiv_version","alias_value":"1910.00949v1","created_at":"2026-07-05T00:09:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1910.00949","created_at":"2026-07-05T00:09:20Z"},{"alias_kind":"pith_short_12","alias_value":"WN7WANUOGDXW","created_at":"2026-07-05T00:09:20Z"},{"alias_kind":"pith_short_16","alias_value":"WN7WANUOGDXWITGL","created_at":"2026-07-05T00:09:20Z"},{"alias_kind":"pith_short_8","alias_value":"WN7WANUO","created_at":"2026-07-05T00:09:20Z"}],"graph_snapshots":[{"event_id":"sha256:f25743f78996e39bc8f99563c2ca9dc4530942709736880c6b0470f0bb1559d6","target":"graph","created_at":"2026-07-05T00:09:20Z","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/1910.00949/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Opaque predicates are a well-established fundamental building block for software obfuscation. Simplified, an opaque predicate implements an expression that provides constant Boolean output, but appears to have dynamic behavior for static analysis. Even though there has been extensive research regarding opaque predicates in software, techniques for opaque predicates in hardware are barely explored. In this work, we propose a novel technique to instantiate opaque predicates in hardware, such that they (1) are resource-efficient, and (2) are challenging to reverse engineer even with dynamic analy","authors_text":"Christof Paar, Max Hoffmann","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2019-10-01T13:06:38Z","title":"Stealthy Opaque Predicates in Hardware -- Obfuscating Constant Expressions at Negligible Overhead"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1910.00949","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:8665f4db0b318cc694d98161ea7fa25c70e083133acc3dc99e36a4587631e610","target":"record","created_at":"2026-07-05T00:09:20Z","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":"6c2ee7765831808fd515733a313d5806c5a166a98a77b8f64b2981f79def228a","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2019-10-01T13:06:38Z","title_canon_sha256":"670be28f8abb12a0f8b737e4d1f01bf01b1b7f59a1a403ddc41c31f4ec233851"},"schema_version":"1.0","source":{"id":"1910.00949","kind":"arxiv","version":1}},"canonical_sha256":"b37f60368e30ef644ccb6aba916c5db98d56ecc03ab5a601e157495033236a2f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b37f60368e30ef644ccb6aba916c5db98d56ecc03ab5a601e157495033236a2f","first_computed_at":"2026-07-05T00:09:20.918323Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T00:09:20.918323Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"C5LnQzBSiJp04dn5nee0c1fp/9TWhZu/gfyRVhL6A12YLamzhpao3Pnn7Wy34CFFL2mvCkxV5KmhNNLlHie3Bg==","signature_status":"signed_v1","signed_at":"2026-07-05T00:09:20.918717Z","signed_message":"canonical_sha256_bytes"},"source_id":"1910.00949","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8665f4db0b318cc694d98161ea7fa25c70e083133acc3dc99e36a4587631e610","sha256:f25743f78996e39bc8f99563c2ca9dc4530942709736880c6b0470f0bb1559d6"],"state_sha256":"b0fd5fd526c540579629a43fca219897f98203e26000e21bb1bf5bdd67c10ffa"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XCOLIEOYWMGq3CcftOWYHsQOM7FPUOgg2eR52PS7HIPb8VVe1tchMkWuCaqYiqKPAavBVyOMBo7KXci3DkepAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-05T15:47:51.004708Z","bundle_sha256":"e64ef12251e8bc75cbc467ecdca5a8d762d5913d6ad139c636745122050f06fd"}}