miTLS: Verifying Protocol Implementations against Real-World Attacks (bibtex)
by K. Bhargavan, C. Fournet, M. Kohlweiss
Reference:
miTLS: Verifying Protocol Implementations against Real-World Attacks (K. Bhargavan, C. Fournet, M. Kohlweiss), In IEEE Security & Privacy Magazine, volume 14, 2016.
Bibtex Entry:
@ARTICLE{7782710,
author={K. Bhargavan and C. Fournet and M. Kohlweiss},
journal={IEEE Security \& Privacy Magazine},
title={{miTLS: Verifying Protocol Implementations against Real-World Attacks}},
year={2016},
volume={14},
number={6},
pages={18-25}}
Powered by bibtexbrowser