#

binsec

Here is 1 public repository matching this topic...

binsec / Rel

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

security verification symbolic-execution constant-time binary-analysis binsec secret-erasure

Updated Sep 22, 2023
OCaml

Improve this page

Add a description, image, and links to the binsec topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the binsec topic, visit your repo's landing page and select "manage topics."