位置：成果数据库 > 会议 > 会议详情页
<span>Static integer overflow vulnerability detection in Windows binary</span>
  • 所属机构名称：中国科学院软件研究所
  • 会议名称：Advances in Information and Computer Security
  • 时间：2013.11.20
  • 成果类型：会议
  • 相关项目：逻辑驱动的跨操作系统安全机制评价方法研究
作者： Yi Deng|Yang Zhang|Liang Cheng|Xiaoshan Sun|
同会议论文项目
逻辑驱动的跨操作系统安全机制评价方法研究
期刊论文 3 会议论文 7
同项目会议论文
Quantitatively measure access control mechanisms across different operating systems
Measuring and comparing the protection quality in different operating systems
Model Checking Security Policy Model Using Both UML Static and Dynamic Diagrams
Refining the pointer analysis by exploiting constraints on the CFL-paths
Heuristic path pruning algorithm based on error handling pattern recognition in detecting vulnerabil
Systematic Analysis and Detection of Misconfiguration Vulnerabilities in Android Smartphones