Progress in Cryptology – INDOCRYPT 2020 - Bhargavan (Springer International Publishing, 2020)