speculative-execution

Spectre attack against SGX enclave

KLEESpectre is a symbolic execution engine with speculation semantic and cache modelling

Microarchitectural exploitation and other hardware attacks.

Package speculatively provides a simple mechanism to re-execute a task in parallel only after some initial timeout has elapsed.

Experimental implementation of speculative model serving

Extension of the ScheduleFlow Simulator to allow speculative request times at submission and during backfill

Spectre attack variant 1 is used here to extract an image data buffer from a program. The output image data is then decoded and median filters are applied to remove the hot pixels in the output image. Here I have included files for RGB and base64 format.

Variant 1 of the Spectre attack which is to bypass the bounds checks in the target process and retrieve the private data. Here in this example, I have demonstrated how to retrieve a string data using the attack.

Proof of concept code for the Spectre CPU exploit.