@inproceedings{PMP+4,
title = {Lazart: a symbolic approach for evaluation the robustness of secured codes against control flow fault injection },
author = {Potet, Marie-Laure and Mounier, Laurent and Puys, Maxime and Dureuil, Louis},
year = {2014},
booktitle = {ICST},
team = {DCS, PACSS, axe_Pacs},
}