Combining Abstract Interpretation and Model Checking for Analysing Security Properties of Java Bytecode.

Cinzia Bernardeschi, Nicoletta De Francesco

Browse the full VMCAI paper archive.