Karthikeyan Bhargavan

Progress in Cryptology - INDOCRYPT 2020