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
∙
03/03/2023
A tool assisted methodology to harden programs against multi-faults injections
Fault attacks consist in changing the program behavior by injecting faul...
research
∙
11/02/2022
BAXMC: a CEGAR approach to Max#SAT
Max#SAT is an important problem with multiple applications in security a...
research
∙
02/15/2021
Interface Compliance of Inline Assembly: Automatically Check, Patch and Refine
Inline assembly is still a common practice in low-level C programming, t...
research
∙
09/20/2019
Output-sensitive Information flow analysis
Constant-time programming is a countermeasure to prevent cache based att...
research
∙
03/15/2019
Get rid of inline assembly through trustable verification-oriented lifting
Formal methods for software development have made great strides in the l...
research
∙
02/15/2018