Département d'Informatique

Cryptography and Data Security · Advanced Steganography and Watermarking Techniques · Blockchain Technology Applications and Security · Energy Efficient Wireless Sensor Networks · Chaos-based Image/Signal Encryption

Advanced Steganography and Watermarking Techniques · Cryptography and Data Security · Blockchain Technology Applications and Security · Digital Media Forensic Detection · Advanced Data Compression Techniques

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 · Formal Methods in Verification · Petri Nets in System Modeling · Digital Mental Health Interventions · Logic, programming, and type systems

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

Model-Driven Software Engineering Techniques · Safety Systems Engineering in Autonomy · Formal Methods in Verification