Chiara Braghin

42 papers A 1B 2C 9Misc 2Journal 11Unranked 16

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