binsec topic
List
binsec repositories
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.
