Type-based information flow analysis for bytecode languages with variable object field policies.

Francisco Bavera, Eduardo Bonelli

Browse the full SAC paper archive.