Home.md

@@ -4,6 +4,8 @@
 
 **Lazart** is an [**LLVM**](https://llvm.org/)-level robustness evaluation framework targeting multi-faults injection. It relies on **Dynamic-Symbolic Execution (DSE)** using [KLEE](https://klee.github.io/), to explore the attack paths depending on user-provided [**attack model**](Attack-Model) and [**attack objective**](Core/Attack-objective).
 
+Lazart is based on LLVM 9 and KLEE 2.
+
 </div>This page is the index of Lazart wiki. It contains links to the main sections of the documentation, guides and tutorials.
 
 ## Overview
@@ -24,7 +26,6 @@ To get started with lazart, please consider the following guides and tutorials:
 - [Tutorial 1:](Overview/Tutorial-1:-Get-started-with-verify_pin-analysis) Get started with `verify_pin` analysis.
 - [Tutorial 2:](Overview/Tutorial-2:-Symbolic-Inputs,-Equivalence-and-Redundancy) Symbolic Inputs, equivalence and redundancy.
 - [Tutorial 3:](Overview/Tutorial-3:-Data-Load-and-model-combination-on-memcmps) Data Load and modelcombination on memcmps.
-- [~~Tutorial 4~~:](Overview/Tutorial-4:-Experimentations-automated-analysis-campaign-utilitary) Experimentation analysis campaigns utility.
 - [Analysis page: ](Analysis)Description of analysis parameters and steps.
 
 ## Modules
@@ -51,7 +52,7 @@ To get started with lazart, please consider the following guides and tutorials:
 
 **2020**
 
-* E. Boespflug, C. Ene, L. Mounier and  M-L. Potet, "Countermeasures Optimization in Multiple Fault-Injection Context" - _2020 Workshop on Fault Detection and Tolerance in Cryptography (FDTC),_ pp. 26-34, doi: 10.1109/FDTC51366.2020.00011. \[[Slides](https://fdtc.deib.polimi.it/FDTC20/shared/Boespflug.pdf)\]
+* E. Boespflug, C. Ene, L. Mounier and  M-L. Potet, "Countermeasures Optimization in Multiple Fault-Injection Context" - _2020 Workshop on Fault Detection and Tolerance in Cryptography (FDTC),_ pp. 26-34, doi: 10.1109/FDTC51366.2020.00011. \[[Slides](https://hal.science/hal-02951150/document)\]
 
 **2014**