过滤器

内容类型

• Article 1

受众

• 学生 1
• 教授 1

外形尺寸

• 英特尔® Edison 平台 1
• Intel® Joule™ Module 1
• 嵌入式 1
• 平板电脑 1
• 服务器 1
• 笔记本电脑 1
• 英特尔® Curie™ 平台 1
• 英特尔® Galileo 平台 1
• 英特尔® 物联网网关 1

语言

• Portuguese, Brazil(葡萄牙语, 巴西)
• 英语 1

软件产品

• 其它软件工具 1

编程语言

• C/C++ 1

主题

• 案例研究 1
• 技术文章 1
• 研究 1
• 英特尔® 创新者 1
• 英特尔® 技术宣传者 1

主题

• 开发工具 1
• 开源 1
• 学术 1
• 安全 1
• 调试 1

您已搜索：

排序标准 相关度创建日期上次更新

订单 升序降序

Article

Finding BIOS Vulnerabilities with Symbolic Execution and Virtual Platforms

Intel’s Excite project uses a combination of symbolic execution, fuzzing, and concrete testing to find vulnerabilities in sensitive code.

作者： Engblom, Jakob (Intel) 最后更新时间： 2019/08/02 - 15:51