research
∙
06/13/2023
Is Your Wallet Snitching On You? An Analysis on the Privacy Implications of Web3
With the recent hype around the Metaverse and NFTs, Web3 is getting more...
share
research
∙
05/25/2023
ACAI: Extending Arm Confidential Computing Architecture Protection from CPUs to Accelerators
Trusted execution environments in several existing and upcoming CPUs dem...
research
∙
11/09/2022
It's TEEtime: Bringing User Sovereignty to Smartphones
The majority of smartphones either run iOS or Android operating systems....
research
∙
11/01/2022
Empowering Data Centers for Next Generation Trusted Computing
Modern data centers have grown beyond CPU nodes to provide domain-specif...
research
∙
05/25/2022
SoK: Hardware-supported Trusted Execution Environments
The growing complexity of modern computing platforms and the need for st...
research
∙
10/13/2021
SmashEx: Smashing SGX Enclaves Using Exceptions
Exceptions are a commodity hardware functionality which is central to mu...
research
∙
03/29/2021
Dynamic Binary Translation for SGX Enclaves
Enclaves, such as those enabled by Intel SGX, offer a hardware primitive...
research
∙
02/04/2021
Sovereign Smartphone: To Enjoy Freedom We Have to Control Our Phones
The majority of smartphones either run iOS or Android operating systems....
research
∙
10/16/2020
Elasticlave: An Efficient Memory Model for Enclaves
Trusted-execution environments (TEE), like Intel SGX, isolate user-space...
research
∙
09/02/2020
Binary Compatibility For SGX Enclaves
Enclaves, such as those enabled by Intel SGX, offer a powerful hardware ...
research
∙
07/23/2019
Keystone: An Open Framework for Architecting TEEs
Trusted execution environments (TEEs) are being used in all the devices ...
research
∙
07/23/2019
Keystone: A Framework for Architecting TEEs
Trusted execution environments (TEEs) are becoming a requirement across ...
research
∙
06/25/2019
Quantitative Verification of Neural Networks And its Security Applications
Neural networks are increasingly employed in safety-critical domains. Th...
research
∙
01/04/2019
Practical Verifiable In-network Filtering for DDoS defense
In light of ever-increasing scale and sophistication of modern DDoS atta...
research
∙
10/01/2018
Privado: Practical and Secure DNN Inference
Recently, cloud providers have extended support for trusted hardware pri...
research
∙
07/02/2018
Neuro-Symbolic Execution: The Feasibility of an Inductive Approach to Symbolic Execution
Symbolic execution is a powerful technique for program analysis. However...
research
∙
07/02/2018