文 档: 实用符号执行
作 者: 忽朝俭@绿盟科技
语 言: 中文
标 签 符号执行 RSA 漏洞检测 Symbolic
介 绍:

符号执行概述

  • 变异 or 生成

符号执行如何检测漏洞

符号执行遇到的主要问题

  • 路径爆炸,约束困顿,环境交互
  • 符号注入,约束爆炸
  • 约束收集

针对这些问题的可能环节方法

实验与结论

援 引:
附件下载
相关推荐
为安全移动支付的NFC技术
- NFC基础知识和市场 - 加密简介 - 使用NFC的安全移动支付 -
基于深度学习的软件漏洞智能检测
#目录 - 问题描述 - 主要贡献 - 系统设计 - 有效性评价 -
应用识别技术面临的新挑战和解决方案展望
#应用识别技术 #规避检测技术
分享为协同攻击分析的威胁智能分析
#先进的有针对性的威胁和挑战 #需要协作和威胁情报共享 #共享事件分析过程详
RSA后门证明和应对方案
网传RSA收千万为NSA开后门,本议题旨在证明该后门的客观存在,并探讨企业级应对
自备设备(BYOD)的安全移动商务
#BYOD趋势 #BYOD下的安全挑战和对策 #华为移动办公实践分享 -
阅读心得