Award Recipient Arie Gurfinkel University of Waterloo Social website 2021 Amazon Research Award Formal proofs for trusted execution environment (Proofs-for-TEE) Research topic Security, privacy, and abuse prevention
