Towards the Automated Verification of Cryptographic Protocol Implementations

Bhargavan, Karthikeyan

by Karthikeyan Bhargavan

Reference:

Towards the Automated Verification of Cryptographic Protocol Implementations (Karthikeyan Bhargavan), 2012.

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 = 	 {M{\'e}moire d'habilitation},
  month = 	 may
}