Travelled to:1 × Poland
1 × USA
1 × United Kingdom
Collaborated with:A.Cortesi R.Focardi F.L.Luccio C.Piazza N.Sharygina K.Barone-Adesi S.Filippone
Talks about:ambient (2) mobil (2) nest (2) boundari (1) complex (1) analysi (1) polici (1) banana (1) verif (1) secur (1)
Person: Chiara Braghin
DBLP: Braghin:Chiara
Contributed to:
2007
2003
2003Wrote 3 papers:
- IFM-2007-BraghinSB #automation #mobile #policy #security #verification
- Automated Verification of Security Policies in Mobile Code (CB, NS, KBA), pp. 37–53.
- TACAS-2003-BraghinCFFLP #analysis #bound #named
- BANANA — A Tool for Boundary Ambients Nesting ANAlysis (CB, AC, SF, RF, FLL, CP), pp. 437–441.
- VMCAI-2003-BraghinCFLP #analysis #complexity #mobile
- Complexity of Nesting Analysis in Mobile Ambients (CB, AC, RF, FLL, CP), pp. 86–101.