Michael Backes 0001, Robert Künnemann, Esfandiar Mohammadi. Computational Soundness for Dalvik Bytecode. In Edgar R. Weippl, Stefan Katzenbeisser 0001, Christopher Kruegel, Andrew C. Myers, Shai Halevi, editors, Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, Vienna, Austria, October 24-28, 2016. pages 717-730, ACM, 2016. [doi]
Abstract is missing.