Progress in Cryptology – INDOCRYPT 2020 - Bhargavan; Oswald, Elisabeth; Prabhakaran, Manoj (Springer International Publishing, 2020)