Knowledge Tree

researcher / Gilles Grimaud

Gilles Grimaud

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Camille : un système d'exploitation ouvert pour carte à microprocesseur

Directed Thesis:

Analyse forensique des écosystèmes intelligents communicants de l'internet des objets

Sécurité et détection d'intrusion dans les réseaux sans fil

Co-design et implémentation d’un noyau minimal orienté par sa preuve, et évolution vers les architectures multi-coeur

Le co-design d’un noyau de système d’exploitation et de sa preuve formelle d’isolation

Assistance au développement de logiciels embarqués contraints en énergie

Reducing hardware TCB in favor of certifiable virtual machine monitor

DISCUS : une architecture de détection d'intrusions réseau distribuée basée sur un langage dédié

Exécution d'applications stockées dans la mémoire non-adressable d'une carte à puce

Smews : un système d'exploitation dédié au support d'applications Web en environnement contraint

Information flow analysis for embedded systems : from practical to theoretical aspects

Maîtrise du temps d'exécution de logiciels déployés dans des dispositifs personnels de confiance

Sûreté et optimisation par les systèmes de types en contexte ouvert et contraint

Gestion de mémoire à objets pour systèmes embarqués

Spécialisation tardive de systèmes Java embarqués pour petits objets portables et sécurisés

CamilleRT : un système d'exploitation temps réel extensible pour carte à microprocesseur