BRAGHIN, CHIARA

BRAGHIN, CHIARA  

Dipartimento di Informatica Giovanni Degli Antoni  

Mostra records
Risultati 1 - 20 di 41 (tempo di esecuzione: 0.0 secondi).
Titolo Data di pubblicazione Autori Tipo File Abstract
Online Privacy 2024 Chiara BraghinMarco Cremonini Book Part (author) -
Modeling and verification of smart contracts with Abstract State Machines 2024 Braghin, ChiaraRiccobene, ElviniaValentini, Simone Book Part (author) -
Kant: A Domain-Specific Language for Modeling Security Protocols 2024 Braghin, C.Lilli, M.Riccobene, E. + Book Part (author) -
A Modeling and Verification Framework for Ethereum Smart Contracts 2024 Valentini, SimoneBraghin, ChiaraRiccobene, Elvinia Book Part (author) -
Balancing Protection and Quality in Big Data Analytics Pipelines 2024 Antongiacomo PolimenoChiara BraghinMarco AnisettiClaudio A. Ardagna + Article (author) -
A model-based approach for vulnerability analysis of IoT security protocols: The Z-Wave case study 2023 Braghin C.Lilli M.Riccobene E. Article (author) -
Towards Trust-preserving Continuous Co-evolution of Digital Twins 2022 Braghin, ChiaraRiccobene, ElviniaScandurra, Patrizia + Book Part (author) -
Towards ASM-Based Automated Formal Verification of Security Protocols 2021 Braghin C.Lilli M.Riccobene E. Book Part (author) -
Dynamic and Scalable Enforcement of Access Control Policies for Big Data 2021 Anisetti, MarcoArdagna, Claudio A.Braghin, ChiaraDamiani, ErnestoPolimeno, Antongiacomo + Book Part (author) -
Formal proof of a vulnerability in Z-wave IoT protocol 2021 Lilli M.Braghin C.Riccobene E. Book Part (author) -
The THREAT-ARREST Cyber Range Platform 2021 Frati, FulvioBraghin, ChiaraDamiani, Ernesto + Book Part (author) -
A Model Driven Approach for Cyber Security Scenarios Deployment 2020 Braghin, ChiaraCimato, StelvioDamiani, ErnestoFrati, FulvioMauri, LaraRiccobene, Elvinia Book Part (author) -
Towards the Monitoring and Evaluation of Trainees’ Activities in Cyber Ranges 2020 Braghin, ChiaraCimato, StelvioDamiani, ErnestoFrati, FulvioRiccobene, ElviniaAstaneh, Sadegh Book Part (author) -
Towards Blockchain-Based E-Voting Systems 2019 Braghin C.Cimato S.Damiani E.Mauri L. + Book Part (author) -
Designing smart-contract based auctions 2019 C. BraghinS. CimatoE. Damiani + Book Part (author) -
Are mHealth Apps Secure? : A Case Study 2018 Chiara BraghinStelvio Cimato + Book Part (author) -
Online Privacy 2017 BRAGHIN, CHIARAM. Cremonini Book Part (author) -
Is Pokémon GO Watching You? A Survey on the Privacy-Awareness of Location-Based Apps’ Users 2017 C. Braghin + Book Part (author) -
Using semantic lifting for improving process mining : a data loss prevention system case study 2013 A. AzziniC. BraghinE. DamianiF. Zavatarelli Book Part (author) -
Knowledge and business intelligence technologies in cross-enterprise environments for italian advanced mechanical industry 2013 A. AzziniC. BraghinP. CeravoloE. DamianiF. Zavatarelli + Book Part (author) -