Generative AI with Cybersecurity for Internet Applications development

GALICIA is a project funded by the European Union, within the framework of the NGI Sargasso.

The aim of the project is to test a novel approach to digital resilience verification by testing LLM generated code for correctness and security on a set of case studies, aiming to ensure compliance with user requirements and given standards. The ambition is to verify source code generated by Generative AI and analyze its limits, thus building trust in Generative AI. GALICIA aligns with the increasing demand for compliance in industrial automation and the need for fast and low cost software production.

Main expected results of GALICIA:

GALICIA will provide a platform for code verification on a set of test cases in automation, encompassing a large case study of industrial relevance, based on the Azure technology. It will encompass a two-step verification of LLM generated code:

  • Generation through Azure of source code, from user provided natural language functional requirements;
  • Compliance verification of a formal model of the generated code with users’ natural language security specifications through the NuSMV theorem prover.

 

Project duration: 9 months (from 5th September 2024)

CLICK HERE FOR MORE INFORMATION

Consortium

The consortium, formed by Novareckon (EU knowledge management), Mind in a Box (Canadian ITC), and end-user Hal Service, will work together to achieve Sargasso’s objective of fostering transatlantic collaboration in developing, prototyping, and standardizing future NGI technologies.

CLICK HERE FOR MORE INFORMATION

WE NEED YOUR SUPPORT!

Within GALICIA, we have created a survey to present to stakeholders to discuss the prospects of this innovation.
We invite everyone to complete the form below. Your opinion is important.

Thank you!

CLICK HERE to complete the survey