معرفی
Gilles Grimaud serves as Teacher Team Leader for the 2XS research group and Elected Member of the Unit Council at University of Lille's CRIStAL laboratory, located at Science City campus (Building M3 Extension, Office 209).
His research spans critical domains in systems security:
- Formal verification of operating system kernels
- Memory isolation for IoT ecosystems
- Embedded systems security
- Cloud and wireless network intrusion detection
- Energy-constrained software development
- Distributed software verification from cloud to IoT
Supervising over 14 doctoral theses through 2023, his students have pioneered verified hypervisors, Android security with eBPF, and DDoS detection frameworks. Current work focuses on formally proven security architectures for resource-limited devices.
As core member of the 2XS team within CRIStAL (UMR 9189), he bridges theoretical formal methods with practical system implementations across constrained environments.
۰مقاله منتشرشده
