Dylan is a PhD-student at Université de Lorraine, at the IAEM Doctoral School in computer science. He belongs to the VeriDis team of the LORIA and Inria.
After a Bachelor’s degree and a first year of Master in computer science in the Université de Rennes 1, he has attended courses in the Institut d’Études Politiques de Rennes (Sciences Po Rennes) in a Master class of “Security Defense and Strategic Intelligence”. Simultaneously, he has performed a Magister’s degree in computer science at École Normale Supérieure de Rennes.
He joined Université de Lorraine and LORIA in October 2020 for his PhD.
PhD in Computer Science, 2020 - 2023
Université de Lorraine
Magister's degree in computer science, 2020
École Normale Supérieure de Rennes
Master's degree in public policies, 2020
Institut d'Études Politiques de Rennes
Master's degree (Master 1) in computer science, 2019
Université de Rennes 1
Detecting timing attacks using formal methods
Under the supervision of Étienne André, in the VeriDis team and ProMiS project
Dylan.Marinho(at)univ-lorraine.fr
Dylan.Marinho(at)loria.fr
Dylan Marinho
Équipe VeriDis, Bâtiment B
LORIA,
Campus Scientifique,
F54506 Vandœuvre-lès-Nancy Cedex
FRANCE
Loria: B206
IUT Charlemagne: 013