Computational Soundness for Dalvik Bytecode
- Backes, Michael Saarland University & MPI-SWS, Saarbrücken, Germany
- Künnemann, Robert Saarland University & MPI-SWS, Saarbrücken, Germany
- Mohammadi, Esfandiar ETH Zurich, Zürich, Switzerland
- 2016-10-24
Published in:
- Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security. - ACM. - 2016
- Language
-
- English
- Open access status
- green
- Identifiers
- Persistent URL
- https://sonar.ch/global/documents/202740
Statistics
Document views: 22
File downloads:
- Full-text: 0