{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,15]],"date-time":"2026-07-15T07:05:51Z","timestamp":1784099151079,"version":"3.55.0"},"reference-count":32,"publisher":"IEEE","license":[{"start":{"date-parts":[[2026,5,24]],"date-time":"2026-05-24T00:00:00Z","timestamp":1779580800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,5,24]],"date-time":"2026-05-24T00:00:00Z","timestamp":1779580800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026,5,24]]},"DOI":"10.1109\/icc59461.2026.11587351","type":"proceedings-article","created":{"date-parts":[[2026,7,14]],"date-time":"2026-07-14T19:38:09Z","timestamp":1784057889000},"page":"1-6","source":"Crossref","is-referenced-by-count":0,"title":["Towards Verified Security: Formal Methods for LLM-Based Defenses"],"prefix":"10.1109","author":[{"given":"Daniel","family":"Dauk\u0161evi\u010d","sequence":"first","affiliation":[{"name":"Vilnius University,Institute of Computer Science,Vilnius,Lithuania"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Roberto","family":"Mag\u00e1n-Carri\u00f3n","sequence":"additional","affiliation":[{"name":"University of Granada,Network Engineering & Security Group,Dpt. of Signal Theory, Communications and Telematics,Granada,Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Linas","family":"Laibinis","sequence":"additional","affiliation":[{"name":"Vilnius University,Institute of Computer Science,Vilnius,Lithuania"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"crossref","DOI":"10.6028\/NIST.SP.800-61r3","article-title":"Incident Response Recommendations and Considerations for Cybersecurity Risk Management: A CSF 2.0 Community Profile","volume-title":"National Institute of Standards and Technology, NIST 800-61r3","author":"Nelson","year":"2025"},{"key":"ref2","article-title":"ENISA Threat Landscape 2024","year":"2024"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.3390\/fi16100365"},{"key":"ref4","article-title":"Cost of a Data Breach Report 2025","year":"2024"},{"key":"ref5","article-title":"A survey of large language models","author":"Zhao","year":"2025"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1162\/COLI.a.16"},{"key":"ref7","article-title":"Cybersecurity incidents grow costlier amid persistent complexity","volume-title":"Uptime Institute","year":"2023"},{"key":"ref8","article-title":"Identifying emerging cyber security threats and challenges for 2030","volume":"64","author":"Mattioli","year":"2023","journal-title":"European Union Agency for Cybersecurity (ENISA), Athens-Heraklion, Greece"},{"issue":"1","key":"ref9","first-page":"103","article-title":"Artificial intelligence in cybersecurity","volume":"1","author":"Wirkuttis","year":"2017","journal-title":"Cyber, Intelligence, and Security"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2023.3300381"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.17148\/ijarcce.2022.11912"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1186\/s42400-025-00361-w"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.compeleceng.2025.110307"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-022-00660-4"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-012-0269-9"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.2000.848453"},{"key":"ref17","article-title":"Cryptoformaleval: Integrating large language models and formal verification for automated cryptographic protocol vulnerability detection","volume-title":"The First Workshop on System-2 Reasoning at Scale, NeurIPS\u201924","author":"Curaba"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-99447-0_3"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/AST66626.2025.00020"},{"key":"ref20","volume-title":"Endpoint Detection and Response Essentials: Explore the landscape of hacking, defense, and deployment in EDR.","author":"Boyraz","year":"2024"},{"key":"ref21","volume-title":"An introduction to formal specification and Z.","author":"Potter","year":"1996"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74107-7_8"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/1113792.1113794"},{"key":"ref24","volume-title":"Specifying systems: the TLA+ language and tools for hardware and software engineers.","author":"Lamport","year":"2003"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48153-2_6"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/177492.177726"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0058022"},{"key":"ref28","volume-title":"Principles of model checking.","author":"Baier","year":"2008"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/10722167_15"},{"key":"ref30","article-title":"Cyber Threat Trends Report","year":"2024"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-35746-6_1"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"}],"event":{"name":"ICC 2026 - IEEE International Conference on Communications","location":"Glasgow, United Kingdom","start":{"date-parts":[[2026,5,24]]},"end":{"date-parts":[[2026,5,28]]}},"container-title":["ICC 2026 - IEEE International Conference on Communications"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11586754\/11586037\/11587351.pdf?arnumber=11587351","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,15]],"date-time":"2026-07-15T06:12:44Z","timestamp":1784095964000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11587351\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,5,24]]},"references-count":32,"URL":"https:\/\/doi.org\/10.1109\/icc59461.2026.11587351","relation":{},"subject":[],"published":{"date-parts":[[2026,5,24]]}}}