Source-level code robustness analysis against fault injection

Lazart is a high level tool targeting developers and auditors. It allows to identify vulnerable paths et could be used to evaluate the accuracy of countermeasures, relatively to a given faul model. The particularies of Lazart are the following ones :

  • Lazart takes into account multi-faults, according to the state of the art in attacks. Multi-fault is also a way to encompass low-level attacks.
  • Lazart is based on a (efficient) concolic engine, Klee, allowing to establish correctness results (relatively to a given fault model)
  • Attacks scenarios characterizing successful attacks are stated by assertions. Combining attack scenarios and fault models give a flexible way to evaluate codes and countermeasures.
Voir en ligne : Lazart website

Contact | Plan du site | Site réalisé avec SPIP 3.2.19 + AHUNTSIC [CC License]

info visites 2084017