Skip to content
Change the repository type filter

All

    Repositories list

    • Ledger Donjon Website
      Astro
      MIT License
      4609Updated May 17, 2026May 17, 2026
    • Modern Bitcoin Application based on PSBT and Descriptors
      C
      Apache License 2.0
      90008Updated May 13, 2026May 13, 2026
    • zorya

      Public
      Zorya: Automated Concolic Execution Engine optimized for Go Binaries analysis, using Ghidra's P-Code as IR, and written in Rust.
      Rust
      Apache License 2.0
      54406Updated May 7, 2026May 7, 2026
    • Build fuzzer with in-depth state manipulation
      Zig
      MIT License
      0030Updated May 7, 2026May 7, 2026
    • Device app kit
      C
      Apache License 2.0
      29001Updated May 6, 2026May 6, 2026
    • turboplot

      Public
      A super super fast waveform visualizer for very very big traces
      Rust
      Apache License 2.0
      23101Updated May 6, 2026May 6, 2026
    • Collection of logical bombs that reproduces theoretical and real-world bugs in Go
      Go
      Apache License 2.0
      0100Updated May 5, 2026May 5, 2026
    • Tool for observing differential images
      Python
      GNU General Public License v3.0
      0001Updated May 4, 2026May 4, 2026
    • This directory contains the evaluation of the Zorya Concolic Executor against other symbolic execution tools for academic research.
      Python
      Apache License 2.0
      0201Updated May 4, 2026May 4, 2026
    • Generates raw P-Code and high-level P-Code from a binary using the Ghidra API.
      Rust
      Apache License 2.0
      2403Updated Apr 23, 2026Apr 23, 2026
    • Rust
      Apache License 2.0
      0421Updated Apr 22, 2026Apr 22, 2026
    • scadl

      Public
      A tool for side-channel attacks (SCAs) using deep learning (DL)
      Python
      GNU Lesser General Public License v3.0
      11801Updated Apr 14, 2026Apr 14, 2026
    • rainbow

      Public
      Makes Unicorn traces. Generic Side-Channel and Fault Injection simulator
      Python
      GNU Lesser General Public License v3.0
      3719564Updated Apr 2, 2026Apr 2, 2026
    • ERC7730 file analyzer
      Python
      Creative Commons Zero v1.0 Universal
      2000Updated Mar 31, 2026Mar 31, 2026
    • USB remote control dongle for Hayashi LA-150CE halogen lamp
      Rust
      1201Updated Mar 31, 2026Mar 31, 2026
    • pystages

      Public
      Python
      GNU Lesser General Public License v3.0
      0700Updated Mar 30, 2026Mar 30, 2026
    • Python
      GNU General Public License v3.0
      0230Updated Mar 27, 2026Mar 27, 2026
    • scaffold

      Public
      Donjon hardware tool for circuits security evaluation
      VHDL
      GNU Lesser General Public License v3.0
      1610633Updated Mar 25, 2026Mar 25, 2026
    • pypdm

      Public
      Python library for Alphanov's PDM laser sources control
      Python
      Other
      31400Updated Feb 24, 2026Feb 24, 2026
    • muscat

      Public
      Multithreaded Side Channel Attacks Tools
      Rust
      Apache License 2.0
      11000Updated Jan 9, 2026Jan 9, 2026
    • Rust
      GNU Lesser General Public License v3.0
      74401Updated Dec 3, 2025Dec 3, 2025
    • armagnac

      Public
      ARM Thumb emulation rust library
      Rust
      21211Updated Nov 27, 2025Nov 27, 2025
    • HTML
      2000Updated Nov 27, 2025Nov 27, 2025
    • Parser for raw (low-level) P-Code generated from Ghidra, written in Rust
      Rust
      Apache License 2.0
      0300Updated Oct 31, 2025Oct 31, 2025
    • Workshop - A practical laser attack on the go - Ecole 42
      HTML
      2000Updated Sep 12, 2025Sep 12, 2025
    • dtw

      Public
      Implementation of dynamic time warping algorithm and approximations
      Rust
      Apache License 2.0
      0100Updated Sep 10, 2025Sep 10, 2025
    • Research tools developed for Intel Wi-Fi chips
      Python
      MIT License
      65900Updated Jun 14, 2025Jun 14, 2025
    • 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.
      Apache License 2.0
      0000Updated May 29, 2025May 29, 2025
    • CLI for setting up sound, assembly-level constant-time verification of (rust) cryptography libraries with binsec
      Rust
      Apache License 2.0
      21611Updated May 7, 2025May 7, 2025
    • Automated fault injection simulation on various PIN verification functions
      Rust
      1502Updated Apr 28, 2025Apr 28, 2025
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.