Explore projects

Implementation of bigraphs in Coq.

Cryptographically-proven Erasure Coding

crate: https://crates.io/crates/komodo mirror: https://github.com/dragoon-rs/komodo

A CLI application to plot data with Matplotlib.

This repository contains a framework for injecting artificial SEU faults into RISC-V core. This work was done as a part of ISAE Supaero Master Aerospace Engineering degree.

Cryptographically-proven Erasure Coding

crate: https://crates.io/crates/komodo mirror: https://github.com/dragoon-rs/komodo

Nanospace Demonstration

https://gitlab-pages.isae-supaero.fr/dragoon/komodo-benchmark-results/