binsec/Rel

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

语言：OCaml · GitHub 星标：34 · Fork：2

话题：binary-analysis · binsec · constant-time · secret-erasure · security · symbolic-execution · verification

在 GitHub 上查看原仓库