Chiara Braghin

According to our database, Chiara Braghin authored at least 36 papers between 2002 and 2024.

Collaborative distances:

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

2024

A Modeling and Verification Framework for Ethereum Smart Contracts.

Simone Valentini, Chiara Braghin, Elvinia Riccobene

Proceedings of the Rigorous State-Based Methods - 10th International Conference, 2024

An ASM-Based Approach for Security Assessment of Ethereum Smart Contracts.

Chiara Braghin, Elvinia Riccobene, Simone Valentini

Proceedings of the 21st International Conference on Security and Cryptography, 2024

Modeling and verification of smart contracts with Abstract State Machines.

Chiara Braghin, Elvinia Riccobene, Simone Valentini

Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, 2024

Kant: A Domain-Specific Language for Modeling Security Protocols.

Chiara Braghin, Mario Lilli, Elvinia Riccobene, Marian Baba

Proceedings of the 12th International Conference on Model-Based Software and Systems Engineering, 2024

2023

A model-based approach for vulnerability analysis of IoT security protocols: The Z-Wave case study.

Chiara Braghin, Mario Lilli, Elvinia Riccobene

Comput. Secur., April, 2023

2022

Towards Trust-preserving Continuous Co-evolution of Digital Twins.

Marcello M. Bersani, Chiara Braghin, Vittorio Cortellessa, Angelo Gargantini, Vincenzo Grassi, F. Lo Presti, Raffaela Mirandola, Alfonso Pierantonio, Elvinia Riccobene, Patrizia Scandurra

Proceedings of the IEEE 19th International Conference on Software Architecture Companion, 2022

Engineering of Trust Analysis-Driven Digital Twins for a Medical Device.

Marcello M. Bersani, Chiara Braghin, Angelo Gargantini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra

Proceedings of the Software Architecture. ECSA 2022 Tracks and Workshops, 2022

2021

Formal Proof of a Vulnerability in Z-Wave IoT Protocol.

Mario Lilli, Chiara Braghin, Elvinia Riccobene

Proceedings of the 18th International Conference on Security and Cryptography, 2021

Dynamic and Scalable Enforcement of Access Control Policies for Big Data.

Marco Anisetti, Claudio Agostino Ardagna, Chiara Braghin, Ernesto Damiani, Antongiacomo Polimeno, Alessandro Balestrucci

Proceedings of the MEDES '21: Proceedings of the 13th International Conference on Management of Digital EcoSystems, Virtual Event, Tunisia, November 1, 2021

The THREAT-ARREST Cyber Range Platform.

George Hatzivasilis, Sotiris Ioannidis, Michail Smyrlis, George Spanoudakis, Fulvio Frati, Chiara Braghin, Ernesto Damiani, Hristo Koshutanski, George Tsakirakis, Torsten Hildebrandt, Ludger Goeke, Sebastian Pape, Oleg Blinder, Michael Vinov, George Leftheriotis, Martin Kunc, Fotis Oikonomou, Giovanni Magilo, Vito Petrarolo, Antonio Chieti, Robert Bordianu

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

Towards ASM-Based Automated Formal Verification of Security Protocols.

Chiara Braghin, Mario Lilli, Elvinia Riccobene

Proceedings of the Rigorous State-Based Methods - 8th International Conference, 2021

2020

Towards the Monitoring and Evaluation of Trainees' Activities in Cyber Ranges.

Chiara Braghin, Stelvio Cimato, Ernesto Damiani, Fulvio Frati, Elvinia Riccobene, Sadegh Astaneh

Proceedings of the Model-driven Simulation and Training Environments for Cybersecurity, 2020

2019

A Model Driven Approach for Cyber Security Scenarios Deployment.

Chiara Braghin, Stelvio Cimato, Ernesto Damiani, Fulvio Frati, Lara Mauri, Elvinia Riccobene

Proceedings of the Computer Security - ESORICS 2019 International Workshops, 2019

Towards Blockchain-Based E-Voting Systems.

Chiara Braghin, Stelvio Cimato, Simone Raimondi Cominesi, Ernesto Damiani, Lara Mauri

Proceedings of the Business Information Systems Workshops, 2019

2018

Are mHealth Apps Secure? A Case Study.

