{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:N7LVV6JVSE5M2633SJZUFKYFJB","short_pith_number":"pith:N7LVV6JV","canonical_record":{"source":{"id":"1910.00350","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2019-10-01T12:50:25Z","cross_cats_sorted":[],"title_canon_sha256":"7200ad51ae8750734b9ca14cceccaa015d8b4adb49a4b8b87928f3a0f00fd6cf","abstract_canon_sha256":"1be0f8e2be9ba5cd7b952e447f0dc311ac66ba18528ab7f3becfdb514758ce4c"},"schema_version":"1.0"},"canonical_sha256":"6fd75af935913acd7b7b927342ab0548552d74cab965b77314567eaf39f14dff","source":{"kind":"arxiv","id":"1910.00350","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1910.00350","created_at":"2026-07-05T00:08:45Z"},{"alias_kind":"arxiv_version","alias_value":"1910.00350v1","created_at":"2026-07-05T00:08:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1910.00350","created_at":"2026-07-05T00:08:45Z"},{"alias_kind":"pith_short_12","alias_value":"N7LVV6JVSE5M","created_at":"2026-07-05T00:08:45Z"},{"alias_kind":"pith_short_16","alias_value":"N7LVV6JVSE5M2633","created_at":"2026-07-05T00:08:45Z"},{"alias_kind":"pith_short_8","alias_value":"N7LVV6JV","created_at":"2026-07-05T00:08:45Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:N7LVV6JVSE5M2633SJZUFKYFJB","target":"record","payload":{"canonical_record":{"source":{"id":"1910.00350","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2019-10-01T12:50:25Z","cross_cats_sorted":[],"title_canon_sha256":"7200ad51ae8750734b9ca14cceccaa015d8b4adb49a4b8b87928f3a0f00fd6cf","abstract_canon_sha256":"1be0f8e2be9ba5cd7b952e447f0dc311ac66ba18528ab7f3becfdb514758ce4c"},"schema_version":"1.0"},"canonical_sha256":"6fd75af935913acd7b7b927342ab0548552d74cab965b77314567eaf39f14dff","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T00:08:45.064757Z","signature_b64":"hawL4qsXgKAYQlYal8cn9l2aCnMUMeR0FfZkfoeS4CnMwxYDu97lgtQqz+VWo6lwjcW+42G5Mne8nhopFI6qBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6fd75af935913acd7b7b927342ab0548552d74cab965b77314567eaf39f14dff","last_reissued_at":"2026-07-05T00:08:45.064361Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T00:08:45.064361Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1910.00350","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:08:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/j6j89mReVfh0Obw5sKFt1s+mBzPwpGVKxN4ovi092vw+8dHGPj+En0kq93JudT6PcGPJy4985N37J/QRZkHBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-05T09:25:46.190748Z"},"content_sha256":"a5e3aecf5d4f8e94e61a791cb52aee76f24a40ae075cbd5059a96bd139fdcaf5","schema_version":"1.0","event_id":"sha256:a5e3aecf5d4f8e94e61a791cb52aee76f24a40ae075cbd5059a96bd139fdcaf5"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:N7LVV6JVSE5M2633SJZUFKYFJB","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Highway to HAL: Open-Sourcing the First Extendable Gate-Level Netlist Reverse Engineering Framework","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Adrian Drees, Christof Paar, Maik Ender, Marc Fyrbiak, Max Hoffmann, Nils Albartus, Sebastian Maa{\\ss}en, Sebastian Wallat, Steffen Becker","submitted_at":"2019-10-01T12:50:25Z","abstract_excerpt":"Since hardware oftentimes serves as the root of trust in our modern interconnected world, malicious hardware manipulations constitute a ubiquitous threat in the context of the Internet of Things (IoT). Hardware reverse engineering is a prevalent technique to detect such manipulations.\n  Over the last years, an active research community has significantly advanced the field of hardware reverse engineering. Notably, many open research questions regarding the extraction of functionally correct netlists from Field Programmable Gate Arrays (FPGAs) or Application Specific Integrated Circuits (ASICs) "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1910.00350","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.00350/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:08:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Nf5MGgcqQi2by+4sXgfGJ5s8nlmwPVT4xMC4RUjs3iudJnRqez1yXHKoVnkJa/nx37kkZd4B46dndtOp873IBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-05T09:25:46.191110Z"},"content_sha256":"fdc196715972ecc8a5ec6afa7e60402904402b67e8f5df927918721f42de6f06","schema_version":"1.0","event_id":"sha256:fdc196715972ecc8a5ec6afa7e60402904402b67e8f5df927918721f42de6f06"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/N7LVV6JVSE5M2633SJZUFKYFJB/bundle.json","state_url":"https://pith.science/pith/N7LVV6JVSE5M2633SJZUFKYFJB/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/N7LVV6JVSE5M2633SJZUFKYFJB/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-05T09:25:46Z","links":{"resolver":"https://pith.science/pith/N7LVV6JVSE5M2633SJZUFKYFJB","bundle":"https://pith.science/pith/N7LVV6JVSE5M2633SJZUFKYFJB/bundle.json","state":"https://pith.science/pith/N7LVV6JVSE5M2633SJZUFKYFJB/state.json","well_known_bundle":"https://pith.science/.well-known/pith/N7LVV6JVSE5M2633SJZUFKYFJB/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:N7LVV6JVSE5M2633SJZUFKYFJB","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":"1be0f8e2be9ba5cd7b952e447f0dc311ac66ba18528ab7f3becfdb514758ce4c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2019-10-01T12:50:25Z","title_canon_sha256":"7200ad51ae8750734b9ca14cceccaa015d8b4adb49a4b8b87928f3a0f00fd6cf"},"schema_version":"1.0","source":{"id":"1910.00350","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1910.00350","created_at":"2026-07-05T00:08:45Z"},{"alias_kind":"arxiv_version","alias_value":"1910.00350v1","created_at":"2026-07-05T00:08:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1910.00350","created_at":"2026-07-05T00:08:45Z"},{"alias_kind":"pith_short_12","alias_value":"N7LVV6JVSE5M","created_at":"2026-07-05T00:08:45Z"},{"alias_kind":"pith_short_16","alias_value":"N7LVV6JVSE5M2633","created_at":"2026-07-05T00:08:45Z"},{"alias_kind":"pith_short_8","alias_value":"N7LVV6JV","created_at":"2026-07-05T00:08:45Z"}],"graph_snapshots":[{"event_id":"sha256:fdc196715972ecc8a5ec6afa7e60402904402b67e8f5df927918721f42de6f06","target":"graph","created_at":"2026-07-05T00:08: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/1910.00350/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Since hardware oftentimes serves as the root of trust in our modern interconnected world, malicious hardware manipulations constitute a ubiquitous threat in the context of the Internet of Things (IoT). Hardware reverse engineering is a prevalent technique to detect such manipulations.\n  Over the last years, an active research community has significantly advanced the field of hardware reverse engineering. Notably, many open research questions regarding the extraction of functionally correct netlists from Field Programmable Gate Arrays (FPGAs) or Application Specific Integrated Circuits (ASICs) ","authors_text":"Adrian Drees, Christof Paar, Maik Ender, Marc Fyrbiak, Max Hoffmann, Nils Albartus, Sebastian Maa{\\ss}en, Sebastian Wallat, Steffen Becker","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2019-10-01T12:50:25Z","title":"Highway to HAL: Open-Sourcing the First Extendable Gate-Level Netlist Reverse Engineering Framework"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1910.00350","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:a5e3aecf5d4f8e94e61a791cb52aee76f24a40ae075cbd5059a96bd139fdcaf5","target":"record","created_at":"2026-07-05T00:08: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":"1be0f8e2be9ba5cd7b952e447f0dc311ac66ba18528ab7f3becfdb514758ce4c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2019-10-01T12:50:25Z","title_canon_sha256":"7200ad51ae8750734b9ca14cceccaa015d8b4adb49a4b8b87928f3a0f00fd6cf"},"schema_version":"1.0","source":{"id":"1910.00350","kind":"arxiv","version":1}},"canonical_sha256":"6fd75af935913acd7b7b927342ab0548552d74cab965b77314567eaf39f14dff","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6fd75af935913acd7b7b927342ab0548552d74cab965b77314567eaf39f14dff","first_computed_at":"2026-07-05T00:08:45.064361Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T00:08:45.064361Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"hawL4qsXgKAYQlYal8cn9l2aCnMUMeR0FfZkfoeS4CnMwxYDu97lgtQqz+VWo6lwjcW+42G5Mne8nhopFI6qBg==","signature_status":"signed_v1","signed_at":"2026-07-05T00:08:45.064757Z","signed_message":"canonical_sha256_bytes"},"source_id":"1910.00350","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a5e3aecf5d4f8e94e61a791cb52aee76f24a40ae075cbd5059a96bd139fdcaf5","sha256:fdc196715972ecc8a5ec6afa7e60402904402b67e8f5df927918721f42de6f06"],"state_sha256":"4d7bd9be409e7e282c6e1801aa82953ae0771f5d1fbaa9f14b2deeeaf3340fa7"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ulBIxAGDp1Y3iybdPFBbepxGdG8hzkYwgFCswFugLKwG3ddd7FnJuMvFylLJAqCRINRdRg5zzfXS8AHl7CS5BA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-05T09:25:46.193279Z","bundle_sha256":"ff1b1008dd043c34b60d157f371aed20485aaabc90e80a3a619641c3ea03e5a8"}}