2017 Amazon Research Award
Automatically Detecting Bugs in Identity and Access Management Policies
Research topic
Security, privacy, and abuse prevention
2023 Amazon Research Award
Detecting and Quantifying Information Leakages in Crypto Libraries
Research topic
Cryptography