Laurent Mounier
10 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)
Interface Compliance of Inline Assembly: Automatically Check, Patch and Refine
Frédéric Recoules and others (2021) · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · Institute of Electrical and Electronics Engineers
Countermeasures Optimization in Multiple Fault-Injection Context
Etienne Boespflug and others (2020) · Workshop on Fault Detection and Tolerance in Cryptography (FDTC)
Get Rid of Inline Assembly through Verification-Oriented Lifting
Frédéric Recoules and others (2019) · IEEE
BINSEC/SE: A Dynamic Symbolic Execution Toolkit for Binary-Level Analysis
Robin David and others (2016) · IEEE
Finding the needle in the heap: combining static analysis and dynamic symbolic execution to trigger use-after-free
Josselin Feist and others (2016)
Lazart: A Symbolic Approach for Evaluation the Robustness of Secured Codes against Control Flow Injections
Marie-Laure Potet and others (2014) · 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation · IEEE
Validation of Asynchronous Circuit Specifications Using IF/CADP
D. Borrione and others (2006) · Springer Science+Business Media
Specification and Verification of the PowerScaleTM Bus Arbitration Protocol: An Industrial Experiment with LOTOS
Ghassan Chehaibar and others (1996) · IFIP advances in information and communication technology · Springer Science+Business Media
CADP a protocol validation and verification toolbox
Jean-Claude Fernandez and others (1996) · Springer Berlin Heidelberg