{CipherH}: Automated Detection of Ciphertext Side-channel Vulnerabilities in Cryptographic Implementations
.
2023. {CipherH}: Automated Detection of Ciphertext Side-channel Vulnerabilities in Cryptographic Implementations. 32nd USENIX Security Symposium (USENIX Security 23). :6843--6860.