Noise Protocol Framework

The Noise Protocol Framework is a framework for designing verified cryptographic protocols.