Blog post

The Last Line Effect

Authored by Andrey Karpov (Blackbelt) Last updated on 05/30/2018 - 07:00
Blog post
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.
Authored by Engblom, Jakob (Intel) Last updated on 08/02/2019 - 15:51
Article

The More the Merrier – Building Virtual Platforms for Integration

Supporting integration with virtual platforms is necessary in order to do system integration early.
Authored by Engblom, Jakob (Intel) Last updated on 07/09/2019 - 14:43