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.
-
- zorya-evaluation Public
This directory contains the evaluation of the Zorya concolic execution method in comparison with radius2 and MIASM. The evaluation includes a study of 5 common vulnerabilities in the Go language.
Top languages
Loading…
Most used topics
Loading…