57 citations · 106 across the 10 of their papers we have counts for
4 papers · 1 filter
Handling Communication via APIs for Microservices
Vini Kanvar, Ridhi Jain, Srikanth Tamilselvam
Enterprises in their journey to the cloud, want to decompose their monolith applications into microservices to maximize cloud benefits. Current research focuses a lot on how to par…
SecureFalcon: Are We There Yet in Automated Software Vulnerability Detection with LLMs?
Mohamed Amine Ferrag, Ammar Battah, Norbert Tihanyi +8
Software vulnerabilities can cause numerous problems, including crashes, data loss, and security breaches. These issues greatly compromise quality and can negatively impact the mar…
The FormAI Dataset: Generative AI in Software Security Through the Lens of Formal Verification
Norbert Tihanyi, Tamas Bisztray, Ridhi Jain +3
This paper presents the FormAI dataset, a large collection of 112, 000 AI-generated compilable and independent C programs with vulnerability classification. We introduce a dynamic…
A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification
Norbert Tihanyi, Ridhi Jain, Yiannis Charalambous +3
This paper introduces an innovative approach that combines Large Language Models (LLMs) with Formal Verification strategies for automatic software vulnerability repair. Initially,…