research
∙
03/07/2023
Combining static analysis and dynamic symbolic execution in a toolchain to detect fault injection vulnerabilities
Certification through auditing allows to ensure that critical embedded s...
share
research
∙
02/01/2021
