@misc{indiciaecc29800e71f9,
  title = {Formal Certification of Android Bytecode},
  author = {Hendra Gunadi and Alwen Tiu and Rajeev Gore},
  year = {2016},
  url = {https://arxiv.org/abs/1504.01842},
  note = {Source identifier: 1504.01842}
}