BRAGHIN, CHIARA
BRAGHIN, CHIARA
Dipartimento di Informatica Giovanni Degli Antoni
BlockHealth: a Blockchain based Framework for Secure and Efficient Healthcare Data Management
2026 C. Braghin, S. Cimato, S. Pesci, E. Riccobene
Using Symbolic Model Execution to Detect Vulnerabilities of Smart Contracts
2026 C. Braghin, G. Del Castillo, E. Riccobene, S. Valentini
AProVer Front-End Modelling Language for Designing Security Protocols
2025 C. Braghin, M. Lilli, E. Riccobene
AvaDrive: A Blockchain Based Framework for Efficient Vehicle to Grid Management
2025 G. Aurora, C. Braghin, S. Cimato
Maximizing data quality while ensuring data protection in service-based data pipelines
2025 A. Polimeno, C. Braghin, M. Anisetti, C.A. Ardagna
A Modeling and Verification Framework for Ethereum Smart Contracts
2024 S. Valentini, C. Braghin, E. Riccobene
Kant: A Domain-Specific Language for Modeling Security Protocols
2024 C. Braghin, M. Lilli, E. Riccobene, E. Notari, M. Baba
Online Privacy
2024 C. Braghin, M. Cremonini
Balancing Protection and Quality in Big Data Analytics Pipelines
2024 A. Polimeno, P. Mignone, C. Braghin, M. Anisetti, M. Ceci, D. Malerba, C.A. Ardagna
An ASM-Based Approach for Security Assessment of Ethereum Smart Contracts
2024 C. Braghin, E. Riccobene, S. Valentini
Modeling and verification of smart contracts with Abstract State Machines
2024 C. Braghin, E. Riccobene, S. Valentini
Engineering of Trust Analysis-Driven Digital Twins for a Medical Device
2023 M.M. Bersani, C. Braghin, A. Gargantini, R. Mirandola, E. Riccobene, P. Scandurra
A model-based approach for vulnerability analysis of IoT security protocols: The Z-Wave case study
2023 C. Braghin, M. Lilli, E. Riccobene
Towards Trust-preserving Continuous Co-evolution of Digital Twins
2022 M. Bersani, C. Braghin, V. Cortellessa, A. Gargantini, V. Grassi, F. Lo Presti, R. Mirandola, A. Pierantonio, E. Riccobene, P. Scandurra
The THREAT-ARREST Cyber Range Platform
2021 G. Hatzivasilis, S. Ioannidis, M. Smyrlis, G. Spanoudakis, F. Frati, C. Braghin, E. Damiani, H. Koshutanski, G. Tsakirakis, T. Hildebrandt, L. Goeke, S. Pape, O. Blinder, M. Vinov, G. Leftheriotis, M. Kunc, F. Oikonomou, G. Magilo, V. Petrarolo, A. Chieti, R. Bordianu
Towards ASM-Based Automated Formal Verification of Security Protocols
2021 C. Braghin, M. Lilli, E. Riccobene
Dynamic and Scalable Enforcement of Access Control Policies for Big Data
2021 M. Anisetti, C.A. Ardagna, C. Braghin, E. Damiani, A. Polimeno, A. Balestrucci
Formal proof of a vulnerability in Z-wave IoT protocol
2021 M. Lilli, C. Braghin, E. Riccobene
A Model Driven Approach for Cyber Security Scenarios Deployment
2020 C. Braghin, S. Cimato, E. Damiani, F. Frati, L. Mauri, E. Riccobene
Towards the Monitoring and Evaluation of Trainees’ Activities in Cyber Ranges
2020 C. Braghin, S. Cimato, E. Damiani, F. Frati, E. Riccobene, S. Astaneh