Ledger Donjon
The security research at Ledger
Pinned Loading
Repositories
Showing 10 of 30 repositories
- laserstudio Public
Ledger-Donjon/laserstudio’s past year of commit activity - pystages Public
Ledger-Donjon/pystages’s past year of commit activity - pcode-generator Public Forked from rbran/ice-kola
Generates raw P-Code and high-level P-Code from a binary using the Ghidra API.
Ledger-Donjon/pcode-generator’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 - cargo-checkct Public
CLI for setting up sound, assembly-level constant-time verification of (rust) cryptography libraries with binsec
Ledger-Donjon/cargo-checkct’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…