Noise*: A Library of Verified High-Performance Secure Channel Protocol Implementations (bibtex)

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}}