8000 Ledger Donjon · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
@Ledger-Donjon

Ledger Donjon

The security research at Ledger

Pinned Loading

  1. lascar lascar Public

    Ledger's Advanced Side-Channel Analysis Repository

    Python 392 56

  2. rainbow rainbow Public

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

    Python 182 34

  3. scaffold scaffold Public

    Donjon hardware tool for circuits security evaluation

    VHDL 88 17

  4. pypdm pypdm Public

    Python library for Alphanov's PDM laser sources control

    Python 11 3

  5. kudelski-cryptochallenge18 kudelski-cryptochallenge18 Public

    Python 9 4

Repositories

Showing 10 of 30 repositories
  • scaffold Public

    Donjon hardware tool for circuits security evaluation

    Ledger-Donjon/scaffold’s past year of commit activity
    VHDL 88 LGPL-3.0 17 4 2 Updated May 22, 2025
  • pystages Public
    Ledger-Donjon/pystages’s past year of commit activity
    Python 6 LGPL-3.0 0 0 0 Updated May 21, 2025
  • ledger-donjon.github.io Public

    Ledger Donjon Website

    Ledger-Donjon/ledger-donjon.github.io’s past year of commit activity
    CSS 3 MIT 2 0 5 Updated May 21, 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 1 Apache-2.0 2 0 0 Updated May 19, 2025
  • rainbow Public

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

    Ledger-Donjon/rainbow’s past year of commit activity
    Python 182 LGPL-3.0 34 7 6 Updated May 15, 2025
  • 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
    0 Apache-2.0 0 0 0 Updated May 15, 2025
  • muscat Public

    Multithreaded Side Channel Attacks Tools

    Ledger-Donjon/muscat’s past year of commit activity
    Rust 6 Apache-2.0 1 0 0 Updated May 14, 2025
  • armagnac Public

    ARM Thumb emulation rust library

    Ledger-Donjon/armagnac’s past year of commit activity
    Rust 5 0 0 0 Updated May 10, 2025
  • 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
    Rust 16 Apache-2.0 2 1 1 Updated May 7, 2025
  • laserstudio Public
    Ledger-Donjon/laserstudio’s past year of commit activity
    Python 2 GPL-3.0 0 10 2 Updated Apr 29, 2025
View all repositories

Most used topics

Loading…
0