| 2008 |
|---|
| 15 | | Roberto Aringhieri,
Chiara Braghin,
Daniele Catanzaro:
An Exact Approach for solving the Balanced Minimum Evolution Problem.
CTW 2008: 48-51 |
| 14 | EE | Chiara Braghin,
Agostino Cortesi,
Riccardo Focardi:
Information flow security in Boundary Ambients.
Inf. Comput. 206(2-4): 460-489 (2008) |
| 2007 |
|---|
| 13 | EE | Chiara Braghin,
Natasha Sharygina,
Katerina Barone-Adesi:
Automated Verification of Security Policies in Mobile Code.
IFM 2007: 37-53 |
| 2006 |
|---|
| 12 | EE | Chiara Braghin,
Daniele Gorla,
Vladimiro Sassone:
Role-based access control for a distributed calculus.
Journal of Computer Security 14(2): 113-155 (2006) |
| 2005 |
|---|
| 11 | EE | Chiara Braghin,
Agostino Cortesi:
Flow-sensitive Leakage Analysis in Mobile Ambients.
Electr. Notes Theor. Comput. Sci. 128(5): 17-25 (2005) |
| 2004 |
|---|
| 10 | EE | Chiara Braghin,
Daniele Gorla,
Vladimiro Sassone:
A Distributed Calculus for Ro^le-Based Access Control.
CSFW 2004: 48-60 |
| 9 | EE | Chiara Braghin,
Agostino Cortesi,
Riccardo Focardi,
Flaminia L. Luccio,
Carla Piazza:
Nesting analysis of mobile ambients.
Computer Languages, Systems & Structures 30(3-4): 207-230 (2004) |
| 8 | EE | Chiara Braghin,
Carla Piazza:
Checking Integrity via CoPS and Banana: the E-Commerce Case Study .
Electr. Notes Theor. Comput. Sci. 99: 295-317 (2004) |
| 7 | EE | Chiara Braghin,
Agostino Cortesi,
Riccardo Focardi,
Flaminia L. Luccio,
Carla Piazza:
Behind BANANA: Design and Implementation of a Tool for Nesting Analysis of Mobile Ambients.
Electr. Notes Theor. Comput. Sci. 99: 319-337 (2004) |
| 2003 |
|---|
| 6 | EE | Chiara Braghin,
Agostino Cortesi,
Stefano Filippone,
Riccardo Focardi,
Flaminia L. Luccio,
Carla Piazza:
BANANA - A Tool for Boundary Ambients Nesting ANAlysis.
TACAS 2003: 437-441 |
| 5 | EE | Chiara Braghin,
Agostino Cortesi,
Riccardo Focardi,
Flaminia L. Luccio,
Carla Piazza:
Complexity of Nesting Analysis in Mobile Ambients.
VMCAI 2003: 86-101 |
| 4 | EE | Chiara Braghin,
Agostino Cortesi,
Riccardo Focardi:
Information Leakage Detection in Boundary Ambients.
Electr. Notes Theor. Comput. Sci. 78: (2003) |
| 2002 |
|---|
| 3 | | Chiara Braghin,
Agostino Cortesi,
Riccardo Focardi:
Control Flow Analysis of Mobile Ambients with Security Boundaries.
FMOODS 2002: 197-212 |
| 2 | | Chiara Braghin,
Agostino Cortesi,
Riccardo Focardi,
Steffen van Bakel:
Boundary Inference for Enforcing Security Policies in Mobile Ambients.
IFIP TCS 2002: 383-395 |
| 1 | | Chiara Braghin,
Agostino Cortesi,
Riccardo Focardi:
Security boundaries in mobile ambients.
Comput. Lang. 28(1): 101-127 (2002) |
