Chiara Braghin

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 15

Top Topics

Security Protocols

Automated Design

Top Venues

Publications

Chiara Braghin, Mario Lilli, Elvinia Riccobene, Marian Baba
Kant: A Domain-Specific Language for Modeling Security Protocols. MODELSWARD (2024)
Chiara Braghin, Elvinia Riccobene, Simone Valentini
Modeling and verification of smart contracts with Abstract State Machines. SAC (2024)
Simone Valentini, Chiara Braghin, Elvinia Riccobene
A Modeling and Verification Framework for Ethereum Smart Contracts. ABZ (2024)
Chiara Braghin, Mario Lilli, Elvinia Riccobene
A model-based approach for vulnerability analysis of IoT security protocols: The Z-Wave case study. Comput. Secur. 127 (2023)
Marcello M. Bersani, Chiara Braghin, Vittorio Cortellessa, Angelo Gargantini, Vincenzo Grassi, F. Lo Presti, Raffaela Mirandola, Alfonso Pierantonio, Elvinia Riccobene, Patrizia Scandurra
Towards Trust-preserving Continuous Co-evolution of Digital Twins. ICSA Companion (2022)
Marcello M. Bersani, Chiara Braghin, Angelo Gargantini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra
Engineering of Trust Analysis-Driven Digital Twins for a Medical Device. ECSA (Tracks and Workshops) (2022)
Marco Anisetti, Claudio Agostino Ardagna, Chiara Braghin, Ernesto Damiani, Antongiacomo Polimeno, Alessandro Balestrucci
Dynamic and Scalable Enforcement of Access Control Policies for Big Data. MEDES (2021)
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
The THREAT-ARREST Cyber Range Platform. CSR (2021)
Mario Lilli, Chiara Braghin, Elvinia Riccobene
Formal Proof of a Vulnerability in Z-Wave IoT Protocol. SECRYPT (2021)
Chiara Braghin, Mario Lilli, Elvinia Riccobene
Towards ASM-Based Automated Formal Verification of Security Protocols. ABZ (2021)
Chiara Braghin, Stelvio Cimato, Ernesto Damiani, Fulvio Frati, Elvinia Riccobene, Sadegh Astaneh
Towards the Monitoring and Evaluation of Trainees' Activities in Cyber Ranges. MSTEC (2020)
Chiara Braghin, Stelvio Cimato, Ernesto Damiani, Fulvio Frati, Lara Mauri, Elvinia Riccobene
A Model Driven Approach for Cyber Security Scenarios Deployment. IOSec/MSTEC/FINSEC@ESORICS (2019)
Chiara Braghin, Stelvio Cimato, Simone Raimondi Cominesi, Ernesto Damiani, Lara Mauri
Towards Blockchain-Based E-Voting Systems. BIS (Workshops) (2019)
Chiara Braghin, Stelvio Cimato, Alessio Della Libera
Are mHealth Apps Secure? A Case Study. COMPSAC (2) (2018)
Chiara Braghin, Marilisa Del Vecchio
Is Pokémon GO Watching You? A Survey on the Privacy-Awareness of Location-Based Apps' Users. COMPSAC (2) (2017)
Francesco Arigliano, Antonia Azzini, Chiara Braghin, Antonio Caforio, Paolo Ceravolo, Ernesto Damiani, Vincenzo Savarino, Claudia Vicari, Francesco Zavatarelli
Knowledge and Business Intelligence Technologies in Cross-Enterprise Environments for Italian Advanced Mechanical Industry. SIMPDA (2013)
Antonia Azzini, Chiara Braghin, Ernesto Damiani, Francesco Zavatarelli
Using Semantic Lifting for improving Process Mining: a Data Loss Prevention System case study. SIMPDA (2013)
Paola Bonizzoni, Chiara Braghin, Riccardo Dondi, Gabriella Trucco
The binary perfect phylogeny with persistent characters. Theor. Comput. Sci. 454 (2012)
Chiara Braghin, Riccardo Dondi, Gabriella Trucco, Paola Bonizzoni
The Binary Perfect Phylogeny with Persistent characters CoRR (2011)
Chiara Braghin, Natasha Sharygina, Katerina Barone-Adesi
A model checking-based approach for security policy verification of mobile systems. Formal Aspects Comput. 23 (5) (2011)
Chiara Braghin, Agostino Cortesi, Riccardo Focardi
Information flow security in Boundary Ambients. Inf. Comput. 206 (2-4) (2008)
Roberto Aringhieri, Chiara Braghin, Daniele Catanzaro
An Exact Approach for solving the Balanced Minimum Evolution Problem. CTW (2008)
Chiara Braghin, Natasha Sharygina, Katerina Barone-Adesi
Automated Verification of Security Policies in Mobile Code. IFM (2007)
Chiara Braghin, Daniele Gorla, Vladimiro Sassone
Role-based access control for a distributed calculus. J. Comput. Secur. 14 (2) (2006)
Chiara Braghin, Agostino Cortesi
Flow-sensitive Leakage Analysis in Mobile Ambients. Electron. Notes Theor. Comput. Sci. 128 (5) (2005)
Chiara Braghin, Carla Piazza
Checking Integrity via CoPS and Banana: the E-Commerce Case Study . Electron. Notes Theor. Comput. Sci. 99 (2004)
Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza
Nesting analysis of mobile ambients. Comput. Lang. Syst. Struct. 30 (3-4) (2004)
Chiara Braghin, Daniele Gorla, Vladimiro Sassone
A Distributed Calculus for Ro^le-Based Access Control. CSFW (2004)
Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza
Behind BANANA: Design and Implementation of a Tool for Nesting Analysis of Mobile Ambients. Electron. Notes Theor. Comput. Sci. 99 (2004)
Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza
Complexity of Nesting Analysis in Mobile Ambients. VMCAI (2003)
Chiara Braghin, Agostino Cortesi, Riccardo Focardi
Information Leakage Detection in Boundary Ambients. Electron. Notes Theor. Comput. Sci. 78 (2003)
Chiara Braghin, Agostino Cortesi, Stefano Filippone, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza
BANANA - A Tool for Boundary Ambients Nesting ANAlysis. TACAS (2003)
Chiara Braghin, Agostino Cortesi, Riccardo Focardi
Control Flow Analysis of Mobile Ambients with Security Boundaries. FMOODS (2002)
Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Steffen van Bakel
Boundary Inference for Enforcing Security Policies in Mobile Ambients. IFIP TCS (2002)
Chiara Braghin, Agostino Cortesi, Riccardo Focardi
Security boundaries in mobile ambients. Comput. Lang. Syst. Struct. 28 (1) (2002)