Laboratoire d'Intelligence Artificielle et ses Applications

Cryptography and Data Security · Network Time Synchronization Technologies · Web Application Security Vulnerabilities · Cryptographic Implementations and Security · Software-Defined Networks and 5G

Privacy-Preserving Technologies in Data · UAV Applications and Optimization · Brain Tumor Detection and Classification · User Authentication and Security Systems · Blockchain Technology Applications and Security

Privacy-Preserving Technologies in Data · Adversarial Robustness in Machine Learning · Security and Verification in Computing · Digital Imaging for Blood Diseases · Cell Image Analysis Techniques

Model-Driven Software Engineering Techniques · Logic, programming, and type systems · Formal Methods in Verification · Safety Systems Engineering in Autonomy · Access Control and Trust