16 citations · 27 across the 8 of their papers we have counts for
4 papers · 1 filter
A tool assisted methodology to harden programs against multi-faults injections
Etienne Boespflug, Abderrahmane Bouguern, Laurent Mounier +1
Fault attacks consist in changing the program behavior by injecting faults at run-time in order to break some expected security properties. Applications are hardened against fault…
Output-sensitive Information flow analysis
Cristian Ene, Laurent Mounier, Marie-Laure Potet
Constant-time programming is a countermeasure to prevent cache based attacks where programs should not perform memory accesses that depend on secrets. In some cases this policy can…
Combining Static and Dynamic Analysis for Vulnerability Detection
Sanjay Rawat, Dumitru Ceara, Laurent Mounier +1
In this paper, we present a hybrid approach for buffer overflow detection in C code. The approach makes use of static and dynamic analysis of the application under investigation. T…
Security Policy Enforcement Through Refinement Process
Nicolas Stouls, Marie-Laure Potet
In the area of networks, a common method to enforce a security policy expressed in a high-level language is based on an ad-hoc and manual rewriting process. We argue that it is pos…