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 an...