Checking security of Java bytecode by abstract interpretation.

Roberto Barbuti, Cinzia Bernardeschi, Nicoletta De Francesco

Browse the full SAC paper archive.