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 E.