Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Amit Vasudevan
conf.researchr.org general profile
POPL 2023 profile
Not registered as user
Name:
Amit Vasudevan
Affiliation:
Carnegie Mellon University
Contributions
2023
PriSC
Author of Towards End-to-End Verified TEEs via Verified Interface Conformance and Interface-Preserving Compilers within the PriSC 2023-track
Share
x
Fri 27 Dec 02:13