Mariapia Raimondo

According to our database, Mariapia Raimondo authored at least 8 papers between 2021 and 2026.

Collaborative distances:

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

2026

An Innovative Infrastructure for a Pediatric Oncology Network in the Campania Region.

Erica Ambrosino, Marco Aruta, Dalia As Ad, Sara Ferrigno, Ciro Listone, Floriana Nappi, Salvatore Romano, Melania Ruopolo, Francesco Adinolfi, Michele Cimmino, Mariapia Raimondo, Francesco Serino, Aniello Murano

Proceedings of the 19th International Joint Conference on Biomedical Engineering Systems and Technologies, 2026

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