Updated 9 months ago
https://github.com/binsec/rel
Binsec/Rel is an extension of Binsec that implements relational symbolic execution for constant-time verification and secret-erasure at binary-level.
Updated 9 months ago
https://github.com/crocs-muni/ct-tools
A repository of tools for verifying constant-timeness