activity
20192026
most citedStateAFL: Greybox Fuzzing for Stateful Network Servers

140 citations · 600 across the 36 of their papers we have counts for

collaborators
Showing 2023Show all

5 papers · 1 filter

cs.CR2023★ 9 cited

Laccolith: Hypervisor-Based Adversary Emulation with Anti-Detection

Vittorio Orbinato, Marco Carlo Feliciano, Domenico Cotroneo +1

Advanced Persistent Threats (APTs) represent the most threatening form of attack nowadays since they can stay undetected for a long time. Adversary emulation is a proactive approac…

cs.SE2023★ 33 cited

Automating the Correctness Assessment of AI-generated Code for Security Contexts

Domenico Cotroneo, Alessio Foggia, Cristina Improta +2

Evaluating the correctness of code generated by AI is a challenging open problem. In this paper, we propose a fully automated method, named ACCA, to evaluate the correctness of AI-…

cs.CR2023★ 39 cited

Vulnerabilities in AI Code Generators: Exploring Targeted Data Poisoning Attacks

Domenico Cotroneo, Cristina Improta, Pietro Liguori +1

AI-based code generators have become pivotal in assisting developers in writing software starting from natural language (NL). However, they are trained on large amounts of data, of…

cs.LG2023★ 7 cited

Enhancing Robustness of AI Offensive Code Generators via Data Augmentation

Cristina Improta, Pietro Liguori, Roberto Natella +2

Since manually writing software exploits for offensive security is time-consuming and requires expert knowledge, AI-base code generators are an attractive solution to enhance secur…

cs.SE2023★ 10 cited

Run-time Failure Detection via Non-intrusive Event Analysis in a Large-Scale Cloud Computing Platform

Domenico Cotroneo, Luigi De Simone, Pietro Liguori +1

Cloud computing systems fail in complex and unforeseen ways due to unexpected combinations of events and interactions among hardware and software components. These failures are esp…