Login / Signup
An Automated Formal Process for Detecting Fault Injection Vulnerabilities in Binaries and Case Study on PRESENT.
Thomas Given-Wilson
Nisrine Jafri
Jean-Louis Lanet
Axel Legay
Published in:
TrustCom/BigDataSE/ICESS (2017)
Keyphrases
</>
case study
development process
fault injection
real world
data mining
object oriented
low cost
source code
software development
design process