On Sat Nov 21, 2020 at 5:55 AM EST, Emery wrote: > This is a problem solved many times over. You will need to do better > than > the Noise protocol, which is the most compelling alternative to TLS. > > http://noiseprotocol.org/ > https://noiseexplorer.com/ > > https://verifpal.com/ - Formal proofs or GTFO > Thanks for the resources! Noise looks interesting indeed.