主页 / 安全会议 / 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-04-17 03:20:51 -
2016-05-17 13:20:59 -
2017-06-17 16:08:28 -
2016-05-17 10:36:59
附件下载
-
Harden.Android.Programmers2019.Toolkit.with.Symbolic.Execution.pdf