Towards the Automated Verification of Cryptographic Protocol Implementations (bibtex)
by Karthikeyan Bhargavan
Reference:
Towards the Automated Verification of Cryptographic Protocol Implementations (Karthikeyan Bhargavan), 2012. (Mémoire d'habilitation)
Bibtex Entry:
@PhdThesis{BhargavanHDR,
  author = 	 {Karthikeyan Bhargavan},
  title = 	 {Towards the Automated Verification of Cryptographic Protocol Implementations},
  school = 	 {\'{E}cole Normale Sup\'{e}rieure},
  year = 	 2012,
  type = {Thesis},
  note = 	 {M{\'e}moire d'habilitation},
  month = 	 may
}