{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2022:YECJZ7EE6W7ETE4I5TJ4R6LNIB","short_pith_number":"pith:YECJZ7EE","schema_version":"1.0","canonical_sha256":"c1049cfc84f5be499388ecd3c8f96d4070dc1298130cdc4112ba08bb6fb44ed5","source":{"kind":"arxiv","id":"2208.08025","version":3},"attestation_state":"computed","paper":{"title":"AutoCAT: Reinforcement Learning for Automated Exploration of Cache-Timing Attacks","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":["cs.AR"],"primary_cat":"cs.CR","authors_text":"Amy Zhang, G. Edward Suh, Geunbae Lee, Hsien-Hsin S. Lee, Mulong Luo, Wenjie Xiong, Xiaomeng Yang, Yuandong Tian, Yueying Li","submitted_at":"2022-08-17T02:09:45Z","abstract_excerpt":"The aggressive performance optimizations in modern microprocessors can result in security vulnerabilities. For example, timing-based attacks in processor caches can steal secret keys or break randomization. So far, finding cache-timing vulnerabilities is mostly performed by human experts, which is inefficient and laborious. There is a need for automatic tools that can explore vulnerabilities given that unreported vulnerabilities leave the systems at risk. In this paper, we propose AutoCAT, an automated exploration framework that finds cache timing-channel attack sequences using reinforcement l"},"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":"2208.08025","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CR","submitted_at":"2022-08-17T02:09:45Z","cross_cats_sorted":["cs.AR"],"title_canon_sha256":"e85a9189dc6bfb1dde1e77a63f35a9a99d0a53e6eb5d9029f1f72e15a9bbaf6c","abstract_canon_sha256":"1ace3209332cc9fbadf69012627dd7e38b7b78e81c30ab57771f961b4213bd6b"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T05:38:43.759949Z","signature_b64":"lL0o3sIUe4SdEW3fmcXD8QmeRrpYIouN1W7sVLkYVtO2+W31FOIA2OjCAWVFECX5y/KkA3YUA7lgKHU7a/gfAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c1049cfc84f5be499388ecd3c8f96d4070dc1298130cdc4112ba08bb6fb44ed5","last_reissued_at":"2026-07-05T05:38:43.759382Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T05:38:43.759382Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"AutoCAT: Reinforcement Learning for Automated Exploration of Cache-Timing Attacks","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":["cs.AR"],"primary_cat":"cs.CR","authors_text":"Amy Zhang, G. Edward Suh, Geunbae Lee, Hsien-Hsin S. Lee, Mulong Luo, Wenjie Xiong, Xiaomeng Yang, Yuandong Tian, Yueying Li","submitted_at":"2022-08-17T02:09:45Z","abstract_excerpt":"The aggressive performance optimizations in modern microprocessors can result in security vulnerabilities. For example, timing-based attacks in processor caches can steal secret keys or break randomization. So far, finding cache-timing vulnerabilities is mostly performed by human experts, which is inefficient and laborious. There is a need for automatic tools that can explore vulnerabilities given that unreported vulnerabilities leave the systems at risk. In this paper, we propose AutoCAT, an automated exploration framework that finds cache timing-channel attack sequences using reinforcement l"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2208.08025","kind":"arxiv","version":3},"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/2208.08025/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":"2208.08025","created_at":"2026-07-05T05:38:43.759448+00:00"},{"alias_kind":"arxiv_version","alias_value":"2208.08025v3","created_at":"2026-07-05T05:38:43.759448+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2208.08025","created_at":"2026-07-05T05:38:43.759448+00:00"},{"alias_kind":"pith_short_12","alias_value":"YECJZ7EE6W7E","created_at":"2026-07-05T05:38:43.759448+00:00"},{"alias_kind":"pith_short_16","alias_value":"YECJZ7EE6W7ETE4I","created_at":"2026-07-05T05:38:43.759448+00:00"},{"alias_kind":"pith_short_8","alias_value":"YECJZ7EE","created_at":"2026-07-05T05:38:43.759448+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/YECJZ7EE6W7ETE4I5TJ4R6LNIB","json":"https://pith.science/pith/YECJZ7EE6W7ETE4I5TJ4R6LNIB.json","graph_json":"https://pith.science/api/pith-number/YECJZ7EE6W7ETE4I5TJ4R6LNIB/graph.json","events_json":"https://pith.science/api/pith-number/YECJZ7EE6W7ETE4I5TJ4R6LNIB/events.json","paper":"https://pith.science/paper/YECJZ7EE"},"agent_actions":{"view_html":"https://pith.science/pith/YECJZ7EE6W7ETE4I5TJ4R6LNIB","download_json":"https://pith.science/pith/YECJZ7EE6W7ETE4I5TJ4R6LNIB.json","view_paper":"https://pith.science/paper/YECJZ7EE","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2208.08025&json=true","fetch_graph":"https://pith.science/api/pith-number/YECJZ7EE6W7ETE4I5TJ4R6LNIB/graph.json","fetch_events":"https://pith.science/api/pith-number/YECJZ7EE6W7ETE4I5TJ4R6LNIB/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/YECJZ7EE6W7ETE4I5TJ4R6LNIB/action/timestamp_anchor","attest_storage":"https://pith.science/pith/YECJZ7EE6W7ETE4I5TJ4R6LNIB/action/storage_attestation","attest_author":"https://pith.science/pith/YECJZ7EE6W7ETE4I5TJ4R6LNIB/action/author_attestation","sign_citation":"https://pith.science/pith/YECJZ7EE6W7ETE4I5TJ4R6LNIB/action/citation_signature","submit_replication":"https://pith.science/pith/YECJZ7EE6W7ETE4I5TJ4R6LNIB/action/replication_record"}},"created_at":"2026-07-05T05:38:43.759448+00:00","updated_at":"2026-07-05T05:38:43.759448+00:00"}