GitHub repository: Inria-Prosecco/noise-star
Primary language: C
Description: Verified implementations for the Noise family of protocols