Laboratoire d'Intelligence Artificielle et ses Applications

Advanced Steganography and Watermarking Techniques · Chaos-based Image/Signal Encryption · Digital Media Forensic Detection · Computer Science and Engineering · Advanced Clustering Algorithms Research

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