Spectre attack against SGX enclave

[NeurIPS'23] Speculative Decoding with Big Little Decoder

Microarchitectural exploitation and other hardware attacks.

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

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

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.

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.

Proof of concept code for the Spectre CPU exploit.

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