At the upcoming TAROT Summer School on Software Testing, Verification & Validation, scheduled from June 30 to July 4, 2025, in Naples, several innovative AI-driven cybersecurity solutions of AI4CYBER will be showcased:<\/p>\n
TRUST4AI.Security:<\/strong>\u00a0ensures the security of AI systems against adversarial machine learning attacks, reinforcing the trustworthiness of AI applications in cybersecurity.<\/p>\n AI4SIM<\/strong>:\u00a0 An advanced cyberattack simulation solution capable of emulating both traditional and AI-powered attacks across IT, OT, and IoT systems. This tool aids organizations in assessing vulnerabilities and preparing defenses against sophisticated threats.<\/p>\n AI4VULN and AI4FIX<\/strong>: AI4VULN<\/strong> automates the identification and verification of code vulnerabilities using symbolic execution and AI to improve accuracy and scalability. AI4FIX<\/strong> provides an end-to-end solution for automatically fixing identified vulnerabilities in Java code, including automated unit testing of proposed fixes, thereby streamlining the software development process and reducing the need for extensive rework.<\/p>\n These presentations underscore the integration of AI in cybersecurity, emphasizing the development of trustworthy and resilient systems to counter evolving cyber threats.<\/p>\n