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.
Ledger-Donjon/zorya’s past year of commit activity - 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.
Ledger-Donjon/action-cargo-checkct’s past year of commit activity - laserstudio Public
Ledger-Donjon/laserstudio’s past year of commit activity - pystages Public
Ledger-Donjon/pystages’s past year of commit activity - 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.
Ledger-Donjon/zorya-evaluation’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…