Ledger Donjon

The security research at Ledger

Pinned Loading

lascar lascar Public

Ledger's Advanced Side-Channel Analysis Repository

Python 401 58
rainbow rainbow Public

Makes Unicorn traces. Generic Side-Channel and Fault Injection simulator

Python 191 33
scaffold scaffold Public

Donjon hardware tool for circuits security evaluation

VHDL 97 16
pypdm pypdm Public

Python library for Alphanov's PDM laser sources control

Python 13 3
kudelski-cryptochallenge18 kudelski-cryptochallenge18 Public

Python 9 4

Repositories

zorya-evaluation Public
This directory contains the evaluation of the Zorya Concolic Executor against other symbolic execution tools for academic research.

Ledger-Donjon/zorya-evaluation’s past year of commit activity

Python 1 Apache-2.0 0 0 0 Updated Dec 11, 2025
logic_bombs_go Public
Collection of logical bombs that reproduces theoretical and real-world bugs in Go

Ledger-Donjon/logic_bombs_go’s past year of commit activity

Go 0 Apache-2.0 0 0 0 Updated Dec 11, 2025
zorya Public
Zorya: Automated Concolic Execution Engine optimized for Go Binaries analysis, using Ghidra's P-Code as IR, and written in Rust.

Ledger-Donjon/zorya’s past year of commit activity

Rust 27 Apache-2.0 1 0 0 Updated Dec 5, 2025
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

Rust 2 Apache-2.0 2 0 0 Updated Dec 4, 2025
scaffold Public
Donjon hardware tool for circuits security evaluation

Ledger-Donjon/scaffold’s past year of commit activity

VHDL 97 LGPL-3.0 16 4 3 Updated Dec 4, 2025
silicon-toaster Public

Ledger-Donjon/silicon-toaster’s past year of commit activity

Rust 37 LGPL-3.0 7 0 1 Updated Dec 3, 2025
armagnac Public
ARM Thumb emulation rust library

Ledger-Donjon/armagnac’s past year of commit activity

Rust 10 0 0 0 Updated Nov 27, 2025
enter-the-donjon-grehack25 Public Forked from Ledger-Donjon/enter-the-donjon-grehack24

Ledger-Donjon/enter-the-donjon-grehack25’s past year of commit activity

HTML 0 2 0 0 Updated Nov 27, 2025
laserstudio Public

Ledger-Donjon/laserstudio’s past year of commit activity

Python 2 GPL-3.0 0 10 3 Updated Nov 27, 2025
muscat Public
Multithreaded Side Channel Attacks Tools

Ledger-Donjon/muscat’s past year of commit activity

Rust 8 Apache-2.0 1 0 0 Updated Oct 31, 2025