Thomas Given-Wilson, Nisrine Jafri, Jean-Louis Lanet, Axel Legay. An Automated Formal Process for Detecting Fault Injection Vulnerabilities in Binaries and Case Study on PRESENT.
2017 IEEE Trustcom/BigDataSE/ICESS, Aug 2017, Sydney, Australia. pp.293 - 300,
⟨10.1109/Trustcom/BigDataSE/ICESS.2017.250⟩.
⟨hal-01629098⟩