Mounier, Laurent.
Mounier, Laurent, 19..-...., auteur(e) en informatique
VIAF ID: 36629178 ( Personal )
Permalink: http://viaf.org/viaf/36629178
Preferred Forms
- 200 _ | ‡a Mounier ‡b Laurent
- 100 1 _ ‡a Mounier, Laurent
-
-
-
- 100 1 _ ‡a Mounier, Laurent
-
-
- 100 1 _ ‡a Mounier, Laurent, ‡d 19..-...., ‡c auteur(e) en informatique
-
Works
Title | Sources |
---|---|
Analyses de code binaire pour la détection et le déclenchement de use-after-free. | |
Application des ordres partiels à la génération compositionnelle de systèmes asynchrones | |
Approaches of adaptive routing for optimizing energy consumption in applications such WSN. | |
Approches de routage adaptatif pour l'optimisation de la consommation énergétique dans les applications type RCSF | |
Étude et mise en oeuvre de techniques de validation à l'exécution | |
Exercices de programmation fonctionnelle en OCaml : une approche pédagogique par l'algorithmique, la preuve et la complexité | |
Finding the needle in the heap : combining binary analysis techniques to trigger use-after-free | |
Foundations and Practice of Security : 15th International Symposium, FPS 2022, Ottawa, ON, Canada, December 12-14, 2022, Revised Selected Papers | |
Méthodes de vérification de spécifications comportementales : étude et mise en oeuvre | |
Model checking software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proceedings | |
Modeling and analyses of wireless sensor networks. | |
Modélisations et analyses de réseaux de capteurs | |
On-the-fly verification on finite transition systems | |
Outils pour l'analyse de code et de contre-mesures pour l'injection de fautes multiples | |
Programmation efficace et sécurisé d'applications à mémoire partagée | |
Recherche de vulnérabilités logicielles par combinaison d'analyses de code binaire et de frelatage (Fuzzing) | |
Rétro-ingénierie de programmes binaires en une exécution : une analyse dynamique légère basée au niveau des fonctions | |
Reverse-engineering of binaries in a single execution : a lightweight function-grained dynamic analysis. | |
Software vulnerability research combining fuzz testing and binary code analysis. | |
SPIN 2004 | |
Study and implementation of runtime validation techniques. | |
Tools for code and countermeasures analysis against multiple faults attacks. | |
Towards efficient and secure shared memory applications. | |
Verification methods for behavioural specifications. |