Backes, Michael Group M. Backes, Max Planck Institute for Software Systems, Max Planck Society;
Backes, M., Künnemann, R., & Mohammadi, E. (2016). Computational Soundness for Dalvik Bytecode. In CCS'16 (pp. 717-730). New York, NY: ACM. doi:10.1145/2976749.2978418.