Hi! I am a Ph.D student at LIMOS in Clermont-Ferrand, France.

I work on the formal analysis of cryptographic protocols under the supervision of Pascal Lafoucade and Jannik Dreier.




Contact:

E-mail:
dhekra dot mahmoud at uca dot fr

postal address:
LIMOS
1 Rue de la Chebarde, 63178 Aubière
France