Award Recipient Fu Song ShanghaiTech University Social website 2021 Amazon Research Award “Efficient and precise verification for constant-time and time-balancing of cryptosystems”
