Linked Presentation: CacheQL: Quantifying and Localizing Cache Side-Channel Vulnerabilities in Production SoftwareCipherH: Automated Detection of Ciphertext Side-channel Vulnerabilities in Cryptographic ImplementationsDecompiling x86 Deep Neural Network ExecutablesPrecise and Generalized Robustness Certification for Neural Networks
