An Automated Formal Process for Detecting Fault Injection Vulnerabilities in Binaries and Case Study on PRESENT - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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. In 2017 IEEE Trustcom/BigDataSE/ICESS, Sydney, Australia, August 1-4, 2017. pages 293-300, IEEE, 2017. [doi]

This author has not been identified. Look up 'Thomas Given-Wilson' in GoogleThis author has not been identified. Look up 'Nisrine Jafri' in GoogleThis author has not been identified. Look up 'Jean-Louis Lanet' in GoogleThis author has not been identified. Look up 'Axel Legay' in Google

runs on WebDSL