Etienne Boespflug

3 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

A Compositional Methodology to Harden Programs Against Multi-Fault Attacks

Etienne Boespflug and others (2023) · Workshop on Fault Detection and Tolerance in Cryptography (FDTC)

Combining static analysis and dynamic symbolic execution in a toolchain to detect fault injection vulnerabilities

Guilhem Lacombe and others (2021) · PROOFS Workshop (Security Proofs for Embedded Systems)

Countermeasures Optimization in Multiple Fault-Injection Context

Etienne Boespflug and others (2020) · Workshop on Fault Detection and Tolerance in Cryptography (FDTC)