BRAGHIN, CHIARA
BRAGHIN, CHIARA
Dipartimento di Informatica Giovanni Degli Antoni
A distributed calculus for role-based access control
2004-01-01 C. Braghin, D. Gorla, V. Sassone
Analisi dei costi di proprietà di prodotti software nella transizione a sistemi open source
2005-01-01 B. Russo, C. Braghin, M. Ceschi, P. Gasperi, G. Succi
Are mHealth Apps Secure? : A Case Study
2018-01-01 C. Braghin, S. Cimato, A. Della Libera
Automated verification of security policies in mobile code
2007-01-01 C. Braghin, N. Sharygina, K. Barone Adesi
BANANA : a tool for boundary ambients nesting analysis
2003-01-01 C. Braghin, A. Cortesi, S. Filippone, R. Focardi, F.L. Luccio, C. Piazza
Behind BANANA : design and implementation of a tool for nesting analysis of mobile ambients
2004-01-01 C. Braghin, A. Cortesi, R. Focardi , F.L. Luccio, C. Piazza
The binary perfect phylogeny with persistent characters
2012-10-05 P. Bonizzoni, C. Braghin, R. Dondi, G. Trucco
Boundary inference for enforcing security policies in mobile ambients
2002-01-01 C. Braghin, A. Cortesi, R. Focardi, S. van Bakel
Checking integrity via CoPS and Banana : the E-commerce case study
2004-01-01 C. Braghin, C. Piazza
Complexity of nesting analysis in mobile ambients
2003-01-01 C. Braghin, A. Cortesi, R. Focardi, F.L. Luccio, C. Piazza
Control flow analysis of mobile ambients with security boundaries
2002-01-01 C. Braghin, A. Cortesi, R. Focardi
Defining the total cost of ownership for the transition to open source systems
2005-01-01 B. Russo, C. Braghin, P. Gasperi, A. Sillitti, G. Succi
Designing smart-contract based auctions
2019-01-01 C. Braghin, S. Cimato, E. Damiani, M. Baronchelli
Dynamic and Scalable Enforcement of Access Control Policies for Big Data
2021-01-01 M. Anisetti, C.A. Ardagna, C. Braghin, E. Damiani, A. Polimeno, A. Balestrucci
An exact approach for solving the balanced minimum evolution problem
2008-01-01 R. Aringhieri, C. Braghin, D. Catanzaro
Formal proof of a vulnerability in Z-wave IoT protocol
2021-01-01 M. Lilli, C. Braghin, E. Riccobene
Information flow security in boundary ambients
2008-01-01 C. Braghin, A. Cortesi, R. Focardi
Information leakage detection in boundary ambients
2003-04-01 C. Braghin, A. Cortesi, R. Focardi
Is Pokémon GO Watching You? A Survey on the Privacy-Awareness of Location-Based Apps’ Users
2017-07-01 C. Braghin, M.D. Vecchio
Knowledge and business intelligence technologies in cross-enterprise environments for italian advanced mechanical industry
2013-08-01 F. Arigliano, A. Azzini, C. Braghin, A. Caforio, P. Ceravolo, E. Damiani, V. Savarino, C. Vicari, F. Zavatarelli