Braghin Chiara
Researcher
Scientific-Disciplinary Sector
INFO-01/A - Informatics
Scientific-Disciplinary Group/Competition Sector
01/INFO-01 - INFORMATICA
Research fields and competencies
Contacts
Workplace
Office phone number
University email address
Teaching - Programme courses
Bachelors and masters
A.Y. 2025/2026
A.Y. 2024/2025
A.Y. 2023/2024
A.Y. 2022/2023
A.Y. 2021/2022
A.Y. 2020/2021
A.Y. 2019/2020
A.Y. 2018/2019
Postgraduate programmes
A.Y. 2022/2023
2nd level vocational master
- Web & Mobile Security (Cybersecurity and Data Protection (DIGITAL, LEGAL AND MANAGEMENT SKILLS))
Research
Publications
-
Maximizing data quality while ensuring data protection in service-based data pipelines / A. Polimeno, C. Braghin, M. Anisetti, C.A. Ardagna. - In: JOURNAL OF BIG DATA. - ISSN 2196-1115. - 12:1(2025 Dec), pp. 62.1-62.34. [10.1186/s40537-025-01118-5]
-
Modeling and verification of smart contracts with Abstract State Machines / C. Braghin, E. Riccobene, S. Valentini - In: SAC '24: Proceedings / [a cura di] J. Hong, J. Won Park, A. Przybyłek. - [s.l] : ACM, 2024 May 21. - ISBN 9798400702433. - pp. 1425-1432 (( Intervento presentato al 39. convegno Symposium on Applied Computing tenutosi a Avila nel 2024 [10.1145/3605098.3636040].
-
Kant: A Domain-Specific Language for Modeling Security Protocols / C. Braghin, M. Lilli, E. Riccobene, E. Notari, M. Baba - In: Proceedings of the 12th International Conference on Model-Based Software and Systems Engineering MODELSWARD. 1 / [a cura di] F.J. Domínguez Mayo, L. Ferreira Pires, E. Seidewitz. - [s.l] : SciTePress, 2024. - ISBN 978-989-758-682-8. - pp. 62-73 (( convegno Conference on Model-Based Software and Systems Engineering (MODELSWARD) tenutosi a Roma nel 2024 [10.5220/0012386400003645].
-
A Modeling and Verification Framework for Ethereum Smart Contracts / S. Valentini, C. Braghin, E. Riccobene (LECTURE NOTES IN COMPUTER SCIENCE). - In: Rigorous State-Based Methods / [a cura di] S. Bonfanti, A. Gargantini, M. Leuschel, E. Riccobene, P. Scandurra. - [s.l] : Springer Nature, 2024. - ISBN 9783031637896. - pp. 201-207 (( Intervento presentato al 10. convegno International Conference on Rigorous State-Based Methods tenutosi a Bergamo nel 2024 [10.1007/978-3-031-63790-2_13].
-
An ASM-Based Approach for Security Assessment of Ethereum Smart Contracts / C. Braghin, E. Riccobene, S. Valentini - In: Proceedings of the International Conference on Security and Cryptography[s.l] : Science and Technology Publications, Lda, 2024. - ISBN 978-989-758-709-2. - pp. 334-344 (( convegno 21st International Conference on Security and Cryptography, SECRYPT 2024 tenutosi a fra nel 2024 [10.5220/0012858000003767].