Award Recipient Ioana Boureanu University of Surrey Social website 2024 Amazon Research Award Phoebe+: An Automated-Reasoning Tool for Provable Privacy in Cryptographic Systems Research topic Automated reasoning
