David Gerault

Lecturer

University of Surrey

Contact

david@gerault.net

Bio

During my Phd with Pascal Lafourcade (October 2015 to November 2018), I worked on designing provably secure, efficient and privacy preserving distance bounding protocols.
Additionally, I worked on the use of constraint programming for the cryptanalysis of symmetric key primitives.
From August 2018 to July 2020, I was a postdoctoral researcher at NTU, working with Thomas Peyrin , on the applications of machine learning to cryptanalysis.
I joined the University of Surrey as a lecturer in September 2020.

Publications

A list of my publications can be found on my dblp profile: dblp

Teaching

University of Surrey

I am currently in charge of the Multimedia Security and Digital Frensics (COMM0046).

NTU

I gave two lectures in the Algorithms for the Real World (MH3400) module: Linear Programming, and Integer Programming.

IUT Réseaux et Telecom

I teached tutorials and labs in the following modules at IUT Réseaux et Telecom

Supervision

I supervised students for various projetcs