spectre-vulnerability topic
List
spectre-vulnerability repositories
revizor
40
Stars
5
Forks
Watchers
Fuzzer that searches for vulnerabilities like Spectre and Meltdown in CPUs
sca-fuzzer
106
Stars
33
Forks
Watchers
Revizor - a fuzzer to search for microarchitectural leaks in CPUs
haunted
15
Stars
1
Forks
Watchers
Binsec/Haunted is an extension of Binsec to verify speculative constant-time and detect Spectre attacks.