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!. In Nicholas Carlini, Ambra Demontis, Yizheng Chen, editors, AISec@CCS 2021: Proceedings of the 14th ACM Workshop on Artificial Intelligence and Security, Virtual Event, Republic of Korea, 15 November 2021. pages 169-180, ACM, 2021. [doi]
Abstract is missing.