activity
20242026
most citedHow hard can it be? Quantifying MITRE attack campaigns with attack trees and cATM logic

1 citations · 1 across the 7 of their papers we have counts for

collaborators

7 papers

cs.CR2026

CRSF: Collusion-Resilient Privacy-Preserving Sensor Fusion with Byzantine-Robust Participation

Chao Yin, Haihong Tian, Zheng Yang +3

Privacy-preserving sensor fusion enables an untrusted server to compute an aggregate result over distributed sensor measurements without learning either individual inputs or the fi…

cs.CR2025

Today's Cat Is Tomorrow's Dog: Accounting for Time-Based Changes in the Labels of ML Vulnerability Detection Approaches

Ranindya Paramitha, Yuan Feng, Fabio Massacci

Vulnerability datasets used for ML testing implicitly contain retrospective information. When tested on the field, one can only use the labels available at the time of training and…

cs.SE2025

Using ML filters to help automated vulnerability repairs: when it helps and when it doesn't

Maria Camporese, Fabio Massacci

[Context:] The acceptance of candidate patches in automated program repair has been typically based on testing oracles. Testing requires typically a costly process of building the…

cs.CR2025

A Systematic Literature Review on Automated Exploit and Security Test Generation

Quang-Cuong Bui, Emanuele Iannone, Maria Camporese +7

The exploit or the Proof of Concept of the vulnerability plays an important role in developing superior vulnerability repair techniques, as it can be used as an oracle to verify th…

cs.SE2024

Forecasting the risk of software choices: A model to foretell security vulnerabilities from library dependencies and source code evolution

Carlos E. Budde, Ranindya Paramitha, Fabio Massacci

Software security mainly studies vulnerability detection: is my code vulnerable today? This hinders risk estimation, so new approaches are emerging to forecast the occurrence of fu…

cs.CR2024★ 1 cited

How hard can it be? Quantifying MITRE attack campaigns with attack trees and cATM logic

Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga +2

The landscape of cyber threats grows more complex by the day. Advanced Persistent Threats carry out attack campaigns - e.g. operations Dream Job, Wocao, and WannaCry - against whic…

cs.SE2024

Cross-ecosystem categorization: A manual-curation protocol for the categorization of Java Maven libraries along Python PyPI Topics

Ranindya Paramitha, Yuan Feng, Fabio Massacci +1

Context: Software of different functional categories, such as text processing vs. networking, has different profiles in terms of metrics like security and updates. Using popularity…