9 citations · 18 across the 5 of their papers we have counts for
6 papers
Automated Vulnerability Injection in Smart Contracts Using Large Language Models
Luca Migliaccio, Roberto Natella, Naghmeh Ivaki +2
Assessing vulnerability detection tools for smart contracts requires datasets with known ground truth, yet such datasets are scarce and difficult to build by hand. We propose an ap…
A Model-Based Approach to Anomaly Detection Trading Detection Time and False Alarm Rate
Charles F. Gonçalves, Daniel S. Menasché, Alberto Avritzer +2
The complexity and ubiquity of modern computing systems is a fertile ground for anomalies, including security and privacy breaches. In this paper, we propose a new methodology that…
Towards Models for Availability and Security Evaluation of Cloud Computing with Moving Target Defense
Matheus Torquato, Marco Vieira
Security is one of the most relevant concerns in cloud computing. With the evolution of cyber-security threats, developing innovative techniques to thwart attacks is of utmost impo…
Propheticus: Machine Learning Framework for the Development of Predictive Models for Reliable and Secure Software
João R. Campos, Marco Vieira, Ernesto Costa
The growing complexity of software calls for innovative solutions that support the deployment of reliable and secure software. Machine Learning (ML) has shown its applicability to…
On Benchmarking Intrusion Detection Systems in Virtualized Environments
Aleksandar Milenkoski, Samuel Kounev, Alberto Avritzer +2
Modern intrusion detection systems (IDSes) for virtualized environments are deployed in the virtualization layer with components inside the virtual machine monitor (VMM) and the tr…
Technical Information on Vulnerabilities of Hypercall Handlers
Aleksandar Milenkoski, Marco Vieira, Bryan D. Payne +2
Modern virtualized service infrastructures expose attack vectors that enable attacks of high severity, such as attacks targeting hypervisors. A malicious user of a guest VM (virtua…