Mariapia Raimondo
According to our database1,
Mariapia Raimondo
authored at least 7 papers
between 2021 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
2021
2022
2023
0
1
2
3
4
1
1
1
2
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
An approach for the automatic verification of blockchain protocols: the Tweetchain case study.
J. Comput. Virol. Hacking Tech., March, 2023
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.
CoRR, 2022
On the Evaluation of BDD Requirements with Text-based Metrics: The ETCS-L3 Case Study.
Proceedings of the Intelligent Decision Technologies, 2022
Sensitive Information Detection Adopting Named Entity Recognition: A Proposed Methodology.
Proceedings of the Computational Science and Its Applications - ICCSA 2022 Workshops, 2022
2021
Proceedings of the 7th International Conference on Information Systems Security and Privacy, 2021
Proceedings of the IEEE International Conference on Cyber Security and Resilience, 2021