{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,2]],"date-time":"2026-08-02T04:47:25Z","timestamp":1785646045773,"version":"3.56.0"},"publisher-location":"Cham","reference-count":37,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032316721","type":"print"},{"value":"9783032316738","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,8,3]],"date-time":"2026-08-03T00:00:00Z","timestamp":1785715200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,8,3]],"date-time":"2026-08-03T00:00:00Z","timestamp":1785715200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2027]]},"DOI":"10.1007\/978-3-032-31673-8_40","type":"book-chapter","created":{"date-parts":[[2026,8,2]],"date-time":"2026-08-02T04:26:08Z","timestamp":1785644768000},"page":"600-615","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["CryptoScope: Utilizing Large Language Models for\u00a0Automated Cryptographic Logic Vulnerability Detection"],"prefix":"10.1007","author":[{"given":"Zhihao","family":"Li","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zimo","family":"Ji","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Tao","family":"Zheng","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hao","family":"Ren","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Xiao","family":"Lan","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,8,3]]},"reference":[{"key":"40_CR1","unstructured":"Test vector. https:\/\/en.wikipedia.org\/wiki\/Test_vector. Accessed 4 Oct 2025"},{"key":"40_CR2","unstructured":"AI, Z.: GLM-4-flash (2025). https:\/\/bigmodel.cn\/dev\/activities\/free\/glm-4-flash. Accessed 4 Oct 2025"},{"key":"40_CR3","doi-asserted-by":"crossref","unstructured":"Anderson, R.: Why cryptosystems fail. In: Proceedings of the 1st ACM Conference on Computer and Communications Security, pp. 215\u2013227 (1993)","DOI":"10.1145\/168588.168615"},{"key":"40_CR4","unstructured":"Anthropic: Claude 3.5 Haiku (2024). https:\/\/www.anthropic.com\/claude\/haiku. Accessed 4 Oct 2025"},{"key":"40_CR5","first-page":"2017","volume":"7","author":"JP Aumasson","year":"2017","unstructured":"Aumasson, J.P., Romailler, Y.: Automated testing of crypto software using differential fuzzing. Black Hat USA 7, 2017 (2017)","journal-title":"Black Hat USA"},{"key":"40_CR6","doi-asserted-by":"crossref","unstructured":"Baek, H., Lee, M., Kim, H.: CryptoLLM: harnessing the power of LLMs to detect cryptographic API misuse. In: European Symposium on Research in Computer Security, pp. 353\u2013373. Springer (2024)","DOI":"10.1007\/978-3-031-70879-4_18"},{"key":"40_CR7","unstructured":"C2SP: Wycheproof (2022). https:\/\/github.com\/C2SP\/wycheproof. Accessed 4 Oct 2025"},{"key":"40_CR8","unstructured":"Crypto Stack Exchange: Crypto Stack Exchange (2025). https:\/\/crypto.stackexchange.com\/. Accessed 4 Oct 2025"},{"key":"40_CR9","unstructured":"DeepMind, G.: Gemini 1.5 flash documentation (2024). https:\/\/ai.google.dev\/gemini-api\/docs\/models#gemini-1.5-flash. Accessed 4 Oct 2025"},{"key":"40_CR10","unstructured":"DeepSeek: Deepseek-v3 (2025). https:\/\/github.com\/deepseek-ai\/DeepSeek-V3. Accessed 4 Oct 2025"},{"key":"40_CR11","doi-asserted-by":"crossref","unstructured":"Deng, Y., Xia, C.S., Yang, C., Zhang, S.D., Yang, S., Zhang, L.: Large language models are edge-case generators: Crafting unusual programs for fuzzing deep learning libraries. In: Proceedings of the 46th IEEE\/ACM International Conference on Software Engineering, pp. 1\u201313 (2024)","DOI":"10.1145\/3597503.3623343"},{"key":"40_CR12","doi-asserted-by":"crossref","unstructured":"Dockins, R., Foltzer, A., Hendrix, J., Huffman, B., McNamee, D., Tomb, A.: Constructing semantic models of programs with the software analysis workbench. In: Working Conference on Verified Software: Theories, Tools, and Experiments, pp. 56\u201372. Springer (2016)","DOI":"10.1007\/978-3-319-48869-1_5"},{"key":"40_CR13","doi-asserted-by":"crossref","unstructured":"Egele, M., Brumley, D., Fratantonio, Y., Kruegel, C.: An empirical study of cryptographic misuse in android applications. In: Proceedings of the 2013 ACM SIGSAC Conference on Computer & Communications Security, pp. 73\u201384 (2013)","DOI":"10.1145\/2508859.2516693"},{"key":"40_CR14","unstructured":"Ferguson, N., Schneier, B., Kohno, T.: Cryptography Engineering: Design Principles and Practical Applications. Wiley (2011)"},{"key":"40_CR15","first-page":"9459","volume":"33","author":"P Lewis","year":"2020","unstructured":"Lewis, P., et al.: Retrieval-augmented generation for knowledge-intensive NLP tasks. Adv. Neural. Inf. Process. Syst. 33, 9459\u20139474 (2020)","journal-title":"Adv. Neural. Inf. Process. Syst."},{"key":"40_CR16","doi-asserted-by":"crossref","unstructured":"Menezes, A.J., Van Oorschot, P.C., Vanstone, S.A.: Handbook of Applied Cryptography. CRC Press (2018)","DOI":"10.1201\/9780429466335"},{"key":"40_CR17","unstructured":"Nassar, K.: CVE-2022-21449-TLS-POC (2022). https:\/\/github.com\/notkmhn\/CVE-2022-21449-TLS-PoC. Accessed 4 Oct 2025"},{"key":"40_CR18","unstructured":"NIST: CVE-2022-21449 detail (2022). https:\/\/nvd.nist.gov\/vuln\/detail\/cve-2022-21449. Accessed 4 Oct 2025"},{"key":"40_CR19","unstructured":"Novotney, P.: Weak curves in elliptic curve cryptography (2010). modular.math.washington.edu\/edu\/2010\/414\/projects\/novotney.pdf"},{"key":"40_CR20","unstructured":"OpenAI: GPT-3.5 Turbo (2023). https:\/\/platform.openai.com\/docs\/models\/gpt-3.5-turbo. Accessed 4 Oct 2025"},{"key":"40_CR21","unstructured":"OpenAI: GPT-4O-mini (2024). https:\/\/platform.openai.com\/docs\/models\/gpt-4o-mini. Accessed 4 Oct 2025"},{"key":"40_CR22","unstructured":"OpenJDK: The OpenJDK project (2025). https:\/\/openjdk.org\/. Accessed 4 Oct 2025"},{"key":"40_CR23","unstructured":"Oracle: GraaLVM enterprise edition (2025). https:\/\/www.graalvm.org\/. Accessed 4 Oct 2025"},{"key":"40_CR24","doi-asserted-by":"crossref","unstructured":"Purba, M.D., Ghosh, A., Radford, B.J., Chu, B.: Software vulnerability detection using large language models. In: 2023 IEEE 34th International Symposium on Software Reliability Engineering Workshops (ISSREW), pp. 112\u2013119. IEEE (2023)","DOI":"10.1109\/ISSREW60843.2023.00058"},{"key":"40_CR25","unstructured":"Qwen Team: Qwen (2025). https:\/\/github.com\/QwenLM\/Qwen. Accessed 4 Oct 2025"},{"key":"40_CR26","doi-asserted-by":"crossref","unstructured":"Rahaman, S., et al.: CryptoGuard: high precision detection of cryptographic vulnerabilities in massive-sized Java projects. In: Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, pp. 2455\u20132472 (2019)","DOI":"10.1145\/3319535.3345659"},{"key":"40_CR27","unstructured":"SageMath: Sage (2024). https:\/\/github.com\/sagemath\/sage. Accessed 4 Oct 2025"},{"key":"40_CR28","doi-asserted-by":"crossref","unstructured":"Schmidt, B., Meier, S., Cremers, C., Basin, D.: Automated analysis of Diffie-Hellman protocols and advanced security properties. In: IEEE 25th Computer Security Foundations Symposium, pp. 78\u201394. IEEE (2012)","DOI":"10.1109\/CSF.2012.25"},{"key":"40_CR29","doi-asserted-by":"crossref","unstructured":"Shestov, A., et al.: Finetuning large language models for vulnerability detection. IEEE Access (2025)","DOI":"10.1109\/ACCESS.2025.3546700"},{"key":"40_CR30","doi-asserted-by":"crossref","unstructured":"Stamp, M., Low, R.M.: Applied Cryptanalysis: Breaking Ciphers in the Real World. Wiley (2007)","DOI":"10.1002\/9780470148778"},{"key":"40_CR31","unstructured":"of\u00a0Standards, N.I., Technology: Federal information processing standards (FIPS) (2022). https:\/\/www.nist.gov\/federal-information-processing-standards-fips. Accessed 4 Oct 2025"},{"key":"40_CR32","doi-asserted-by":"publisher","first-page":"24824","DOI":"10.52202\/068431-1800","volume":"35","author":"J Wei","year":"2022","unstructured":"Wei, J., et al.: Chain-of-thought prompting elicits reasoning in large language models. Adv. Neural. Inf. Process. Syst. 35, 24824\u201324837 (2022)","journal-title":"Adv. Neural. Inf. Process. Syst."},{"key":"40_CR33","doi-asserted-by":"crossref","unstructured":"Xia, C.S., Paltenghi, M., Le Tian, J., Pradel, M., Zhang, L.: Fuzz4all: universal fuzzing with large language models. In: Proceedings of the IEEE\/ACM 46th International Conference on Software Engineering, pp. 1\u201313 (2024)","DOI":"10.1145\/3597503.3639121"},{"key":"40_CR34","unstructured":"Xia, Y., et al.: Exploring automatic cryptographic API misuse detection in the era of LLMs. arXiv preprint arXiv:2407.16576 (2024)"},{"key":"40_CR35","doi-asserted-by":"crossref","unstructured":"Zhou, X., Zhang, T., Lo, D.: Large language model for vulnerability detection: emerging results and future directions. In: Proceedings of the 2024 ACM\/IEEE 44th International Conference on Software Engineering: New Ideas and Emerging Results, pp. 47\u201351 (2024)","DOI":"10.1145\/3639476.3639762"},{"key":"40_CR36","unstructured":"Zhou, Y., et al.: Large language models are human-level prompt engineers. In: The Eleventh International Conference on Learning Representations (2022)"},{"issue":"2","key":"40_CR37","first-page":"1","volume":"33","author":"Y Zhou","year":"2023","unstructured":"Zhou, Y., Ma, F., Chen, Y., Ren, M., Jiang, Y.: CLFuzz: vulnerability detection of cryptographic algorithm implementation via semantic-aware fuzzing. ACM Trans. Softw. Eng. Methodol. 33(2), 1\u201328 (2023)","journal-title":"ACM Trans. Softw. Eng. Methodol."}],"container-title":["Lecture Notes in Computer Science","Pattern Recognition"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-31673-8_40","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,8,2]],"date-time":"2026-08-02T04:26:12Z","timestamp":1785644772000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-31673-8_40"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,8,3]]},"ISBN":["9783032316721","9783032316738"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-31673-8_40","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,8,3]]},"assertion":[{"value":"3 August 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICPR","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Pattern Recognition","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Lyon","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2026","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 August 2026","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 August 2026","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icpr2026","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/icpr2026.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}