[PhD proposal] Detecting timing attacks using formal methods

This PhD aims at detecting, preventing and correcting side channel attacks, notably timed attacks, using formal methods.

Supervisor: Étienne André

Team: MOSEL/VeriDis

See the subject in PDF.

Applications: by email at phd.promis@lipn13.fr

Preferred starting date: fall 2020

Logo d'Inria