2023 IEEE 36th Computer Security Foundations Symposium (CSF)
Towards End-to-End Verified TEEs via Verified Interface Conformance and Certified Compilers
DOI Bookmark: 10.1109/CSF57540.2023.00021
Authors
Farzaneh Derakhshan, Carnegie Mellon University,Pittsburgh,USAZichao Zhang, Carnegie Mellon University,Pittsburgh,USA
Amit Vasudevan, Carnegie Mellon University,Pittsburgh,USA
Limin Jia, Carnegie Mellon University,Pittsburgh,USA