Habilitation à diriger des recherches

Dissertation presented to obtain the HABILITATION À DIRIGER DES RECHERCHES

Habilitation à Diriger les Recherches mention Informatique

Habilitation à Diriger les Recherches Mention Informatique

Introduction quid est ergo tempus? si nemo ex me quaerat, scio; si quaerenti explicare velim, nescio. What then is time? If no one asks me, I know; if I wish to explain it to one that asketh, I know not. 1 The present document is about time, in at least two respects. Firstly, it gives a description of my scientific work over the time since the completion of my PhD thesis [85]. Secondly, this te...

Mémoire d ' Habilitation à Diriger les Recherches

Security is a very old concern, which until quite recently was mostly of interest for military purposes. The deployment of electronic commerce changes this drastically. The security of exchanges is ensured by cryptographic protocols which are notoriously error prone. The formal veri cation of cryptographic protocols is a di cult problem that can be seen as a particular model-checking problem in...

Habilitation à diriger des recherches Turbulences