Trusted-execution environments (TEE) like Intel SGX provide a promise for practical secure computations on users' sensitive data in untrusted computing environments like cloud and blockchains. TEEs are designed using a combination of hardware enforced access controls and cryptography. While there is extensive research on attacking and hardening the access control mechanisms, the advent of quantum computers also requires hardening the cryptography used by TEEs for their long-term security against quantum adversaries.
This talk first explores the cryptography used in TEEs and their quantum resistance. And then, the focus will be on the existing research on constructing one of the cryptographic primitives used in TEEs, anonymous attestation with revocation, under quantum-resistant cryptographic assumptions based on symmetric cryptography and lattice-based cryptography.
200 University Avenue West
Waterloo, ON N2L 3G1