activity
20232026
most citedThe FormAI Dataset: Generative AI in Software Security Through the Lens of Formal Verification

57 citations · 57 across the 7 of their papers we have counts for

collaborators

7 papers

cs.CR2026

CCR: Towards a Common, Quality-Gated CACAO Integrations Registry for European Cybersecurity Automation

Mateusz Zych, Vasileios Mavroeidis, Gudmund Grov

Standardised, machine-readable cybersecurity playbooks provide a basis for portable, shareable, and reusable incident-response logic. OASIS CACAO provides a vendor-neutral represen…

cs.CR2026

Towards Agentic Investigation of Security Alerts

Even Eilertsen, Vasileios Mavroeidis, Gudmund Grov

Security analysts are overwhelmed by the volume of alerts and the low context provided by many detection systems. Early-stage investigations typically require manual correlation ac…

cs.CR2025

A Graph-Based Approach to Alert Contextualisation in Security Operations Centres

Magnus Wiik Eckhoff, Peter Marius Flydal, Siem Peters +4

Interpreting the massive volume of security alerts is a significant challenge in Security Operations Centres (SOCs). Effective contextualisation is important, enabling quick distin…

cs.LG2025

I Know Which LLM Wrote Your Code Last Summer: LLM generated Code Stylometry for Authorship Attribution

Tamas Bisztray, Bilel Cherif, Richard A. Dubniczky +6

Detecting AI-generated code, deepfakes, and other synthetic content is an emerging research challenge. As code generated by Large Language Models (LLMs) becomes more common, identi…

cs.CR2025

LLM-Powered Intent-Based Categorization of Phishing Emails

Even Eilertsen, Vasileios Mavroeidis, Gudmund Grov

Phishing attacks remain a significant threat to modern cybersecurity, as they successfully deceive both humans and the defense mechanisms intended to protect them. Traditional dete…

cs.AI2024

On the use of neurosymbolic AI for defending against cyber attacks

Gudmund Grov, Jonas Halvorsen, Magnus Wiik Eckhoff +3

It is generally accepted that all cyber attacks cannot be prevented, creating a need for the ability to detect and respond to cyber attacks. Both connectionist and symbolic AI are…

cs.DB2023★ 57 cited

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…