The Price of Active Security in Cryptographic Protocols. - Hazay, Carmit; Venkitasubramaniam, Muthuramakrishnan; Weiss, Mor (2020)