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