Chiara Braghin, Stelvio Cimato, Alessio Della Libera

Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018

2017

Is Pokémon GO Watching You? A Survey on the Privacy-Awareness of Location-Based Apps' Users.

Chiara Braghin, Marilisa Del Vecchio

Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

2013

Using Semantic Lifting for improving Process Mining: a Data Loss Prevention System case study.

Antonia Azzini, Chiara Braghin, Ernesto Damiani, Francesco Zavatarelli

Proceedings of the 3rd International Symposium on Data-driven Process Discovery and Analysis, 2013

Knowledge and Business Intelligence Technologies in Cross-Enterprise Environments for Italian Advanced Mechanical Industry.

Francesco Arigliano, Antonia Azzini, Chiara Braghin, Antonio Caforio, Paolo Ceravolo, Ernesto Damiani, Vincenzo Savarino, Claudia Vicari, Francesco Zavatarelli

Proceedings of the 3rd International Symposium on Data-driven Process Discovery and Analysis, 2013

2012

The binary perfect phylogeny with persistent characters.

Paola Bonizzoni, Chiara Braghin, Riccardo Dondi, Gabriella Trucco

Theor. Comput. Sci., 2012

2011

A model checking-based approach for security policy verification of mobile systems.

Chiara Braghin, Natasha Sharygina, Katerina Barone-Adesi

Formal Aspects Comput., 2011

2008

Information flow security in Boundary Ambients.

Chiara Braghin, Agostino Cortesi, Riccardo Focardi

Inf. Comput., 2008

An Exact Approach for solving the Balanced Minimum Evolution Problem.

Roberto Aringhieri, Chiara Braghin, Daniele Catanzaro

Proceedings of the Seventh Cologne Twente Workshop on Graphs and Combinatorial Optimization, 2008

2007

Automated Verification of Security Policies in Mobile Code.

Chiara Braghin, Natasha Sharygina, Katerina Barone-Adesi

Proceedings of the Integrated Formal Methods, 6th International Conference, 2007

2006

Role-based access control for a distributed calculus.

Chiara Braghin, Daniele Gorla, Vladimiro Sassone

J. Comput. Secur., 2006

2005

Static analysis of security properties in mobile ambients.

Chiara Braghin

PhD thesis, 2005

2004

Flow-sensitive Leakage Analysis in Mobile Ambients.

Chiara Braghin, Agostino Cortesi

Proceedings of the 2nd International Workshop on Security Issues in Coordination Models, 2004

Nesting analysis of mobile ambients.

Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza

Comput. Lang. Syst. Struct., 2004

A Distributed Calculus for Ro^le-Based Access Control.

Chiara Braghin, Daniele Gorla, Vladimiro Sassone

Proceedings of the 17th IEEE Computer Security Foundations Workshop, 2004

2003

Checking Integrity via CoPS and Banana: the E-Commerce Case Study .

Chiara Braghin, Carla Piazza

Proceedings of the Formal Methods for Security and Time: Proceedings of the MEFISTO Project 2003, 2003

Behind BANANA: Design and Implementation of a Tool for Nesting Analysis of Mobile Ambients.

Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza

Proceedings of the Formal Methods for Security and Time: Proceedings of the MEFISTO Project 2003, 2003

Information Leakage Detection in Boundary Ambients.

Chiara Braghin, Agostino Cortesi, Riccardo Focardi

Proceedings of the Computing: the Australasian Theory Symposiumm, 2003

Complexity of Nesting Analysis in Mobile Ambients.

Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza

Proceedings of the Verification, 2003

BANANA - A Tool for Boundary Ambients Nesting ANAlysis.

Chiara Braghin, Agostino Cortesi, Stefano Filippone, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

2002

Security boundaries in mobile ambients.

Chiara Braghin, Agostino Cortesi, Riccardo Focardi

Comput. Lang. Syst. Struct., 2002

Boundary Inference for Enforcing Security Policies in Mobile Ambients.

Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Steffen van Bakel

Proceedings of the Foundations of Information Technology in the Era of Networking and Mobile Computing, 2002

Control Flow Analysis of Mobile Ambients with Security Boundaries.

Chiara Braghin, Agostino Cortesi, Riccardo Focardi

Proceedings of the Formal Methods for Open Object-Based Distributed Systems V, 2002