位置：成果数据库 > 会议 > 会议详情页
A Security Assurance Framework Combining Formal Verification and Security Functional Testing
  • 所属机构名称：南京大学
  • 会议名称：QSIC2012
  • 时间：2012.8
  • 成果类型：会议
  • 相关项目：基于定理证明的软件脆弱性分析方法研究
同会议论文项目
基于定理证明的软件脆弱性分析方法研究
期刊论文 24 会议论文 12
同项目会议论文
Hardware-Assisted Fine-Grained Code-Reuse Attack Detection
loop-oriented programming: a new code reuse attack to bypass modern defenses
Improving the Accuracy of Integer Signedness Error Detection Using Data Flow Analysis
Statically-Guided Fork-based Symbolic Execution forVulnerability Detection
Evaluating Initial Inputs for Concolic Testing
Crashmaker: An improved binary concolic testing tool for vulnerability detection
EqualVisor: Providing Memory Protection in an Untrusted Commodity Hypervisor
Using Machine Language Model for Mimimorphic Malware Detection
IntEQ: RecognizingBenign Integer Overflows via Equivalence Checking Across Multiple Precisions
Efficient Dynamic Tracking Technique for Detecting Integer-Overflow-to-Buffer-Overflow Vulnerability
ISboxing: an Instruction Substitution based Data Sandboxing for x86 Untrusted Libraries