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
VenueBTrustCom
Year2017
ProceedingsTrustCom/BigDataSE/ICESS
DBLP recordconf/trustcom/Given-WilsonJLL17 ↗
Browse the full TrustCom paper archive.