2024
Samplable Anonymous Aggregation for Private Federated Data Analysis.
Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, 2024

2023
Samplable Anonymous Aggregation for Private Federated Data Analysis.
CoRR, 2023

2021
rkt-io: a direct I/O stack for shielded execution.
Proceedings of the EuroSys '21: Sixteenth European Conference on Computer Systems, 2021

2020
Protecting applications using trusted execution environments.
PhD thesis, 2020

2019
SGX-LKL: Securing the Host OS Interface for Trusted Execution.
CoRR, 2019

2018
EnclaveDB: A Secure Database Using SGX.
Proceedings of the 2018 IEEE Symposium on Security and Privacy, 2018

LibSEAL: revealing service integrity violations using trusted execution.
Proceedings of the Thirteenth EuroSys Conference, 2018

2017
Glamdring: Automatic Application Partitioning for Intel SGX.
Proceedings of the 2017 USENIX Annual Technical Conference, 2017

2016
SCONE: Secure Linux Containers with Intel SGX.
Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation, 2016

2015
FlowWatcher: Defending against Data Disclosure Vulnerabilities in Web Applications.
Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, 2015

2014
CloudSafetyNet: Detecting Data Leakage between Cloud Tenants.
Proceedings of the 6th edition of the ACM Workshop on Cloud Computing Security, 2014