Mariapia Raimondo

According to our database, Mariapia Raimondo authored at least 7 papers between 2021 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

An approach for the automatic verification of blockchain protocols: the Tweetchain case study.

Mariapia Raimondo, Simona Bernardi, Stefano Marrone, José Merseguer

J. Comput. Virol. Hacking Tech., March, 2023

Demonstrating the Necessity of Model Generation in Security Protocol Verification.

Mariapia Raimondo, Stefano Marrone, Simona Bernardi, Angelo Palladino

Proceedings of the 28th IEEE International Conference on Emerging Technologies and Factory Automation, 2023

2022

Model-Driven Engineering for Formal Verification and Security Testing of Authentication Protocols.

Mariapia Raimondo, Stefano Marrone, Angelo Palladino

CoRR, 2022

On the Evaluation of BDD Requirements with Text-based Metrics: The ETCS-L3 Case Study.

Lelio Campanile, Maria Stella de Biase, Stefano Marrone, Mariapia Raimondo, Laura Verde

Proceedings of the Intelligent Decision Technologies, 2022

Sensitive Information Detection Adopting Named Entity Recognition: A Proposed Methodology.

Lelio Campanile, Maria Stella de Biase, Stefano Marrone, Fiammetta Marulli, Mariapia Raimondo, Laura Verde

Proceedings of the Computational Science and Its Applications - ICCSA 2022 Workshops, 2022

2021

On Formalising and Analysing the Tweetchain Protocol.

Mariapia Raimondo, Simona Bernardi, Stefano Marrone

Proceedings of the 7th International Conference on Information Systems Security and Privacy, 2021

Development of a Testbed for Fully Homomorphic Encryption Solutions.

Stefano Marrone, Antonio Tortora, Emanuele Bellini, Antonella Maione, Mariapia Raimondo

Proceedings of the IEEE International Conference on Cyber Security and Resilience, 2021