Award Recipient Omar Haider Chowdhury Stony Brook University Social website 2024 Amazon Research Award Restricter: An Automatic Tool for Authoring Amazon Cedar Access Control Policies with the Principle of Least Privilege Research topic Automated reasoning
