@PhdThesis{BhargavanHDR, author = {Karthikeyan Bhargavan}, title = {Towards the Automated Verification of Cryptographic Protocol Implementations}, school = {\'{E}cole Normale Sup\'{e}rieure}, year = 2012, type = {M{\'e}moire d'habilitation}, month = may }