ResearchBenchmarksFormal Protocol Modeling on Noise ProtocolFollow311Lines of Code (LoC)Girol et al.295.45303.225311318.775Jun 18, 2026Evaluation ResultsMethodMethodLinksLines of Code (LoC)ExecutableMACDecryption SuccessTransport SuccessHKDFGirol et al.Protocol=NoiseProtocol=Noise2026.06311—————