Articles with public access mandates - Laurent MounierLearn more
Available somewhere: 5
Synchronous programming of device drivers for global resource control in embedded operating systems
N Berthier, F Maraninchi, L Mounier
ACM Transactions on Embedded Computing Systems (TECS) 12 (1s), 1-26, 2013
Mandates: US National Institutes of Health
Countermeasures optimization in multiple fault-injection context
E Boespflug, C Ene, L Mounier, ML Potet
2020 Workshop on Fault Detection and Tolerance in Cryptography (FDTC), 26-34, 2020
Mandates: Agence Nationale de la Recherche
Function synthesis for maximizing model counting
T Vigouroux, M Bozga, C Ene, L Mounier
International Conference on Verification, Model Checking, and Abstract …, 2023
Mandates: Agence Nationale de la Recherche
Output-sensitive information flow analysis
C Ene, L Mounier, ML Potet
Logical Methods in Computer Science 17, 2021
Mandates: Agence Nationale de la Recherche
A compositional methodology to harden programs against multi-fault attacks
E Boespflug, L Mounier, ML Potet, A Bouguern
2023 Workshop on Fault Detection and Tolerance in Cryptography (FDTC), 24-35, 2023
Mandates: Agence Nationale de la Recherche
Publication and funding information is determined automatically by a computer program