33 citations · 58 across the 15 of their papers we have counts for
Showing 2023Show all
2 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-…