Jan Peter Drees, Pritha Gupta, Eyke Hüllermeier, Tibor Jager, Alexander Konze, Claudia Priesterjahn, Arunselvan Ramaswamy, Juraj Somorovsky. Automated Detection of Side Channels in Cryptographic Protocols: DROWN the ROBOTs!. IACR Cryptology ePrint Archive, 2021:591, 2021. [doi]
Abstract is missing.