主页 / OWASP苏州沙龙"移动应用安全"(2014) / Harden Android Programmers' toolkit with Symbolic Execution
  • 作者
    Bob Hoare
  • 简介

    In this talk, we would like to present some recent advances of one of our ongoing project on secure and robust Android development. By leveraging the well-established technique of symbolic execution, this project aims to harden Android programmers' toolkit with much advanced testing tools

  • 提示
    本站仅做资料的整理和索引,转载引用请注明出处
附件下载
  • Harden.Android.Programmers2019.Toolkit.with.Symbolic.Execution.pdf
    时间: 大小: 0.29 M 下载: 47