Shweta Shinde

57 papers A* 17A 8Journal 28Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
It's TEEtime: Secure Interrupt Isolation for Normal-world Enclaves on Arm.
IACR Trans. Cryptogr. Hardw. Embed. Syst.
Friederike Groschupp, Mark Kuhne, Moritz Schneider, Ivan Puddu, Shweta Shinde, Srdjan Capkun
2025 A* conf
Dorami: Privilege Separating Security Monitor on RISC-V TEEs.
USENIX Security Symposium
Mark Kuhne, Stavros Volos, Shweta Shinde
2025 A* conf
Heracles: Chosen Plaintext Attack on AMD SEV-SNP.
CCS
Benedict Schlüter, Christoph Wech, Shweta Shinde
2025 A conf
Monocle: Transient Execution Proof Memory Views for Runtime Compiled Code.
AsiaCCS
Matteo Oldani, William Blair, Shweta Shinde, Matthias Neugschwandtner
2025 — conf
OPENCCA: An Open Framework to Enable Arm CCA Research.
EuroS&P (Workshops)
Andrin Bertschi, Shweta Shinde
2025 J jnl
OpenCCA: An Open Framework to Enable Arm CCA Research.
CoRR
Andrin Bertschi, Shweta Shinde
2025 A* conf
RMPocalypse: How a Catch-22 Breaks AMD SEV-SNP.
CCS
Benedict Schlüter, Shweta Shinde
2025 A conf
Sigy: Breaking Intel SGX Enclaves with Malicious Exceptions & Signals.
AsiaCCS
Supraja Sridhara, Andrin Bertschi, Benedict Schlüter, Shweta Shinde
2025 A conf
Xray: Detecting and Exploiting Vulnerabilities in Arm AXI Interconnects.
DATE
Melisande Zonta-Roudes, Nora Hinderling, Shweta Shinde
2024 A* conf
ACAI: Protecting Accelerator Execution with Arm Confidential Computing Architecture.
USENIX Security Symposium
Supraja Sridhara, Andrin Bertschi, Benedict Schlüter, Mark Kuhne, Fabio Aliberti, Shweta Shinde
2024 J jnl
Aster: Fixing the Android TEE Ecosystem with Arm CCA.
CoRR
Mark Kuhne, Supraja Sridhara, Andrin Bertschi, Nicolas Dutly, Srdjan Capkun, Shweta Shinde
2024 A conf
Confidential Computing with Heterogeneous Devices at Cloud-Scale.
ACSAC
Aritra Dhar, Supraja Sridhara, Shweta Shinde, Srdjan Capkun, Renzo Andri
2024 J jnl
Devlore: Extending Arm CCA to Integrated Devices A Journey Beyond Memory to Interrupt Isolation.
CoRR
Andrin Bertschi, Supraja Sridhara, Friederike Groschupp, Mark Kuhne, Benedict Schlüter, Clément Thorens, Nicolas Dutly, Srdjan Capkun, Shweta Shinde
2024 J jnl
Dorami: Privilege Separating Security Monitor on RISC-V TEEs.
CoRR
Mark Kuhne, Stavros Volos, Shweta Shinde
2024 A* conf
HECKLER: Breaking Confidential VMs with Malicious Interrupts.
USENIX Security Symposium
Benedict Schlüter, Supraja Sridhara, Mark Kuhne, Andrin Bertschi, Shweta Shinde
2024 J jnl
Heckler: Breaking Confidential VMs with Malicious Interrupts.
CoRR
Benedict Schlüter, Supraja Sridhara, Mark Kuhne, Andrin Bertschi, Shweta Shinde
2024 — conf
Revisiting Rollbacks on Smart Contracts in TEE-protected Private Blockchains.
EuroS&P Workshops
Chen Chang Lew, Christof Ferreira Torres, Shweta Shinde, Marcus Brandenburger
2024 A* conf
Rolling in the Shadows: Analyzing the Extraction of MEV Across Layer-2 Rollups.
CCS
Christof Ferreira Torres, Albin Mamuti, Ben Weintraub, Cristina Nita-Rotaru, Shweta Shinde
2024 J jnl
Rolling in the Shadows: Analyzing the Extraction of MEV Across Layer-2 Rollups.
CoRR
Christof Ferreira Torres, Albin Mamuti, Ben Weintraub, Cristina Nita-Rotaru, Shweta Shinde
2024 J jnl
SIGY: Breaking Intel SGX Enclaves with Malicious Exceptions & Signals.
CoRR
Supraja Sridhara, Andrin Bertschi, Benedict Schlüter, Shweta Shinde
2024 A* conf
WeSee: Using Malicious #VC Interrupts to Break AMD SEV-SNP.
SP
Benedict Schlüter, Supraja Sridhara, Andrin Bertschi, Shweta Shinde
2024 J jnl
WeSee: Using Malicious #VC Interrupts to Break AMD SEV-SNP.
CoRR
Benedict Schlüter, Supraja Sridhara, Andrin Bertschi, Shweta Shinde
2024 A conf
eXpect: On the Security Implications of Violations in AXI Implementations.
ICCAD
Melisande Zonta-Roudes, Andres Meza, Nora Hinderling, Lucas Deutschmann, Francesco Restuccia, Ryan Kastner, Shweta Shinde
2023 J jnl
ACAI: Extending Arm Confidential Computing Architecture Protection from CPUs to Accelerators.
CoRR
Supraja Sridhara, Andrin Bertschi, Benedict Schlüter, Mark Kuhne, Fabio Aliberti, Shweta Shinde
2023 A* conf
Is Your Wallet Snitching On You? An Analysis on the Privacy Implications of Web3.
USENIX Security Symposium
Christof Ferreira Torres, Fiona Willi, Shweta Shinde
2023 J jnl
Is Your Wallet Snitching On You? An Analysis on the Privacy Implications of Web3.
CoRR
Christof Ferreira Torres, Fiona Willi, Shweta Shinde
2022 J jnl
Dynamic Binary Translation for SGX Enclaves.
ACM Trans. Priv. Secur.
Jinhua Cui, Shweta Shinde, Satyaki Sen, Prateek Saxena, Pinghai Yuan
2022 A* conf
Elasticlave: An Efficient Memory Model for Enclaves.
USENIX Security Symposium
Jason Zhijingcheng Yu, Shweta Shinde, Trevor E. Carlson, Prateek Saxena
2022 J jnl
Empowering Data Centers for Next Generation Trusted Computing.
CoRR
Aritra Dhar, Supraja Sridhara, Shweta Shinde, Srdjan Capkun, Renzo Andri
2022 J jnl
It's TEEtime: Bringing User Sovereignty to Smartphones.
CoRR
Friederike Groschupp, Mark Kuhne, Moritz Schneider, Ivan Puddu, Shweta Shinde, Srdjan Capkun
2022 J jnl
SoK: Hardware-supported Trusted Execution Environments.
CoRR
Moritz Schneider, Ramya Jayaram Masti, Shweta Shinde, Srdjan Capkun, Ronald Perez
2021 J jnl
Dynamic Binary Translation for SGX Enclaves.
CoRR
Jinhua Cui, Shweta Shinde, Satyaki Sen, Prateek Saxena, Pinghai Yuan
2021 A* conf
SmashEx: Smashing SGX Enclaves Using Exceptions.
CCS
Jinhua Cui, Jason Zhijingcheng Yu, Shweta Shinde, Prateek Saxena, Zhiping Cai
2021 J jnl
SmashEx: Smashing SGX Enclaves Using Exceptions.
CoRR
Jinhua Cui, Jason Zhijingcheng Yu, Shweta Shinde, Prateek Saxena, Zhiping Cai
2021 J jnl
Sovereign Smartphone: To Enjoy Freedom We Have to Control Our Phones.
CoRR
Friederike Groschupp, Moritz Schneider, Ivan Puddu, Shweta Shinde, Srdjan Capkun
2020 A* conf
BesFS: A POSIX Filesystem for Enclaves with a Mechanized Safety Proof.
USENIX Security Symposium
Shweta Shinde, Shengyi Wang, Pinghai Yuan, Aquinas Hobor, Abhik Roychoudhury, Prateek Saxena
2020 J jnl
Binary Compatibility For SGX Enclaves.
CoRR
Shweta Shinde, Jinhua Cui, Satyaki Sen, Pinghai Yuan, Prateek Saxena
2020 J jnl
Building Open Trusted Execution Environments.
IEEE Secur. Priv.
David Kohlbrenner, Shweta Shinde, Dayeol Lee, Krste Asanovic, Dawn Song
2020 J jnl
Elasticlave: An Efficient Memory Model for Enclaves.
CoRR
Zhijingcheng Yu, Shweta Shinde, Trevor E. Carlson, Prateek Saxena
2020 A conf
Keystone: an open framework for architecting trusted execution environments.
EuroSys
Dayeol Lee, David Kohlbrenner, Shweta Shinde, Krste Asanovic, Dawn Song
2019 J jnl
Keystone: A Framework for Architecting TEEs.
CoRR
Dayeol Lee, David Kohlbrenner, Shweta Shinde, Dawn Song, Krste Asanovic
2019 A* conf
Neuro-Symbolic Execution: Augmenting Symbolic Execution with Neural Constraints.
NDSS
Shiqi Shen, Shweta Shinde, Soundarya Ramesh, Abhik Roychoudhury, Prateek Saxena
2019 A conf
Practical Verifiable In-network Filtering for DDoS Defense.
ICDCS
Deli Gong, Muoi Tran, Shweta Shinde, Hao Jin, Vyas Sekar, Prateek Saxena, Min Suk Kang
2019 J jnl
Practical Verifiable In-network Filtering for DDoS defense.
CoRR
Deli Gong, Muoi Tran, Shweta Shinde, Hao Jin, Vyas Sekar, Prateek Saxena, Min Suk Kang
2019 J jnl
Quantitative Verification of Neural Networks And its Security Applications.
CoRR
Teodora Baluta, Shiqi Shen, Shweta Shinde, Kuldeep S. Meel, Prateek Saxena
2019 A* conf
Quantitative Verification of Neural Networks and Its Security Applications.
CCS
Teodora Baluta, Shiqi Shen, Shweta Shinde, Kuldeep S. Meel, Prateek Saxena
2018 J jnl
BesFS: Mechanized Proof of an Iago-Safe Filesystem for Enclaves.
CoRR
Shweta Shinde, Shengyi Wang, Pinghai Yuan, Aquinas Hobor, Abhik Roychoudhury, Prateek Saxena
2018 J jnl
Neuro-Symbolic Execution: The Feasibility of an Inductive Approach to Symbolic Execution.
CoRR
Shiqi Shen, Soundarya Ramesh, Shweta Shinde, Abhik Roychoudhury, Prateek Saxena
2018 J jnl
Privado: Practical and Secure DNN Inference.
CoRR
Shruti Tople, Karan Grover, Shweta Shinde, Ranjita Bhagwan, Ramachandran Ramjee
2017 A* conf
Panoply: Low-TCB Linux Applications With SGX Enclaves.
NDSS
Shweta Shinde, Dat Le Tien, Shruti Tople, Prateek Saxena
2016 A* conf
Data-Oriented Programming: On the Expressiveness of Non-control Data Attacks.
IEEE Symposium on Security and Privacy
Hong Hu, Shweta Shinde, Sendroiu Adrian, Zheng Leong Chua, Prateek Saxena, Zhenkai Liang
2016 A conf
Preventing Page Faults from Telling Your Secrets.
AsiaCCS
Shweta Shinde, Zheng Leong Chua, Viswesh Narayanan, Prateek Saxena
2015 — conf
Auto-patching DOM-based XSS at scale.
ESEC/SIGSOFT FSE
Inian Parameshwaran, Enrico Budianto, Shweta Shinde, Hung Dang, Atul Sadhu, Prateek Saxena
2015 — conf
DexterJS: robust testing platform for DOM-based XSS vulnerabilities.
ESEC/SIGSOFT FSE
Inian Parameshwaran, Enrico Budianto, Shweta Shinde, Hung Dang, Atul Sadhu, Prateek Saxena
2015 J jnl
Preventing Your Faults From Telling Your Secrets: Defenses Against Pigeonhole Attacks.
CoRR
Shweta Shinde, Zheng Leong Chua, Viswesh Narayanan, Prateek Saxena
2014 A* conf
A model counter for constraints over unbounded strings.
PLDI
Loi Luu, Shweta Shinde, Prateek Saxena, Brian Demsky
2013 A* conf
AUTOCRYPT: enabling homomorphic computation on servers to protect sensitive web content.
CCS
Shruti Tople, Shweta Shinde, Zhaofeng Chen, Prateek Saxena