Award Recipient Christopher Fletcher University of California Berkeley Social website 2025 Amazon Research Award Design and verification of high-assurance key management services for stateful confidential computing Research topic Information and knowledge management
