Shweta Shinde

Orcid: 0000-0003-0415-2960

Affiliations:

ETH Zürich, Switzerland

According to our database¹, Shweta Shinde authored at least 37 papers between 2013 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of three.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2024

Dorami: Privilege Separating Security Monitor on RISC-V TEEs.

[BibT_eX]

[DOI]

Mark Kuhne

Stavros Volos

Shweta Shinde

CoRR, 2024

Devlore: Extending Arm CCA to Integrated Devices A Journey Beyond Memory to Interrupt Isolation.

[BibT_eX]

[DOI]

CoRR, 2024

Aster: Fixing the Android TEE Ecosystem with Arm CCA.

[BibT_eX]

[DOI]

CoRR, 2024

SIGY: Breaking Intel SGX Enclaves with Malicious Exceptions & Signals.

[BibT_eX]

[DOI]

CoRR, 2024

ACAI: Protecting Accelerator Execution with Arm Confidential Computing Architecture.

[BibT_eX]

[DOI]

Proceedings of the 33rd USENIX Security Symposium, 2024

HECKLER: Breaking Confidential VMs with Malicious Interrupts.

[BibT_eX]

[DOI]

Proceedings of the 33rd USENIX Security Symposium, 2024

WeSee: Using Malicious #VC Interrupts to Break AMD SEV-SNP.

[BibT_eX]

[DOI]

Proceedings of the IEEE Symposium on Security and Privacy, 2024

Revisiting Rollbacks on Smart Contracts in TEE-protected Private Blockchains.

[BibT_eX]

[DOI]

Chen Chang Lew

Christof Ferreira Torres

Shweta Shinde

Marcus Brandenburger

Proceedings of the IEEE European Symposium on Security and Privacy Workshops, 2024

Rolling in the Shadows: Analyzing the Extraction of MEV Across Layer-2 Rollups.

[BibT_eX]

[DOI]

Christof Ferreira Torres

Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, 2024

2023

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

[BibT_eX]

[DOI]

CoRR, 2023

Is Your Wallet Snitching On You? An Analysis on the Privacy Implications of Web3.

[BibT_eX]

[DOI]

Christof Ferreira Torres

Fiona Willi

Shweta Shinde

Proceedings of the 32nd USENIX Security Symposium, 2023

2022

Dynamic Binary Translation for SGX Enclaves.

[BibT_eX]

[DOI]

ACM Trans. Priv. Secur., 2022

It's TEEtime: Bringing User Sovereignty to Smartphones.

[BibT_eX]

[DOI]

CoRR, 2022

Empowering Data Centers for Next Generation Trusted Computing.

[BibT_eX]

[DOI]

CoRR, 2022

SoK: Hardware-supported Trusted Execution Environments.

[BibT_eX]

[DOI]

CoRR, 2022

Elasticlave: An Efficient Memory Model for Enclaves.

[BibT_eX]

[DOI]

Jason Zhijingcheng Yu

Shweta Shinde

Trevor E. Carlson

Prateek Saxena

Proceedings of the 31st USENIX Security Symposium, 2022

2021

Sovereign Smartphone: To Enjoy Freedom We Have to Control Our Phones.

[BibT_eX]

[DOI]

CoRR, 2021

SmashEx: Smashing SGX Enclaves Using Exceptions.

[BibT_eX]

[DOI]

Jinhua Cui

Jason Zhijingcheng Yu

Shweta Shinde

Prateek Saxena

Zhiping Cai

Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021

2020

Building Open Trusted Execution Environments.

[BibT_eX]

[DOI]

IEEE Secur. Priv., 2020

Binary Compatibility For SGX Enclaves.

[BibT_eX]

[DOI]

CoRR, 2020

BesFS: A POSIX Filesystem for Enclaves with a Mechanized Safety Proof.

[BibT_eX]

[DOI]

Proceedings of the 29th USENIX Security Symposium, 2020

Keystone: an open framework for architecting trusted execution environments.

[BibT_eX]

[DOI]

Proceedings of the EuroSys '20: Fifteenth EuroSys Conference 2020, 2020

2019

Keystone: A Framework for Architecting TEEs.

[BibT_eX]

[DOI]

CoRR, 2019

Neuro-Symbolic Execution: Augmenting Symbolic Execution with Neural Constraints.

[BibT_eX]

[DOI]

Proceedings of the 26th Annual Network and Distributed System Security Symposium, 2019

Practical Verifiable In-network Filtering for DDoS Defense.

[BibT_eX]

[DOI]

Proceedings of the 39th IEEE International Conference on Distributed Computing Systems, 2019

Quantitative Verification of Neural Networks and Its Security Applications.

[BibT_eX]

[DOI]

Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019

2018

Privado: Practical and Secure DNN Inference.

[BibT_eX]

[DOI]

CoRR, 2018

Neuro-Symbolic Execution: The Feasibility of an Inductive Approach to Symbolic Execution.

[BibT_eX]

[DOI]

CoRR, 2018

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

[BibT_eX]

[DOI]

CoRR, 2018

2017

Panoply: Low-TCB Linux Applications With SGX Enclaves.

[BibT_eX]

[DOI]

Proceedings of the 24th Annual Network and Distributed System Security Symposium, 2017

2016

Data-Oriented Programming: On the Expressiveness of Non-control Data Attacks.

[BibT_eX]

[DOI]

Proceedings of the IEEE Symposium on Security and Privacy, 2016

Preventing Page Faults from Telling Your Secrets.

[BibT_eX]

[DOI]

Proceedings of the 11th ACM on Asia Conference on Computer and Communications Security, 2016

2015

Preventing Your Faults From Telling Your Secrets: Defenses Against Pigeonhole Attacks.

[BibT_eX]

[DOI]

CoRR, 2015

DexterJS: robust testing platform for DOM-based XSS vulnerabilities.

[BibT_eX]

[DOI]

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Auto-patching DOM-based XSS at scale.

[BibT_eX]

[DOI]

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

2014

A model counter for constraints over unbounded strings.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

2013

AUTOCRYPT: enabling homomorphic computation on servers to protect sensitive web content.

[BibT_eX]

[DOI]

Proceedings of the 2013 ACM SIGSAC Conference on Computer and Communications Security, 2013

Shweta Shinde

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...