Development of a Testbed for Fully Homomorphic Encryption Solutions. - Stefano Marrone 001; Antonio Tortora; Emanuele Bellini 001; Antonella Maione; Mariapia Raimondo (CSR, 2021)

On Formalising and Analysing the Tweetchain Protocol. - Mariapia Raimondo; Simona Bernardi 001; Stefano Marrone 001 (ICISSP, 2021)

Sensitive Information Detection Adopting Named Entity Recognition: A Proposed Methodology. - Lelio Campanile; Maria Stella de Biase; Stefano Marrone 001; Fiammetta Marulli; Mariapia Raimondo; Laura Verde (ICCSA (Workshops 4), 2022)

On the Evaluation of BDD Requirements with Text-based Metrics: The ETCS-L3 Case Study. - Lelio Campanile; Maria Stella de Biase; Stefano Marrone 001; Mariapia Raimondo; Laura Verde (KES-IDT, 2022)

Model-Driven Engineering for Formal Verification and Security Testing of Authentication Protocols. - Mariapia Raimondo; Stefano Marrone 001; Angelo Palladino (CoRR, 2022)

Demonstrating the Necessity of Model Generation in Security Protocol Verification. - Mariapia Raimondo; Stefano Marrone 001; Simona Bernardi 001; Angelo Palladino (ETFA, 2023)

An approach for the automatic verification of blockchain protocols: the Tweetchain case study. - Mariapia Raimondo; Simona Bernardi 001; Stefano Marrone 001; José Merseguer (J. Comput. Virol. Hacking Tech., 2023)