文 档: 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

附件下载
相关推荐
移动终端自带传感器带来的隐私新威胁
  • 移动安全,传感器
###Sensors can create side channel to le
政企安全之云化、大数据化和移动化
  • 政企安全,大数据,云,移动安全
#政企安全 - 政企云化是大趋势 - 政企的安全顾虑及现状 - 政企云的云
走过2013
  • DDOS,安全服务,web安全,移动安全
#目录 - DDOS -  Security as Service
盘古越狱揭秘
  • 越狱,移动安全,漏洞分析
#目录 - • 盘古越狱用户态漏洞分析 - • 盘古越狱内核态漏洞分析
2017年Android恶意软件年度专题报告
  • 移动安全,恶意软件,网络犯罪,威胁趋势,Android
- 目 录 - 第一章 总体态势 - 一、 恶意软件新增量
移动恶意代码威胁的针对性泛化思考
  • 移动应用安全,恶意代码,检测
- 2014恶意移动恶意代码疫情回顾 - 移动恶意代码威胁之寡头 -
阅读心得