binsec / hauntedLinks

Binsec/Haunted is an extension of Binsec to verify speculative constant-time and detect Spectre attacks.
17Updated last year

Alternatives and similar repositories for haunted

Users that are interested in haunted are comparing it to the libraries listed below

Sorting: