{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:7TWF7PPUVSWEMHYM5DF3ZYXWJD","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":"1d3f8214fa92da9b24841d2e093e57e55c55542bd4806e3d5147badf67f675a7","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2019-09-02T10:18:03Z","title_canon_sha256":"09f3ae3cc5b1ece922857e3844a59cbb2f911864c1e53347f62af1f85dbf1b2c"},"schema_version":"1.0","source":{"id":"1909.00647","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1909.00647","created_at":"2026-07-05T01:05:09Z"},{"alias_kind":"arxiv_version","alias_value":"1909.00647v1","created_at":"2026-07-05T01:05:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1909.00647","created_at":"2026-07-05T01:05:09Z"},{"alias_kind":"pith_short_12","alias_value":"7TWF7PPUVSWE","created_at":"2026-07-05T01:05:09Z"},{"alias_kind":"pith_short_16","alias_value":"7TWF7PPUVSWEMHYM","created_at":"2026-07-05T01:05:09Z"},{"alias_kind":"pith_short_8","alias_value":"7TWF7PPU","created_at":"2026-07-05T01:05:09Z"}],"graph_snapshots":[{"event_id":"sha256:7abaf1798f6d04076575e1d3839aae963e26563555319c5e19a807762e2174aa","target":"graph","created_at":"2026-07-05T01:05:09Z","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/1909.00647/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Spectre attacks disclosed in early 2018 expose data leakage scenarios via cache side channels. Specifically, speculatively executed paths due to branch mis-prediction may bring secret data into the cache which are then exposed via cache side channels even after the speculative execution is squashed. Symbolic execution is a well-known test generation method to cover program paths at the level of the application software. In this paper, we extend symbolic execution with modelingof cache and speculative execution. Our tool KLEESPECTRE, built on top of the KLEE symbolic execution engine, can thus ","authors_text":"Abhik Roychoudhury, Arnab Kumar Biswas, Guanhua Wang, Sudipta Chattopadhyay, Tulika Mitra","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2019-09-02T10:18:03Z","title":"KLEESPECTRE: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1909.00647","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:ca814813bf310f7e11517503cbb0e3c1522ceefa31ac91388a1fcccb55a19ae5","target":"record","created_at":"2026-07-05T01:05:09Z","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":"1d3f8214fa92da9b24841d2e093e57e55c55542bd4806e3d5147badf67f675a7","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2019-09-02T10:18:03Z","title_canon_sha256":"09f3ae3cc5b1ece922857e3844a59cbb2f911864c1e53347f62af1f85dbf1b2c"},"schema_version":"1.0","source":{"id":"1909.00647","kind":"arxiv","version":1}},"canonical_sha256":"fcec5fbdf4acac461f0ce8cbbce2f648c0bb1e7807d91946d43a18c09d9fd6a4","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"fcec5fbdf4acac461f0ce8cbbce2f648c0bb1e7807d91946d43a18c09d9fd6a4","first_computed_at":"2026-07-05T01:05:09.733287Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T01:05:09.733287Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"LiGS1uXfNG+1JiSMDQMg4JxwlmiH2Xh6PanWx1eAi2upPEGrgmy0Rrcgeu5GCia69h5SKQ9dtAAtgRZ3R/1tBg==","signature_status":"signed_v1","signed_at":"2026-07-05T01:05:09.734033Z","signed_message":"canonical_sha256_bytes"},"source_id":"1909.00647","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ca814813bf310f7e11517503cbb0e3c1522ceefa31ac91388a1fcccb55a19ae5","sha256:7abaf1798f6d04076575e1d3839aae963e26563555319c5e19a807762e2174aa"],"state_sha256":"6d5f639b91f17099f671b8e2d02c564ac672e1e6d5d34cdb0818cfadb127c3f4"}