A list of papers/tools on finding Spectre gadgets.
| Title | Venue | Year | Method | Paper | Code |
|---|---|---|---|---|---|
| Ultimate SLH | Usenix | '23 | Link | Link | |
| Google-CodeQL tool | - | '23 | - | Link | |
| Hide and Seek with Spectres | S&P | '23 | Link | Link | |
| KASPER | NDSS | '22 | Link | Link | |
| Revizor | ASPLOS | '22 | Link | Link | |
| KAIBYO | S&P | '22 | Link | Link | |
| FastSpec | Euro S&P | '21 | Link | Link | |
| Binsec/Haunted | NDSS | '21 | Link | Link | |
| SpecTaint | NDSS | '21 | Link | Link | |
| SpecFuzz | Usenix | '20 | Link | Link | |
| Pitchfork | PLDI | '20 | Link | Link | |
| SpecuSym | ICSE | '20 | Link | - | |
| KleeSpectre | TOSEM | '20 | Link | Link | |
| Spectector | S&P | '20 | Link | Link | |
| oo7 | TSE | '19 | Link | Link | |
| RHScanner | - | - | Link | Link |