Keyword:bootloader use-case

Publications
Combining Static Analysis and Dynamic Symbolic Execution in a Toolchain to detect Fault Injection Vulnerabilities Guilhem Lacombe, David Féliot, Etienne Boespflug and Marie-Laure Potet In:Proceedings of 10th International Workshop on Security Proofs for Embedded Systems