Ledger Donjon
The security research at Ledger
Pinned Loading
Repositories
Showing 10 of 33 repositories
- zorya Public
Zorya: Concolic Execution Engine optimized for Go binaries, using Ghidra's P-Code as IR, and written in Rust.
-
-
- action-cargo-checkct Public
Github Action that can be used by developers to formally verify that their code gets compiled down to constant-time machine code, in CI using cargo-checkct.
Top languages
Loading…
Most used topics
Loading…