{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:AN6NBIR7NZYEMME7O4PTBKQE6B","short_pith_number":"pith:AN6NBIR7","canonical_record":{"source":{"id":"1903.10651","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2019-03-26T01:57:25Z","cross_cats_sorted":[],"title_canon_sha256":"210d8ab05e4f1ecd916670ebcb551c44889a3b1540421cf2fdb8ca207fb21871","abstract_canon_sha256":"7b47fb2db9ab5dfd745870eeb9bc4fbfc61766ca1695384c19e28a49336efbaa"},"schema_version":"1.0"},"canonical_sha256":"037cd0a23f6e7046309f771f30aa04f06c21fca5e650af781e2397369069379c","source":{"kind":"arxiv","id":"1903.10651","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1903.10651","created_at":"2026-05-17T23:50:18Z"},{"alias_kind":"arxiv_version","alias_value":"1903.10651v1","created_at":"2026-05-17T23:50:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1903.10651","created_at":"2026-05-17T23:50:18Z"},{"alias_kind":"pith_short_12","alias_value":"AN6NBIR7NZYE","created_at":"2026-05-18T12:33:12Z"},{"alias_kind":"pith_short_16","alias_value":"AN6NBIR7NZYEMME7","created_at":"2026-05-18T12:33:12Z"},{"alias_kind":"pith_short_8","alias_value":"AN6NBIR7","created_at":"2026-05-18T12:33:12Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:AN6NBIR7NZYEMME7O4PTBKQE6B","target":"record","payload":{"canonical_record":{"source":{"id":"1903.10651","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2019-03-26T01:57:25Z","cross_cats_sorted":[],"title_canon_sha256":"210d8ab05e4f1ecd916670ebcb551c44889a3b1540421cf2fdb8ca207fb21871","abstract_canon_sha256":"7b47fb2db9ab5dfd745870eeb9bc4fbfc61766ca1695384c19e28a49336efbaa"},"schema_version":"1.0"},"canonical_sha256":"037cd0a23f6e7046309f771f30aa04f06c21fca5e650af781e2397369069379c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:50:18.207366Z","signature_b64":"h1rKNQbIfLwjVKdJPGnjKY5RFfbLtR2IfCRviCIKI2NDOhSkXlR6anTXwcNuOwEmmWBPRmlV0b72vun+10/hAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"037cd0a23f6e7046309f771f30aa04f06c21fca5e650af781e2397369069379c","last_reissued_at":"2026-05-17T23:50:18.206708Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:50:18.206708Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1903.10651","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-17T23:50:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"odxLr4VkgoFRmHaVrYpeeM7rhvsLTq8qP0YC4bf6xVn83VmxtHPt48HPn695DY9nTRt9/SExHOUg0pz0ker5DQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-08T18:48:52.300960Z"},"content_sha256":"1a8e1a4b60948a98aac17c2abbf1fce257215c5154df2f3978a25752aa77a926","schema_version":"1.0","event_id":"sha256:1a8e1a4b60948a98aac17c2abbf1fce257215c5154df2f3978a25752aa77a926"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:AN6NBIR7NZYEMME7O4PTBKQE6B","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Restricting Control Flow During Speculative Execution with Venkman","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Divya Ojha, Jie Zhou, John Criswell, ZhuoJia Shen","submitted_at":"2019-03-26T01:57:25Z","abstract_excerpt":"Side-channel attacks such as Spectre that utilize speculative execution to steal application secrets pose a significant threat to modern computing systems. While program transformations can mitigate some Spectre attacks, more advanced attacks can divert control flow speculatively to bypass these protective instructions, rendering existing defenses useless.\n  In this paper, we present Venkman: a system that employs program transformation to completely thwart Spectre attacks that poison entries in the Branch Target Buffer (BTB) and the Return Stack Buffer (RSB). Venkman transforms code so that a"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1903.10651","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-17T23:50:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GiblIheVIfAeMiya4y/AyEVayCSbAjdPItHpBr5fHvIfG3fM5G9tZLsL0j+ZBVzKk4jzgwGTMYQeq331EpYADg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-08T18:48:52.301618Z"},"content_sha256":"1f2ecdb9a79d506b2c2e8bb2e0df3755e81db0de054b313f39b125bd54d5f2d6","schema_version":"1.0","event_id":"sha256:1f2ecdb9a79d506b2c2e8bb2e0df3755e81db0de054b313f39b125bd54d5f2d6"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/AN6NBIR7NZYEMME7O4PTBKQE6B/bundle.json","state_url":"https://pith.science/pith/AN6NBIR7NZYEMME7O4PTBKQE6B/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/AN6NBIR7NZYEMME7O4PTBKQE6B/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-06-08T18:48:52Z","links":{"resolver":"https://pith.science/pith/AN6NBIR7NZYEMME7O4PTBKQE6B","bundle":"https://pith.science/pith/AN6NBIR7NZYEMME7O4PTBKQE6B/bundle.json","state":"https://pith.science/pith/AN6NBIR7NZYEMME7O4PTBKQE6B/state.json","well_known_bundle":"https://pith.science/.well-known/pith/AN6NBIR7NZYEMME7O4PTBKQE6B/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:AN6NBIR7NZYEMME7O4PTBKQE6B","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":"7b47fb2db9ab5dfd745870eeb9bc4fbfc61766ca1695384c19e28a49336efbaa","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2019-03-26T01:57:25Z","title_canon_sha256":"210d8ab05e4f1ecd916670ebcb551c44889a3b1540421cf2fdb8ca207fb21871"},"schema_version":"1.0","source":{"id":"1903.10651","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1903.10651","created_at":"2026-05-17T23:50:18Z"},{"alias_kind":"arxiv_version","alias_value":"1903.10651v1","created_at":"2026-05-17T23:50:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1903.10651","created_at":"2026-05-17T23:50:18Z"},{"alias_kind":"pith_short_12","alias_value":"AN6NBIR7NZYE","created_at":"2026-05-18T12:33:12Z"},{"alias_kind":"pith_short_16","alias_value":"AN6NBIR7NZYEMME7","created_at":"2026-05-18T12:33:12Z"},{"alias_kind":"pith_short_8","alias_value":"AN6NBIR7","created_at":"2026-05-18T12:33:12Z"}],"graph_snapshots":[{"event_id":"sha256:1f2ecdb9a79d506b2c2e8bb2e0df3755e81db0de054b313f39b125bd54d5f2d6","target":"graph","created_at":"2026-05-17T23:50:18Z","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":"Side-channel attacks such as Spectre that utilize speculative execution to steal application secrets pose a significant threat to modern computing systems. While program transformations can mitigate some Spectre attacks, more advanced attacks can divert control flow speculatively to bypass these protective instructions, rendering existing defenses useless.\n  In this paper, we present Venkman: a system that employs program transformation to completely thwart Spectre attacks that poison entries in the Branch Target Buffer (BTB) and the Return Stack Buffer (RSB). Venkman transforms code so that a","authors_text":"Divya Ojha, Jie Zhou, John Criswell, ZhuoJia Shen","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2019-03-26T01:57:25Z","title":"Restricting Control Flow During Speculative Execution with Venkman"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1903.10651","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:1a8e1a4b60948a98aac17c2abbf1fce257215c5154df2f3978a25752aa77a926","target":"record","created_at":"2026-05-17T23:50:18Z","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":"7b47fb2db9ab5dfd745870eeb9bc4fbfc61766ca1695384c19e28a49336efbaa","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2019-03-26T01:57:25Z","title_canon_sha256":"210d8ab05e4f1ecd916670ebcb551c44889a3b1540421cf2fdb8ca207fb21871"},"schema_version":"1.0","source":{"id":"1903.10651","kind":"arxiv","version":1}},"canonical_sha256":"037cd0a23f6e7046309f771f30aa04f06c21fca5e650af781e2397369069379c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"037cd0a23f6e7046309f771f30aa04f06c21fca5e650af781e2397369069379c","first_computed_at":"2026-05-17T23:50:18.206708Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:50:18.206708Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"h1rKNQbIfLwjVKdJPGnjKY5RFfbLtR2IfCRviCIKI2NDOhSkXlR6anTXwcNuOwEmmWBPRmlV0b72vun+10/hAg==","signature_status":"signed_v1","signed_at":"2026-05-17T23:50:18.207366Z","signed_message":"canonical_sha256_bytes"},"source_id":"1903.10651","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1a8e1a4b60948a98aac17c2abbf1fce257215c5154df2f3978a25752aa77a926","sha256:1f2ecdb9a79d506b2c2e8bb2e0df3755e81db0de054b313f39b125bd54d5f2d6"],"state_sha256":"191d67aed07935721fec47f863671eb529953fade105bd535c19804a8a3b4b6b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2DrbwSp3JYjYO35Rbh0ID0BenXDiw8mBvSiZuLsNI01zien58pmpPhSOY4/NlnaFgjisgB1pW97/QA+bS1sxDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-08T18:48:52.305368Z","bundle_sha256":"3a07aad7c1a5ffebdf44a8e04b6a0c049dfd1c10ab2a37cf5fc47aef079284bc"}}