Login / Signup

An Automated Formal Process for Detecting Fault Injection Vulnerabilities in Binaries and Case Study on PRESENT.

Thomas Given-WilsonNisrine JafriJean-Louis LanetAxel 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