2025 Amazon Research Award
Design and verification of high-assurance key management services for stateful confidential computing
Research topic
Information and knowledge management
2021 Amazon Research Award
Scalable verification of secure distributed services through synthesis and learning
Research topic
Information and knowledge management
