CipherH This is the home of CIPHERH: Automated Detection of Ciphertext Side-channel Vulnerabilities in Cryptographic Implementations. The latest code is in the master branch of this repo.