1. FlexTLS: A Tool for Testing TLS Implementations. https://mitls.org/pages/flextls
2. Getting Started in the IETF. https://www.ietf.org/newcomers.html . Accessed 06 Aug 2016
3. miTLS: A Verified Reference Implementation of TLS. https://mitls.org/
4. ProVerif: Cryptographic protocol verifier in the formal model. http://prosecco.gforge.inria.fr/personal/bblanche/proverif/
5. TLS 1.3 Security Properties. https://github.com/tls13properties/tls13-properties