ACM Computer and Communications Security, CCS 2016


Article Details
Title: Computational Soundness for Dalvik Bytecode
Article URLs:
Alternative Article URLs: https://arxiv.org/abs/1608.04362
Authors: Michael Backes
  • CISPA
  • Saarland University
  • MPI-SWS
Robert Künnemann
  • CISPA
  • Saarland University
Esfandiar Mohammadi
  • ETH Zurich
Sharing: Research produced no artifacts
Verification: Authors have verified information
Artifact Evaluation Badge: none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key: conf/ccs/0001KM16
Author Comments:

Discuss this paper and its artifacts below