Skip to content

Commit

Permalink
Slights updates
Browse files Browse the repository at this point in the history
  • Loading branch information
mmouchous-ledger committed Oct 18, 2024
1 parent f9dff22 commit 898fd6b
Show file tree
Hide file tree
Showing 4 changed files with 37 additions and 24 deletions.
6 changes: 3 additions & 3 deletions assets/css/main.css
Original file line number Diff line number Diff line change
Expand Up @@ -838,12 +838,12 @@ pre>code {
}

.header__link:hover {
color: #a14f0c;
color: #ff5300;
}

.header__link:hover::after,
.header__link :active::after,
.header__link :focus::after {
.header__link:active::after,
.header__link:focus::after {
transform: scaleX(1);
color: #a14f0c;
transition: transform .2s ease-in-out;
Expand Down
Binary file added assets/img/tools-suite/curmea.png
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Binary file removed assets/img/tools-suite/curmeaH.png
Binary file not shown.
55 changes: 34 additions & 21 deletions tools-suite.md
Original file line number Diff line number Diff line change
Expand Up @@ -16,27 +16,12 @@ This page presents these tools in different categories,

You can also check out the [Ledger-Donjon Git organization](https://github.com/Ledger-Donjon).

### Software Attack & Analysis Tools {#software-tools}

<div class="tool-cards-container">
<div class="tool-card" markdown="1">

#### cargo-checkct

Written in Rust, it verifies formally if a software is compiled down to
constant-time machine code.
More information in [this article](https://www.ledger.com/blog-cargo-checkct-our-home-made-tool-guarding-against-timing-attacks-is-now-open-source).

[Repository](https://github.com/Ledger-Donjon/cargo-checkct).

</div>
</div>

### Hardware Attack & Analysis Tools {#hardware-tools}

#### Boards

<div class="tool-cards-container">

<div class="tool-card" markdown="1">

#### Scaffold
Expand All @@ -53,17 +38,19 @@ Multi-purpose board to control devices with embedded features such as:
[Repository](https://github.com/Ledger-Donjon/scaffold/)

</div>

<div class="tool-card" markdown="1">

#### Curmea

![Curmea](/assets/img/tools-suite/curmeaH.png)
![Curmea](/assets/img/tools-suite/curmea.png)

Simple board for differential current consumption measurement.

[Repository](https://github.com/Ledger-Donjon/curmea/)

</div>

<div class="tool-card" markdown="1">

#### Silicon Toaster
Expand All @@ -77,13 +64,14 @@ input source.
[Repository](https://github.com/Ledger-Donjon/silicontoaster/)

</div>

<div class="tool-card" markdown="1">

#### Shutter Controller

![Shutter Controller's photograph](/assets/img/tools-suite/shutter-controller.png)

A low-cost motorized add-on to control a mechanical shutter.
A low-cost motorized add-on of optical tower on [ALPhA<sup>NOV</sup>](https://www.alphanov.com/)'s [Laser Microscope Station](https://www.alphanov.com/en/products-services/single-laser-fault-injection) to control a mechanical shutter.

[Repository](https://github.com/Ledger-Donjon/shutter-controller/)

Expand All @@ -95,6 +83,7 @@ A low-cost motorized add-on to control a mechanical shutter.
Useful utilities while performing hardware attacks.

<div class="tool-cards-container">

<div class="tool-card" markdown="1">

#### Laser Studio
Expand All @@ -105,6 +94,7 @@ to conduct automatized evaluations.
[Repository](https://github.com/Ledger-Donjon/laserstudio/)

</div>

<div class="tool-card" markdown="1">

#### pystages
Expand All @@ -114,11 +104,12 @@ to conduct automatized evaluations.
Python module for managing the positions of physical actuators,
such as CNCs, Corvus, or Newport.

Also provides a simple User Interface.
Also provides a simple User Interface to make easy and quick moves of actuators.

[Repository](https://github.com/Ledger-Donjon/pystages/)

</div>

<div class="tool-card" markdown="1">

#### pyPDM
Expand All @@ -130,18 +121,20 @@ from [ALPhA<sup>NOV</sup>](https://www.alphanov.com/).
[Repository](https://github.com/Ledger-Donjon/pypdm/)

</div>

<div class="tool-card" markdown="1">

#### Quicklog

Python module for creating logs during a fault injection campaign.
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.

[Repository](https://github.com/Ledger-Donjon/quicklog/)

</div>

<div class="tool-card" markdown="1">

#### Quicklog Explorer
Expand All @@ -151,6 +144,7 @@ GUI utility for viewing, filtering and plotting generated with [Quicklog](#quick
[Repository](https://github.com/Ledger-Donjon/quicklog-explorer/)

</div>

<div class="tool-card" markdown="1">

#### Visplot
Expand All @@ -162,6 +156,7 @@ A side-channel traces visualizer based on [vispy](https://github.com/vispy).
[Repository](https://github.com/Ledger-Donjon/visplot/)

</div>

<div class="tool-card" markdown="1">

#### Rainbow
Expand All @@ -186,6 +181,7 @@ optimizations.
[Repository](https://github.com/Ledger-Donjon/muscat/)

</div>

<div class="tool-card" markdown="1">

#### Scadl
Expand All @@ -195,13 +191,30 @@ Side-channel analysis tool with Deep-Learning features.
[Repository](https://github.com/Ledger-Donjon/scadl/)

</div>

<div class="tool-card" markdown="1">

#### Lascar

Side-channel python3 library.
Our legacy side-channel python3 library.

[Repository](https://github.com/Ledger-Donjon/lascar/)

</div>
</div>

### Software Attack & Analysis Tools {#software-tools}

<div class="tool-cards-container">
<div class="tool-card" markdown="1">

#### cargo-checkct

Written in Rust, it verifies formally if a software is compiled down to
constant-time machine code.
More information in [this article](https://www.ledger.com/blog-cargo-checkct-our-home-made-tool-guarding-against-timing-attacks-is-now-open-source).

[Repository](https://github.com/Ledger-Donjon/cargo-checkct).

</div>
</div>

0 comments on commit 898fd6b

Please sign in to comment.