BINSEC development team
Results
2
repositories owned by
BINSEC development team
Rel
32
Stars
2
Forks
Watchers
Binsec/Rel is an extension of Binsec that implements relational symbolic execution for constant-time verification and secret-erasure at binary-level.
haunted
15
Stars
1
Forks
Watchers
Binsec/Haunted is an extension of Binsec to verify speculative constant-time and detect Spectre attacks.