Laurent Mounier Verimag

Lazart : a symbolic approach for evaluating the robustness of secured codes against control flow fault injections

L. Mounier, Marie-Laure Potet Verimag, Marie-Laure Potet, 2015 .