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