Automated Side-Channel Analysis of Cryptographic Protocol Implementations