Security Automation using Traffic Flow Modeling. - Simone Bussa; Riccardo Sisto; Fulvio Valenza (NetSoft, 2022)

Formal Verification of the FDO Protocol. - Simone Bussa; Riccardo Sisto; Fulvio Valenza (CSCN, 2023)

Formal Verification of a V2X Privacy Preserving Scheme Using Proverif. - Simone Bussa; Riccardo Sisto; Fulvio Valenza (CSR, 2023)

Zero- Touch Privacy Preserving Provisioning in an Edge-, Fog-, and Cloud Environment. - Raphael Schermann; Simone Bussa; Rainer Urian; Christian Steger (FMEC, 2023)

PAKA: Pseudonymous Authenticated Key Agreement without bilinear cryptography. - Raphael Schermann; Simone Bussa; Rainer Urian; Ronald Toegl; Christian Steger (ARES, 2024)

A Two-Fold Traffic Flow Model for Network Security Management. - Daniele Bringhenti; Simone Bussa; Riccardo Sisto; Fulvio Valenza (IEEE Trans. Netw. Serv. Manag., 2024)

Formal verification of a V2X scheme mixing traditional PKI and group signatures. - Simone Bussa; Riccardo Sisto; Fulvio Valenza (J. Inf. Secur. Appl., 2025)

Atomizing Firewall Policies for Anomaly Analysis and Resolution. - Daniele Bringhenti; Simone Bussa; Riccardo Sisto; Fulvio Valenza (IEEE Trans. Dependable Secur. Comput., 2025)