主页 / 安全会议 / 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
-
提示本站仅做资料的整理和索引,转载引用请注明出处
相关推荐
-
2017-12-27 09:31:38 -
2016-02-26 15:18:53 -
2016-04-22 10:55:38 -
2016-03-02 06:55:16
附件下载
-
Harden.Android.Programmers2019.Toolkit.with.Symbolic.Execution.pdf