Albert Kwon, James R. Wilcox, Peter Bailis. Research for practice: private online communication; highlights in systems verification. Communications of the ACM, 61(2):46-49, 2018. [doi]
@article{KwonWB18,
title = {Research for practice: private online communication; highlights in systems verification},
author = {Albert Kwon and James R. Wilcox and Peter Bailis},
year = {2018},
doi = {10.1145/3132271},
url = {http://doi.acm.org/10.1145/3132271},
researchr = {https://researchr.org/publication/KwonWB18},
cites = {0},
citedby = {0},
journal = {Communications of the ACM},
volume = {61},
number = {2},
pages = {46-49},
}