Automated Detection of Side Channels in Cryptographic Protocols: DROWN the ROBOTs!
Jan Peter DreesPritha GuptaEyke HüllermeierTibor JagerAlexander KonzeClaudia PriesterjahnArunselvan RamaswamyJuraj SomorovskyPublished in: IACR Cryptol. ePrint Arch. (2021)