- Computer Science Laboratory

 Thesis : Analyse formelle de fuite et modélisation réaliste des fuites de la micro-architecture

Sorry, no longer relevant