Fortify Your Foundations: Practical Privacy and Security for Foundation Model Deployments In The Cloud.
CoRR, 2024
SENSE: Enhancing Microarchitectural Awareness for TEEs via Subscription-Based Notification.
Proceedings of the 31st Annual Network and Distributed System Security Symposium, 2024
Gramine-TDX: A Lightweight OS Kernel for Confidential VMs.
Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, 2024
AEX-Notify: Thwarting Precise Single-Stepping Attacks through Interrupt Awareness for Intel SGX Enclaves.
Proceedings of the 32nd USENIX Security Symposium, 2023
μSwitch: Fast Kernel Context Isolation with Implicit Context Switches.
Proceedings of the 44th IEEE Symposium on Security and Privacy, 2023
MeSHwA: The case for a Memory-Safe Software and Hardware Architecture for Serverless Computing.
CoRR, 2022
Computation offloading to hardware accelerators in Intel SGX and Gramine Library OS.
CoRR, 2022
PRIDWEN: Universally Hardening SGX Programs via Load-Time Synthesis.
Proceedings of the 2022 USENIX Annual Technical Conference, 2022
SCLERA: A Framework for Privacy-Preserving MLaaS at the Pervasive Edge.
Proceedings of the 2022 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events, 2022
Cerberus: A Formal Approach to Secure and Efficient Enclave Memory Sharing.
Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022
Privacy-Preserving Machine Learning in Untrusted Clouds Made Simple.
CoRR, 2020
Scaling Intel® Software Guard Extensions Applications with Intel® SGX Card.
Proceedings of the 8th International Workshop on Hardware and Architectural Support for Security and Privacy, 2019
Snort Intrusion Detection System with Intel Software Guard Extension (Intel SGX).
CoRR, 2018
Integrating Remote Attestation with Transport Layer Security.
CoRR, 2018
Intel SGX Enabled Key Manager Service with OpenStack Barbican.
CoRR, 2017
Graphene-SGX: A Practical Library OS for Unmodified Applications on SGX.
Proceedings of the 2017 USENIX Annual Technical Conference, 2017
Intel® Software Guard Extensions (Intel® SGX) Architecture for Oversubscription of Secure Memory in a Virtualized Environment.
Proceedings of the Hardware and Architectural Support for Security and Privacy, 2017
User-Guided Device Driver Synthesis.
Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation, 2014
ACM SIGOPS Oper. Syst. Rev., 2011
Improved device driver reliability through hardware verification reuse.
Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems, 2011
Improved Device Driver Reliability Through Verification Reuse.
Proceedings of the Sixth Workshop on Hot Topics in System Dependability, 2010