Chiara Braghin
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
14
Venues
11
Active years
2003–2026
Best venue rank
C
Where they publish
Papers
14 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | SECRYPT | Security-by-Design Reference Architecture for Data Governance in Healthcare Digital Twins. | Chiara Braghin, Stelvio Cimato, Andrea Marchesini, Fabio Palazzesi, Elvinia Riccobene |
| 2024 | MODELSWARD | Kant: A Domain-Specific Language for Modeling Security Protocols. | Chiara Braghin, Mario Lilli, Elvinia Riccobene, Marian Baba |
| 2024 | SAC | Modeling and verification of smart contracts with Abstract State Machines. | Chiara Braghin, Elvinia Riccobene, Simone Valentini |
| 2024 | SECRYPT | An ASM-Based Approach for Security Assessment of Ethereum Smart Contracts. | Chiara Braghin, Elvinia Riccobene, Simone Valentini |
| 2022 | ECSA | Engineering of Trust Analysis-Driven Digital Twins for a Medical Device. | Marcello M. Bersani, Chiara Braghin, Angelo Gargantini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra |
| 2022 | ICSA | 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 |
| 2021 | MEDES | Dynamic and Scalable Enforcement of Access Control Policies for Big Data. | Marco Anisetti, Claudio Agostino Ardagna, Chiara Braghin, Ernesto Damiani, Antongiacomo Polimeno, Alessandro Balestrucci |
| 2021 | SECRYPT | Formal Proof of a Vulnerability in Z-Wave IoT Protocol. | Mario Lilli, Chiara Braghin, Elvinia Riccobene |
| 2019 | ESORICS | A Model Driven Approach for Cyber Security Scenarios Deployment. | Chiara Braghin, Stelvio Cimato, Ernesto Damiani, Fulvio Frati, Lara Mauri, Elvinia Riccobene |
| 2018 | COMPSAC | Are mHealth Apps Secure? A Case Study. | Chiara Braghin, Stelvio Cimato, Alessio Della Libera |
| 2017 | COMPSAC | Is Pokmon GO Watching You? A Survey on the Privacy-Awareness of Location-Based Apps' Users. | Chiara Braghin, Marilisa Del Vecchio |
| 2007 | IFM | Automated Verification of Security Policies in Mobile Code. | Chiara Braghin, Natasha Sharygina, Katerina Barone-Adesi |
| 2003 | TACAS | BANANA - A Tool for Boundary Ambients Nesting ANAlysis. | Chiara Braghin, Agostino Cortesi, Stefano Filippone, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza |
| 2003 | VMCAI | Complexity of Nesting Analysis in Mobile Ambients. | Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza |