Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

End-to-End Security for Distributed Event-driven Enclave Applications on Heterogeneous TEEs., , , , , , and . ACM Trans. Priv. Secur., 26 (3): 39:1-39:46 (August 2023)Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors: Extended Version., , , , , , and . CoRR, (2020)ProSpeCT: Provably Secure Speculation for the Constant-Time Policy (Extended version)., , , , , and . CoRR, (2023)POSTER: An Open-Source Framework for Developing Heterogeneous Distributed Enclave Applications., , , , , and . CCS, page 2393-2395. ACM, (2021)CHERI-TrEE: Flexible enclaves on capability machines., , , , , , , and . EuroS&P, page 1143-1159. IEEE, (2023)ProSpeCT: Provably Secure Speculation for the Constant-Time Policy., , , , , and . USENIX Security Symposium, page 7161-7178. USENIX Association, (2023)Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors., , , , , , and . CSF, page 262-276. IEEE, (2020)End-to-End Security for Distributed Event-Driven Enclave Applications on Heterogeneous TEEs., , , , , , and . CoRR, (2022)Securing Interruptible Enclaved Execution on Small Microprocessors., , , , , , and . ACM Trans. Program. Lang. Syst., 43 (3): 12:1-12:77 (2021)