6 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 automated method for the ontological representation of security directives
Giampaolo Bella, Gianpietro Castiglione, Daniele Francesco Santamaria
Large documents written in juridical language are difficult to interpret, with long sentences leading to intricate and intertwined relations between the nouns. The present paper fr…
A behaviouristic approach to representing processes and procedures in the OASIS 2 ontology
Giampaolo Bella, Gianpietro Castiglione, Daniele Francesco Santamaria
Foundational ontologies devoted to the effective representation of processes and procedures are not widely investigated at present, thereby limiting the practical adoption of seman…
Towards Grammatical Tagging for the Legal Language of Cybersecurity
Gianpietro Castiglione, Giampaolo Bella, Daniele Francesco Santamaria
Legal language can be understood as the language typically used by those engaged in the legal profession and, as such, it may come both in spoken or written form. Recent legislatio…