AUTOCRYPT: enabling homomorphic computation on servers to protect sensitive web content. - Shruti Tople; Shweta Shinde; Zhaofeng Chen; Prateek Saxena (CCS, 2013)

A model counter for constraints over unbounded strings. - Loi Luu; Shweta Shinde; Prateek Saxena; Brian Demsky (PLDI, 2014)

Auto-patching DOM-based XSS at scale. - Inian Parameshwaran; Enrico Budianto; Shweta Shinde; Hung Dang; Atul Sadhu; Prateek Saxena (ESEC/SIGSOFT FSE, 2015)

DexterJS: robust testing platform for DOM-based XSS vulnerabilities. - Inian Parameshwaran; Enrico Budianto; Shweta Shinde; Hung Dang; Atul Sadhu; Prateek Saxena (ESEC/SIGSOFT FSE, 2015)

Preventing Your Faults From Telling Your Secrets: Defenses Against Pigeonhole Attacks. - Shweta Shinde; Zheng Leong Chua; Viswesh Narayanan; Prateek Saxena (CoRR, 2015)

Preventing Page Faults from Telling Your Secrets. - Shweta Shinde; Zheng Leong Chua; Viswesh Narayanan; Prateek Saxena (AsiaCCS, 2016)

Data-Oriented Programming: On the Expressiveness of Non-control Data Attacks. - Hong Hu 004; Shweta Shinde; Sendroiu Adrian; Zheng Leong Chua; Prateek Saxena; Zhenkai Liang (IEEE Symposium on Security and Privacy, 2016)

Panoply: Low-TCB Linux Applications With SGX Enclaves. - Shweta Shinde; Dat Le Tien; Shruti Tople; Prateek Saxena (NDSS, 2017)

BesFS: Mechanized Proof of an Iago-Safe Filesystem for Enclaves. - Shweta Shinde; Shengyi Wang; Pinghai Yuan; Aquinas Hobor; Abhik Roychoudhury; Prateek Saxena (CoRR, 2018)

Neuro-Symbolic Execution: The Feasibility of an Inductive Approach to Symbolic Execution. - Shiqi Shen; Soundarya Ramesh; Shweta Shinde; Abhik Roychoudhury; Prateek Saxena (CoRR, 2018)

Privado: Practical and Secure DNN Inference. - Shruti Tople; Karan Grover; Shweta Shinde; Ranjita Bhagwan; Ramachandran Ramjee (CoRR, 2018)

Quantitative Verification of Neural Networks and Its Security Applications. - Teodora Baluta; Shiqi Shen; Shweta Shinde; Kuldeep S. Meel; Prateek Saxena (CCS, 2019)

Practical Verifiable In-network Filtering for DDoS Defense. - Deli Gong; Muoi Tran; Shweta Shinde; Hao Jin; Vyas Sekar; Prateek Saxena; Min Suk Kang (ICDCS, 2019)

Neuro-Symbolic Execution: Augmenting Symbolic Execution with Neural Constraints. - Shiqi Shen; Shweta Shinde; Soundarya Ramesh; Abhik Roychoudhury; Prateek Saxena (NDSS, 2019)

Keystone: A Framework for Architecting TEEs. - Dayeol Lee; David Kohlbrenner; Shweta Shinde; Dawn Song; Krste Asanovic (CoRR, 2019)

Keystone: an open framework for architecting trusted execution environments. - Dayeol Lee; David Kohlbrenner; Shweta Shinde; Krste Asanovic; Dawn Song (EuroSys, 2020)

BesFS: A POSIX Filesystem for Enclaves with a Mechanized Safety Proof. - Shweta Shinde; Shengyi Wang; Pinghai Yuan; Aquinas Hobor; Abhik Roychoudhury; Prateek Saxena (USENIX Security Symposium, 2020)

Binary Compatibility For SGX Enclaves. - Shweta Shinde; Jinhua Cui 002; Satyaki Sen; Pinghai Yuan; Prateek Saxena (CoRR, 2020)

Building Open Trusted Execution Environments. - David Kohlbrenner; Shweta Shinde; Dayeol Lee; Krste Asanovic; Dawn Song (IEEE Secur. Priv., 2020)

SmashEx: Smashing SGX Enclaves Using Exceptions. - Jinhua Cui 002; Jason Zhijingcheng Yu; Shweta Shinde; Prateek Saxena; Zhiping Cai (CCS, 2021)

Sovereign Smartphone: To Enjoy Freedom We Have to Control Our Phones. - Friederike Groschupp; Moritz Schneider 001; Ivan Puddu; Shweta Shinde; Srdjan Capkun (CoRR, 2021)

