受强制性开放获取政策约束的文章 - Laurent Mounier了解详情
可在其他位置公开访问的文章：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
强制性开放获取政策： 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
强制性开放获取政策： 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
强制性开放获取政策： 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
强制性开放获取政策： Agence Nationale de la Recherche
Output-sensitive information flow analysis
C Ene, L Mounier, ML Potet
Logical Methods in Computer Science 17, 2021
强制性开放获取政策： Agence Nationale de la Recherche
出版信息和资助信息由计算机程序自动确定