⤶

► Conception fiable de systèmes embarqués et temps réel

► Audit de sécurité, évaluation de systèmes sécurisés, développement de protocoles sécurisés, attaques par canaux auxiliaires, cours de sécurité et de cryptographie,