Offsite Link

Panoply: Low-TCB Linux* Applications with Intel® SGX Enclaves (Project Site)

We present a new system called Panoply which bridges the gap between the Intel® Software Guard Extensions (Intel® SGX)-native abstractions and the standard OS abstractions which feature-rich, commo

Authored by admin Last updated on 02/01/2019 - 08:51
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