معرفی
Pascal Berthome is a University Professor at INSA Centre Val de Loire. He serves as Deputy Director of the Laboratory (SDS) and is a Member of the Board. His research focuses on cybersecurity, formal verification, and privacy-preserving technologies in diverse domains such as smart cards, IoT, and cloud computing.
- Primary Affiliation: INSA Centre Val de Loire
- Research Affiliation: LIFO (Laboratoire d'Informatique Fondamentale d'Orléans)
Research Interests: His work spans secure control-flow integrity in embedded systems, biometric authentication, federated learning for agriculture, and privacy in semantic networks. He also contributes to formal verification of smart card software and intrusion detection systems.
Publication Trends: Over the past decade, Pascal has focused on security in heterogeneous systems, privacy-preserving algorithms, and formal methods for cyber-physical systems. Recurring themes include smart card vulnerabilities, federated IoT security, and cloud computing.