2 open source projects by binsec

Binsec/Rel is an extension of Binsec that implements relational symbolic execution for constant-time verification and secret-erasure at binary-level.

BINSEC binary-level open-source platform