Elasticlave: An Efficient Memory Model for Enclaves. - Jason Zhijingcheng Yu; Shweta Shinde; Trevor E. Carlson; Prateek Saxena (USENIX Security Symposium, 2022)

SoK: Hardware-supported Trusted Execution Environments. - Moritz Schneider 001; Ramya Jayaram Masti; Shweta Shinde; Srdjan Capkun; Ronald Perez (CoRR, 2022)

Empowering Data Centers for Next Generation Trusted Computing. - Aritra Dhar; Supraja Sridhara; Shweta Shinde; Srdjan Capkun; Renzo Andri (CoRR, 2022)

It's TEEtime: Bringing User Sovereignty to Smartphones. - Friederike Groschupp; Mark Kuhne; Moritz Schneider 001; Ivan Puddu; Shweta Shinde; Srdjan Capkun (CoRR, 2022)

Dynamic Binary Translation for SGX Enclaves. - Jinhua Cui 002; Shweta Shinde; Satyaki Sen; Prateek Saxena; Pinghai Yuan (ACM Trans. Priv. Secur., 2022)

Is Your Wallet Snitching On You? An Analysis on the Privacy Implications of Web3. - Christof Ferreira Torres; Fiona Willi; Shweta Shinde (USENIX Security Symposium, 2023)

ACAI: Extending Arm Confidential Computing Architecture Protection from CPUs to Accelerators. - Supraja Sridhara; Andrin Bertschi; Benedict Schlüter; Mark Kuhne; Fabio Aliberti; Shweta Shinde (CoRR, 2023)

Confidential Computing with Heterogeneous Devices at Cloud-Scale. - Aritra Dhar; Supraja Sridhara; Shweta Shinde; Srdjan Capkun; Renzo Andri (ACSAC, 2024)

Rolling in the Shadows: Analyzing the Extraction of MEV Across Layer-2 Rollups. - Christof Ferreira Torres; Albin Mamuti; Ben Weintraub; Cristina Nita-Rotaru; Shweta Shinde (CCS, 2024)

Revisiting Rollbacks on Smart Contracts in TEE-protected Private Blockchains. - Chen Chang Lew; Christof Ferreira Torres; Shweta Shinde; Marcus Brandenburger (EuroS&P Workshops, 2024)

eXpect: On the Security Implications of Violations in AXI Implementations. - Melisande Zonta-Roudes; Andres Meza 001; Nora Hinderling; Lucas Deutschmann; Francesco Restuccia 002; Ryan Kastner; Shweta Shinde (ICCAD, 2024)

WeSee: Using Malicious #VC Interrupts to Break AMD SEV-SNP. - Benedict Schlüter; Supraja Sridhara; Andrin Bertschi; Shweta Shinde (SP, 2024)

HECKLER: Breaking Confidential VMs with Malicious Interrupts. - Benedict Schlüter; Supraja Sridhara; Mark Kuhne; Andrin Bertschi; Shweta Shinde (USENIX Security Symposium, 2024)

ACAI: Protecting Accelerator Execution with Arm Confidential Computing Architecture. - Supraja Sridhara; Andrin Bertschi; Benedict Schlüter; Mark Kuhne; Fabio Aliberti; Shweta Shinde (USENIX Security Symposium, 2024)

SIGY: Breaking Intel SGX Enclaves with Malicious Exceptions & Signals. - Supraja Sridhara; Andrin Bertschi; Benedict Schlüter; Shweta Shinde (CoRR, 2024)

Aster: Fixing the Android TEE Ecosystem with Arm CCA. - Mark Kuhne; Supraja Sridhara; Andrin Bertschi; Nicolas Dutly; Srdjan Capkun; Shweta Shinde (CoRR, 2024)

Devlore: Extending Arm CCA to Integrated Devices A Journey Beyond Memory to Interrupt Isolation. - Andrin Bertschi; Supraja Sridhara; Friederike Groschupp; Mark Kuhne; Benedict Schlüter; Clément Thorens; Nicolas Dutly; Srdjan Capkun; Shweta Shinde (CoRR, 2024)

Dorami: Privilege Separating Security Monitor on RISC-V TEEs. - Mark Kuhne; Stavros Volos; Shweta Shinde (CoRR, 2024)

Xray: Detecting and Exploiting Vulnerabilities in Arm AXI Interconnects. - Melisande Zonta-Roudes; Nora Hinderling; Shweta Shinde (DATE, 2025)

OPENCCA: An Open Framework to Enable Arm CCA Research. - Andrin Bertschi; Shweta Shinde (EuroS&P (Workshops), 2025)