Shweta Shinde | DeepAI

AI Chat

Featured Co-authors

Dawn Song
130 publications
Kuldeep S. Meel
49 publications
Prateek Saxena
24 publications
Abhik Roychoudhury
24 publications
Srdjan Capkun
21 publications
Shruti Tople
19 publications
Vyas Sekar
19 publications
Zhiping Cai
14 publications
Krste Asanović
14 publications
Renzo Andri
13 publications
Trevor E. Carlson
12 publications

∙ 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...

0 Christof Ferreira Torres, et al. ∙

∙ 05/25/2023

ACAI: Extending Arm Confidential Computing Architecture Protection from CPUs to Accelerators

Trusted execution environments in several existing and upcoming CPUs dem...

0 Supraja Sridhara, et al. ∙

∙ 11/09/2022

It's TEEtime: Bringing User Sovereignty to Smartphones

The majority of smartphones either run iOS or Android operating systems....

0 Friederike Groschupp, et al. ∙

∙ 11/01/2022

Empowering Data Centers for Next Generation Trusted Computing

Modern data centers have grown beyond CPU nodes to provide domain-specif...

0 Aritra Dhar, et al. ∙

∙ 05/25/2022

SoK: Hardware-supported Trusted Execution Environments

The growing complexity of modern computing platforms and the need for st...

0 Moritz Schneider, et al. ∙

∙ 10/13/2021

SmashEx: Smashing SGX Enclaves Using Exceptions

Exceptions are a commodity hardware functionality which is central to mu...

0 Jinhua Cui, et al. ∙

∙ 03/29/2021

Dynamic Binary Translation for SGX Enclaves

Enclaves, such as those enabled by Intel SGX, offer a hardware primitive...

0 Jinhua Cui, et al. ∙

∙ 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....

0 Friederike Groschupp, et al. ∙

∙ 10/16/2020

Elasticlave: An Efficient Memory Model for Enclaves

Trusted-execution environments (TEE), like Intel SGX, isolate user-space...

0 Zhijingcheng Yu, et al. ∙

∙ 09/02/2020

Binary Compatibility For SGX Enclaves

Enclaves, such as those enabled by Intel SGX, offer a powerful hardware ...

0 Shweta Shinde, et al. ∙

∙ 07/23/2019

Keystone: An Open Framework for Architecting TEEs

Trusted execution environments (TEEs) are being used in all the devices ...

0 Dayeol Lee, et al. ∙

∙ 07/23/2019

Keystone: A Framework for Architecting TEEs

Trusted execution environments (TEEs) are becoming a requirement across ...

0 Dayeol Lee, et al. ∙

∙ 06/25/2019

Quantitative Verification of Neural Networks And its Security Applications

Neural networks are increasingly employed in safety-critical domains. Th...

0 Teodora Baluta, et al. ∙

∙ 01/04/2019

Practical Verifiable In-network Filtering for DDoS defense

In light of ever-increasing scale and sophistication of modern DDoS atta...

0 Deli Gong, et al. ∙

∙ 10/01/2018

Privado: Practical and Secure DNN Inference

Recently, cloud providers have extended support for trusted hardware pri...

0 Shruti Tople, et al. ∙

∙ 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...

0 Shiqi Shen, et al. ∙

∙ 07/02/2018

BesFS: Mechanized Proof of an Iago-Safe Filesystem for Enclaves

New trusted computing primitives such as Intel SGX have shown the feasib...

0 Shweta Shinde, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world