Login / Signup
An automated and scalable formal process for detecting fault injection vulnerabilities in binaries.
Thomas Given-Wilson
Annelie Heuser
Nisrine Jafri
Axel Legay
Published in:
Concurr. Comput. Pract. Exp. (2019)
Keyphrases
</>
fault injection
open source
process model