Mariapia Raimondo

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 7

Top Topics

Sensitive Information

Annotated Corpus

Authentication Protocol

Formal Verification

Top Venues

ICCSA (Workshops 4)

Publications

Mariapia Raimondo, Simona Bernardi, Stefano Marrone, José Merseguer
An approach for the automatic verification of blockchain protocols: the Tweetchain case study. J. Comput. Virol. Hacking Tech. 19 (1) (2023)
Mariapia Raimondo, Stefano Marrone, Simona Bernardi, Angelo Palladino
Demonstrating the Necessity of Model Generation in Security Protocol Verification. ETFA (2023)
Lelio Campanile, Maria Stella de Biase, Stefano Marrone, Mariapia Raimondo, Laura Verde
On the Evaluation of BDD Requirements with Text-based Metrics: The ETCS-L3 Case Study. KES-IDT (2022)
Lelio Campanile, Maria Stella de Biase, Stefano Marrone, Fiammetta Marulli, Mariapia Raimondo, Laura Verde
Sensitive Information Detection Adopting Named Entity Recognition: A Proposed Methodology. ICCSA (Workshops 4) (2022)
Mariapia Raimondo, Stefano Marrone, Angelo Palladino
Model-Driven Engineering for Formal Verification and Security Testing of Authentication Protocols. CoRR (2022)
Stefano Marrone, Antonio Tortora, Emanuele Bellini, Antonella Maione, Mariapia Raimondo
Development of a Testbed for Fully Homomorphic Encryption Solutions. CSR (2021)
Mariapia Raimondo, Simona Bernardi, Stefano Marrone
On Formalising and Analysing the Tweetchain Protocol. ICISSP (2021)