#

secret-erasure

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 Jan 25, 2025
OCaml

Improve this page

Add a description, image, and links to the secret-erasure 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 secret-erasure topic, visit your repo's landing page and select "manage topics."