4 papers
VeriSBOM: Secure and Verifiable SBOM Sharing Via Zero-Knowledge Proofs
Gianpietro Castiglione, Shahriar Ebrahimi, Narges Khakpour
A Software Bill of Materials (SBOM) is a key component for the transparency of software supply chain; it is a structured inventory of the components, dependencies, and associated m…
Poster: Machine Learning for Vulnerability Detection as Target Oracle in Automated Fuzz Driver Generation
Gianpietro Castiglione, Marcello Maugeri, Giampaolo Bella
In vulnerability detection, machine learning has been used as an effective static analysis technique, although it suffers from a significant rate of false positives. Contextually,…
Not Sure Your Car Withstands Cyberwarfare
Giampaolo Bella, Gianpietro Castiglione, Sergio Esposito +2
Data and derived information about target victims has always been key for successful attacks, both during historical wars and modern cyber wars. Ours turns out to be an era in whic…
An Ontological Approach to Compliance Verification of the NIS 2 Directive
Gianpietro Castiglione, Daniele Francesco Santamaria, Giampaolo Bella
Cybersecurity, which notoriously concerns both human and technological aspects, is becoming more and more regulated by a number of textual documents spanning several pages, such as…