Publication Overview

Michael Backes and Robert Künnemann and Esfandiar Mohammadi

Computational Soundness for Dalvik Bytecode

Published in: Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, Vienna, Austria, October 24-28, 2016
Year: 2016
Volume: 13
Pages: 717-730