by Ho, Son, Protzenko, Jonathan, Bichhawat, Abhishek and Bhargavan, Karthikeyan
Reference:
Noise*: A Library of Verified High-Performance Secure Channel Protocol Implementations (Ho, Son, Protzenko, Jonathan, Bichhawat, Abhishek and Bhargavan, Karthikeyan), In 2022 IEEE Symposium on Security and Privacy (SP), 2022.
Bibtex Entry:
@INPROCEEDINGS{noisestar,
author={Ho, Son and Protzenko, Jonathan and Bichhawat, Abhishek and Bhargavan, Karthikeyan},
booktitle={2022 IEEE Symposium on Security and Privacy (SP)},
title={Noise*: A Library of Verified High-Performance Secure Channel
Protocol Implementations},
year=2022,
pages={107-124},
doi={10.1109/SP46214.2022.9833621}}