主页 / 安全会议 / 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
-
提示本站仅做资料的整理和索引,转载引用请注明出处
相关推荐
-
2019-04-05 11:20:42 -
2019-09-11 05:08:01 -
2016-11-07 03:59:58 -
2017-11-26 02:31:08
附件下载
-
Harden.Android.Programmers2019.Toolkit.with.Symbolic.Execution.pdf