Scaffold
Multi-purpose board to control devices with embedded features such as: current consumption measurement, multiple communication protocols (SPI, I²C, UART...), command triggering, pulse generators...
RepositoryThis page presents our tools in different categories: Hardware and Software related. You can also check out the Ledger-Donjon GitHub organization.
Hardware Attack & Analysis Tools
Boards
Silicon Toaster
Board to inject electromagnetic pulses from a bank of capacitors, that can be loaded to a programmable level of voltage, and discharged with a triggering input source.
Repository
Shutter Controller
A low-cost motorized add-on of optical tower on ALPhANOV's Laser Microscope Station to control a mechanical shutter.
RepositorySoftware and Utilities
Useful utilities while performing hardware attacks.
Laser Studio
Multi-environment python3 software controlling hardware benches to conduct automatized evaluations.
Repository
pystages
Python module for managing the positions of physical actuators, such as CNCs, Corvus, or Newport. Also provides a simple User Interface to make easy and quick moves of actuators.
RepositoryQuicklog
Python module for creating log files during a fault injection campaign. It can link each entry to curve as binary data, for instance retrieved from an oscilloscope.
RepositoryQuicklog Explorer
GUI utility for viewing, filtering and plotting generated with Quicklog.
Repository
Side-channel Tools
Software Attack & Analysis Tools
Zorya
Automated concolic execution engine optimized for Go binaries analysis, using Ghidra's P-Code as IR, and written in Rust.
Repositorycargo-checkct
Written in Rust, it verifies formally if a software is compiled down to constant-time machine code.
Repository