Automated Proofs for Diffie-Hellman-Based Key Exchanges | IEEE Conference Publication | IEEE Xplore