Travelled to:
1 × Brazil
Collaborated with:
E.Bonelli
Talks about:
variabl (1) languag (1) bytecod (1) analysi (1) polici (1) object (1) inform (1) field (1) type (1) flow (1)
Person: Francisco Bavera
DBLP: Bavera:Francisco
Contributed to:
Wrote 1 papers:
- SAC-2008-BaveraB #analysis #bytecode #data flow #policy #type system
- Type-based information flow analysis for bytecode languages with variable object field policies (FB, EB), pp. 347–351.