Triple Handshakes and Cookie Cutters: Breaking and Fixing Authentication over TLS
ASPIER: An Automated Framework for Verifying Security Protocol Implementations