Control Flow Analysis of Mobile Ambients with Security Boundaries. - Chiara Braghin; Agostino Cortesi; Riccardo Focardi (FMOODS, 2002)

Boundary Inference for Enforcing Security Policies in Mobile Ambients. - Chiara Braghin; Agostino Cortesi; Riccardo Focardi; Steffen van Bakel (IFIP TCS, 2002)

Security boundaries in mobile ambients. - Chiara Braghin; Agostino Cortesi; Riccardo Focardi (Comput. Lang. Syst. Struct., 2002)

BANANA - A Tool for Boundary Ambients Nesting ANAlysis. - Chiara Braghin; Agostino Cortesi; Stefano Filippone; Riccardo Focardi; Flaminia L. Luccio; Carla Piazza (TACAS, 2003)

Complexity of Nesting Analysis in Mobile Ambients. - Chiara Braghin; Agostino Cortesi; Riccardo Focardi; Flaminia L. Luccio; Carla Piazza (VMCAI, 2003)

Information Leakage Detection in Boundary Ambients. - Chiara Braghin; Agostino Cortesi; Riccardo Focardi (CATS, 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 (MEFISTO, 2003)

Checking Integrity via CoPS and Banana: the E-Commerce Case Study . - Chiara Braghin; Carla Piazza (MEFISTO, 2003)

A Distributed Calculus for Ro^le-Based Access Control. - Chiara Braghin; Daniele Gorla; Vladimiro Sassone (CSFW, 2004)

Nesting analysis of mobile ambients. - Chiara Braghin; Agostino Cortesi; Riccardo Focardi; Flaminia L. Luccio; Carla Piazza (Comput. Lang. Syst. Struct., 2004)

Flow-sensitive Leakage Analysis in Mobile Ambients. - Chiara Braghin; Agostino Cortesi (SecCo, 2004)

Static analysis of security properties in mobile ambients. - Chiara Braghin (2005)

Role-based access control for a distributed calculus. - Chiara Braghin; Daniele Gorla; Vladimiro Sassone (J. Comput. Secur., 2006)

Automated Verification of Security Policies in Mobile Code. - Chiara Braghin; Natasha Sharygina; Katerina Barone-Adesi (IFM, 2007)

An Exact Approach for solving the Balanced Minimum Evolution Problem. - Roberto Aringhieri; Chiara Braghin; Daniele Catanzaro (CTW, 2008)

Information flow security in Boundary Ambients. - Chiara Braghin; Agostino Cortesi; Riccardo Focardi (Inf. Comput., 2008)

A model checking-based approach for security policy verification of mobile systems. - Chiara Braghin; Natasha Sharygina; Katerina Barone-Adesi (Formal Aspects Comput., 2011)

The binary perfect phylogeny with persistent characters. - Paola Bonizzoni; Chiara Braghin; Riccardo Dondi; Gabriella Trucco (Theor. Comput. Sci., 2012)

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 (SIMPDA, 2013)

Using Semantic Lifting for improving Process Mining: a Data Loss Prevention System case study. - Antonia Azzini; Chiara Braghin; Ernesto Damiani; Francesco Zavatarelli (SIMPDA, 2013)

Is Pokémon GO Watching You? A Survey on the Privacy-Awareness of Location-Based Apps' Users. - Chiara Braghin; Marilisa Del Vecchio (COMPSAC (2), 2017)

Are mHealth Apps Secure? A Case Study. - Chiara Braghin; Stelvio Cimato; Alessio Della Libera (COMPSAC (2), 2018)

Towards Blockchain-Based E-Voting Systems. - Chiara Braghin; Stelvio Cimato; Simone Raimondi Cominesi; Ernesto Damiani; Lara Mauri (BIS (Workshops), 2019)

A Model Driven Approach for Cyber Security Scenarios Deployment. - Chiara Braghin; Stelvio Cimato; Ernesto Damiani; Fulvio Frati; Lara Mauri; Elvinia Riccobene (IOSec/MSTEC/FINSEC@ESORICS, 2019)

Towards the Monitoring and Evaluation of Trainees' Activities in Cyber Ranges. - Chiara Braghin; Stelvio Cimato; Ernesto Damiani; Fulvio Frati; Elvinia Riccobene; Sadegh Astaneh (MSTEC, 2020)

Towards ASM-Based Automated Formal Verification of Security Protocols. - Chiara Braghin; Mario Lilli; Elvinia Riccobene (ABZ, 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 001; et al. (CSR, 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 (MEDES, 2021)

Formal Proof of a Vulnerability in Z-Wave IoT Protocol. - Mario Lilli; Chiara Braghin; Elvinia Riccobene (SECRYPT, 2021)

Engineering of Trust Analysis-Driven Digital Twins for a Medical Device. - Marcello M. Bersani; Chiara Braghin; Angelo Gargantini; Raffaela Mirandola; Elvinia Riccobene; Patrizia Scandurra (ECSA (Tracks and Workshops), 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 (ICSA Companion, 2022)

A model-based approach for vulnerability analysis of IoT security protocols: The Z-Wave case study. - Chiara Braghin; Mario Lilli; Elvinia Riccobene (Comput. Secur., 2023)

Kant: A Domain-Specific Language for Modeling Security Protocols. - Chiara Braghin; Mario Lilli; Elvinia Riccobene; Marian Baba (MODELSWARD, 2024)

Modeling and verification of smart contracts with Abstract State Machines. - Chiara Braghin; Elvinia Riccobene; Simone Valentini (SAC, 2024)

An ASM-Based Approach for Security Assessment of Ethereum Smart Contracts. - Chiara Braghin; Elvinia Riccobene; Simone Valentini (SECRYPT, 2024)

A Modeling and Verification Framework for Ethereum Smart Contracts. - Simone Valentini; Chiara Braghin; Elvinia Riccobene (ABZ, 2024)

Using Symbolic Model Execution to Detect Vulnerabilities of Smart Contracts. - Chiara Braghin; Giuseppe Del Castillo; Elvinia Riccobene; Simone Valentini (ABZ, 2025)

Balancing Protection and Quality in Big Data Analytics Pipelines. - Antongiacomo Polimeno; Paolo Mignone; Chiara Braghin; Marco Anisetti; Michelangelo Ceci; Donato Malerba; Claudio A. Ardagna (Big Data, 2025)

Maximizing data quality while ensuring data protection in service-based data pipelines. - Antongiacomo Polimeno; Chiara Braghin; Marco Anisetti; Claudio A. Ardagna (J. Big Data, 2025)