Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Stephen Tse. Verified interoperable implementations of security protocols. ACM Transactions on Programming Languages and Systems, 31(1), 2008. [doi]
@article{BhargavanFGT08,
title = {Verified interoperable implementations of security protocols},
author = {Karthikeyan Bhargavan and Cédric Fournet and Andrew D. Gordon and Stephen Tse},
year = {2008},
doi = {10.1145/1452044.1452049},
url = {http://doi.acm.org/10.1145/1452044.1452049},
tags = {protocol, security},
researchr = {https://researchr.org/publication/BhargavanFGT08},
cites = {0},
citedby = {0},
journal = {ACM Transactions on Programming Languages and Systems},
volume = {31},
number = {1},
}