Statistics of A multifaceted formal analysis of end-to-end encrypted email protocols and cryptographic authentication enhancements