{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:2GXOA67J4UPSAIOOMOOEY3DT3Z","short_pith_number":"pith:2GXOA67J","schema_version":"1.0","canonical_sha256":"d1aee07be9e51f2021ce639c4c6c73de59852c3a308dc4b745c8eaf72766a1db","source":{"kind":"arxiv","id":"2411.11624","version":2},"attestation_state":"computed","paper":{"title":"Teapot: Efficiently Uncovering Spectre Gadgets in COTS Binaries","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AR"],"primary_cat":"cs.CR","authors_text":"Fangzheng Lin, Hiroshi Sasaki, Zhongfa Wang","submitted_at":"2024-11-18T14:56:56Z","abstract_excerpt":"Speculative execution is crucial in enhancing modern processor performance but can introduce Spectre-type vulnerabilities that may leak sensitive information. Detecting Spectre gadgets from programs has been a research focus to enhance the analysis and understanding of Spectre attacks. However, one of the problems of existing approaches is that they rely on the presence of source code (or are impractical in terms of run-time performance and gadget detection ability).\n  This paper presents Teapot, the first Spectre gadget scanner that works on COTS binaries with comparable performance to compil"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2411.11624","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2024-11-18T14:56:56Z","cross_cats_sorted":["cs.AR"],"title_canon_sha256":"32251b07b006e678e572bb0c4569821ef15c9072e71db48e68d7b680f802aa2b","abstract_canon_sha256":"4f414e196af5d7198f2d9874d948c0841ff6861cbee6c075b642584bbeb63d88"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:54:05.814885Z","signature_b64":"Cjb2xv4CF0S1ydHG2f4sQc9ci6hH+bpSUfONyffbzq2x7sJEK1gSGj9al/7DUReP3M+LU3hNqsWdTZDC1jjgAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d1aee07be9e51f2021ce639c4c6c73de59852c3a308dc4b745c8eaf72766a1db","last_reissued_at":"2026-07-05T09:54:05.814400Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:54:05.814400Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Teapot: Efficiently Uncovering Spectre Gadgets in COTS Binaries","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AR"],"primary_cat":"cs.CR","authors_text":"Fangzheng Lin, Hiroshi Sasaki, Zhongfa Wang","submitted_at":"2024-11-18T14:56:56Z","abstract_excerpt":"Speculative execution is crucial in enhancing modern processor performance but can introduce Spectre-type vulnerabilities that may leak sensitive information. Detecting Spectre gadgets from programs has been a research focus to enhance the analysis and understanding of Spectre attacks. However, one of the problems of existing approaches is that they rely on the presence of source code (or are impractical in terms of run-time performance and gadget detection ability).\n  This paper presents Teapot, the first Spectre gadget scanner that works on COTS binaries with comparable performance to compil"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2411.11624","kind":"arxiv","version":2},"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/2411.11624/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2411.11624","created_at":"2026-07-05T09:54:05.814468+00:00"},{"alias_kind":"arxiv_version","alias_value":"2411.11624v2","created_at":"2026-07-05T09:54:05.814468+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2411.11624","created_at":"2026-07-05T09:54:05.814468+00:00"},{"alias_kind":"pith_short_12","alias_value":"2GXOA67J4UPS","created_at":"2026-07-05T09:54:05.814468+00:00"},{"alias_kind":"pith_short_16","alias_value":"2GXOA67J4UPSAIOO","created_at":"2026-07-05T09:54:05.814468+00:00"},{"alias_kind":"pith_short_8","alias_value":"2GXOA67J","created_at":"2026-07-05T09:54:05.814468+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/2GXOA67J4UPSAIOOMOOEY3DT3Z","json":"https://pith.science/pith/2GXOA67J4UPSAIOOMOOEY3DT3Z.json","graph_json":"https://pith.science/api/pith-number/2GXOA67J4UPSAIOOMOOEY3DT3Z/graph.json","events_json":"https://pith.science/api/pith-number/2GXOA67J4UPSAIOOMOOEY3DT3Z/events.json","paper":"https://pith.science/paper/2GXOA67J"},"agent_actions":{"view_html":"https://pith.science/pith/2GXOA67J4UPSAIOOMOOEY3DT3Z","download_json":"https://pith.science/pith/2GXOA67J4UPSAIOOMOOEY3DT3Z.json","view_paper":"https://pith.science/paper/2GXOA67J","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2411.11624&json=true","fetch_graph":"https://pith.science/api/pith-number/2GXOA67J4UPSAIOOMOOEY3DT3Z/graph.json","fetch_events":"https://pith.science/api/pith-number/2GXOA67J4UPSAIOOMOOEY3DT3Z/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/2GXOA67J4UPSAIOOMOOEY3DT3Z/action/timestamp_anchor","attest_storage":"https://pith.science/pith/2GXOA67J4UPSAIOOMOOEY3DT3Z/action/storage_attestation","attest_author":"https://pith.science/pith/2GXOA67J4UPSAIOOMOOEY3DT3Z/action/author_attestation","sign_citation":"https://pith.science/pith/2GXOA67J4UPSAIOOMOOEY3DT3Z/action/citation_signature","submit_replication":"https://pith.science/pith/2GXOA67J4UPSAIOOMOOEY3DT3Z/action/replication_record"}},"created_at":"2026-07-05T09:54:05.814468+00:00","updated_at":"2026-07-05T09:54:05.814468+00:00"}