Jan Peter Drees, Pritha Gupta, Eyke Hüllermeier, Tibor Jager, Alexander Konze, Claudia Priesterjahn, Arunselvan Ramaswamy, and Juraj Somorovsky (2021) Automated Detection of Side Channels in Cryptographic Protocols: DROWN the ROBOTs! In: 14th ACM Workshop on Artificial Intelligence and Security