{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:7K6HVQIJDWAILJMHWSWISNKHMX","short_pith_number":"pith:7K6HVQIJ","schema_version":"1.0","canonical_sha256":"fabc7ac1091d8085a587b4ac89354765f6c3f594a04808457f3970bc6f577ee2","source":{"kind":"arxiv","id":"2403.18403","version":3},"attestation_state":"computed","paper":{"title":"FoC: Figure out the Cryptographic Functions in Stripped Binaries with LLMs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Guoqiang Chen, Nenghai Yu, Shaoyin Cheng, Shikai Guo, Weiming Zhang, Xiuwei Shang, Yanming Zhang","submitted_at":"2024-03-27T09:45:33Z","abstract_excerpt":"Analyzing the behavior of cryptographic functions in stripped binaries is a challenging but essential task. Cryptographic algorithms exhibit greater logical complexity compared to typical code, yet their analysis is unavoidable in areas such as virus analysis and legacy code inspection. Existing methods often rely on data or structural pattern matching, leading to suboptimal generalizability and suffering from manual work. In this paper, we propose a novel framework called FoC to Figure out the Cryptographic functions in stripped binaries. In FoC, we first build a binary large language model ("},"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":"2403.18403","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2024-03-27T09:45:33Z","cross_cats_sorted":[],"title_canon_sha256":"fa76b63aa4552cae9a0e352eb3d8c3243575d4520c6c8f9bff4e0a2ad939adf1","abstract_canon_sha256":"a851930dd05242581aa8338a9084e5568bae96263a45c98fcfc901592da296dc"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:53:44.414009Z","signature_b64":"NAZ3ZsGgyB7SfDnwNdI899pinIPy8a5/lVyXse18/oU2x+5JQGavLa3kW/fxVi+gtj5Im3wH5HbDOLuBvAFlDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"fabc7ac1091d8085a587b4ac89354765f6c3f594a04808457f3970bc6f577ee2","last_reissued_at":"2026-07-05T10:53:44.413611Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:53:44.413611Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"FoC: Figure out the Cryptographic Functions in Stripped Binaries with LLMs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Guoqiang Chen, Nenghai Yu, Shaoyin Cheng, Shikai Guo, Weiming Zhang, Xiuwei Shang, Yanming Zhang","submitted_at":"2024-03-27T09:45:33Z","abstract_excerpt":"Analyzing the behavior of cryptographic functions in stripped binaries is a challenging but essential task. Cryptographic algorithms exhibit greater logical complexity compared to typical code, yet their analysis is unavoidable in areas such as virus analysis and legacy code inspection. Existing methods often rely on data or structural pattern matching, leading to suboptimal generalizability and suffering from manual work. In this paper, we propose a novel framework called FoC to Figure out the Cryptographic functions in stripped binaries. In FoC, we first build a binary large language model ("},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2403.18403","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/2403.18403/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":"2403.18403","created_at":"2026-07-05T10:53:44.413668+00:00"},{"alias_kind":"arxiv_version","alias_value":"2403.18403v3","created_at":"2026-07-05T10:53:44.413668+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2403.18403","created_at":"2026-07-05T10:53:44.413668+00:00"},{"alias_kind":"pith_short_12","alias_value":"7K6HVQIJDWAI","created_at":"2026-07-05T10:53:44.413668+00:00"},{"alias_kind":"pith_short_16","alias_value":"7K6HVQIJDWAILJMH","created_at":"2026-07-05T10:53:44.413668+00:00"},{"alias_kind":"pith_short_8","alias_value":"7K6HVQIJ","created_at":"2026-07-05T10:53:44.413668+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/7K6HVQIJDWAILJMHWSWISNKHMX","json":"https://pith.science/pith/7K6HVQIJDWAILJMHWSWISNKHMX.json","graph_json":"https://pith.science/api/pith-number/7K6HVQIJDWAILJMHWSWISNKHMX/graph.json","events_json":"https://pith.science/api/pith-number/7K6HVQIJDWAILJMHWSWISNKHMX/events.json","paper":"https://pith.science/paper/7K6HVQIJ"},"agent_actions":{"view_html":"https://pith.science/pith/7K6HVQIJDWAILJMHWSWISNKHMX","download_json":"https://pith.science/pith/7K6HVQIJDWAILJMHWSWISNKHMX.json","view_paper":"https://pith.science/paper/7K6HVQIJ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2403.18403&json=true","fetch_graph":"https://pith.science/api/pith-number/7K6HVQIJDWAILJMHWSWISNKHMX/graph.json","fetch_events":"https://pith.science/api/pith-number/7K6HVQIJDWAILJMHWSWISNKHMX/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/7K6HVQIJDWAILJMHWSWISNKHMX/action/timestamp_anchor","attest_storage":"https://pith.science/pith/7K6HVQIJDWAILJMHWSWISNKHMX/action/storage_attestation","attest_author":"https://pith.science/pith/7K6HVQIJDWAILJMHWSWISNKHMX/action/author_attestation","sign_citation":"https://pith.science/pith/7K6HVQIJDWAILJMHWSWISNKHMX/action/citation_signature","submit_replication":"https://pith.science/pith/7K6HVQIJDWAILJMHWSWISNKHMX/action/replication_record"}},"created_at":"2026-07-05T10:53:44.413668+00:00","updated_at":"2026-07-05T10:53:44.413668+00:00"}