Automated Detection of Side Channels in Cryptographic Protocols: DROWN the ROBOTs! - Jan Peter Drees; Pritha Gupta; Eyke Hüllermeier; Tibor Jager; Alexander Konze; Claudia Priesterjahn; Arunselvan Ramaswamy; Juraj Somorovsky (IACR Cryptol. ePrint Arch., 2021)