Replication package for article: From low-level fault modeling (of a pipeline attack) to a proven hardening scheme

This software package is the Docker image of a project about protecting RISC-V processors against certain low-level fault attacks. It mainly contains a modified LLVM, GNU binutils, QEMU, and test scripts.

Project repository from which this image is built: https://gricad-gitlab.univ-grenoble-alpes.fr/michelse/fetch-skips-hardening

Instructions for using this software and reproducing results: https://gricad-gitlab.univ-grenoble-alpes.fr/michelse/fetch-skips-hardening/-/blob/main/README.md?ref_type=heads