1. ARPKI
: Full implementation formal model and security properties. http://www.netsec.ethz.ch/research/arpki. ARPKI: Full implementation formal model and security properties. http://www.netsec.ethz.ch/research/arpki.
2. Convergence. http://convergence.io/. Convergence. http://convergence.io/.
3. Public Key Pinning. http://www.imperialviolet.org/2011/05/04/pinning.html May 2011. Public Key Pinning. http://www.imperialviolet.org/2011/05/04/pinning.html May 2011.
4. Public Key Pinning Extension for HTTP. http://tools.ietf.org/html/draft-ietf-websec-key-pinning-01 December 2011. Public Key Pinning Extension for HTTP. http://tools.ietf.org/html/draft-ietf-websec-key-pinning-01 December 2011.