Grimaud, Gilles, 1972-....
Grimaud, Gilles
VIAF ID: 31531047 ( Personal )
Permalink: http://viaf.org/viaf/31531047
Preferred Forms
-
- 100 1 _ ‡a Grimaud, Gilles
-
- 100 1 _ ‡a Grimaud, Gilles ‡d 1972-...
- 100 1 _ ‡a Grimaud, Gilles, ‡d 1972-....
Works
Title | Sources |
---|---|
Analyse de flot d'information pour les systèmes embarqués : aspects pratiques et théoriques. | |
Analyse forensique des écosystèmes intelligents communicants de l'internet des objets | |
Assistance au développement de logiciels embarqués contraints en énergie | |
The Author's Smart card research and advanced applications | |
A cache-aware data structure layout for parallelism and dynamic load balancing. | |
CamilleRT : a real time extensible operating system for smartcards . | |
CamilleRT : un système d'exploitation temps réel extensible pour carte à microprocesseur | |
Le co-design d'un noyau de système d'exploitation et de sa preuve formelle d'isolation | |
Co-design et implémentation d'un noyau minimal orienté par sa preuve, et évolution vers les architectures multi-coeur | |
The co-design of an operating system kernel and its formal proof of isolation. | |
Conception d'un noyau sécurisé pour objets contraints | |
Consolidation avancée pour des conteneurs dynamiques. | |
Déploiements sécurisés de logiciels critiques au sein d'environnements contraints | |
Design of a secure kernel for constrained devices. | |
Détection d'intrusion basée sur l'analyse de compteurs matériels pour des objets connectés | |
Détection d'intrusion réseau par apprentissage machine : un problème temporel, déséquilibré et en constante évolution. | |
Détection d'intrusions réaliste dans les maisons connectées à l'aide d'indicateurs physiques volatiles | |
Development support for energy-constrained embedded software. | |
Digital IoT ecosystems in criminal investigations. | |
DISCUS : une architecture de détection d'intrusions réseau distribuée basée sur un langage dédié | |
Éléments de conception de systèmes embarqués fortement contraints | |
Étude et amélioration de la performance des serveurs de données pour les architectures multi-cœurs | |
Exécution d'applications stockées dans la mémoire non-adressable d'une carte à puce | |
Hyperviseur de protection d'exécutables : étude, développement et discussion | |
Improving the performance of data servers on multicore architectures. | |
Information flow analysis for embedded systems : from practical to theoretical aspects | |
Intrusion detection based on hardware counters for connected things. | |
Late specialization of embedded Java systems for small and restrained devices. | |
Learning-Based Network Intrusion Detection : an Imbalanced, Constantly Evolving and Timely Problem | |
Maîtrise du temps d'exécution de logiciels déployés dans des dispositifs personnels de confiance | |
Un modèle de structure de données Cache-aware pour un parallélisme et un équilibrage dynamique de la charge | |
Network Intrusion detection in IoT devices using machine learning techniques : a study in education and connected cars. | |
Numérique et Sciences Informatiques : Tle Spécialité | |
Object-oriented memory management for embedded systems. | |
Programmation vérifiée et intégration sécurisée de bibliothèques de systèmes d’exploitation dans Coq. | |
Real-time security in critical embedded system. | |
Realistic intrusion detection in smart homes using volatile physical features. | |
Reducing hardware TCB in favor of certifiable virtual machine monitor | |
Réduction des besoins de confiance matérielle pour le développement d'un hyperviseur certifié. | |
Safety and optimization by typing in the context of open and constraint devices. | |
Secure software deployment on trusted personal devices. | |
Sécurité et détection d'intrusion dans les réseaux sans fil | |
Sécurité temps réel dans les systèmes embarqués critiques | |
Security and intrusion detection in wireless networks. | |
Smews : un système d'exploitation dédié au support d'applications Web en environnement contraint | |
Spécialisation tardive de systèmes Java embarqués pour petits objets portables et sécurisés | |
Sûreté et optimisation par les systèmes de types en contexte ouvert et contraint | |
Towards Performance and Dependability Benchmarking of Distributed Fault Tolerance Protocols. | |
Verified programming and secure integration of operating system libraries in Coq |