Shweta Shinde

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 36

Top Topics

Execution Environment

Malicious Behavior

Trusted Computing

Complete Axiomatization

Top Venues

USENIX Security Symposium

Publications

Mark Kuhne, Supraja Sridhara, Andrin Bertschi, Nicolas Dutly, Srdjan Capkun, Shweta Shinde
Aster: Fixing the Android TEE Ecosystem with Arm CCA. CoRR (2024)
Benedict Schlüter, Supraja Sridhara, Mark Kuhne, Andrin Bertschi, Shweta Shinde
Heckler: Breaking Confidential VMs with Malicious Interrupts. CoRR (2024)
Supraja Sridhara, Andrin Bertschi, Benedict Schlüter, Shweta Shinde
SIGY: Breaking Intel SGX Enclaves with Malicious Exceptions & Signals. CoRR (2024)
Christof Ferreira Torres, Albin Mamuti, Ben Weintraub, Cristina Nita-Rotaru, Shweta Shinde
Rolling in the Shadows: Analyzing the Extraction of MEV Across Layer-2 Rollups. CoRR (2024)
Benedict Schlüter, Supraja Sridhara, Mark Kuhne, Andrin Bertschi, Shweta Shinde
HECKLER: Breaking Confidential VMs with Malicious Interrupts. USENIX Security Symposium (2024)
Benedict Schlüter, Supraja Sridhara, Andrin Bertschi, Shweta Shinde
WeSee: Using Malicious #VC Interrupts to Break AMD SEV-SNP. CoRR (2024)
Supraja Sridhara, Andrin Bertschi, Benedict Schlüter, Mark Kuhne, Fabio Aliberti, Shweta Shinde
ACAI: Protecting Accelerator Execution with Arm Confidential Computing Architecture. USENIX Security Symposium (2024)
Supraja Sridhara, Andrin Bertschi, Benedict Schlüter, Mark Kuhne, Fabio Aliberti, Shweta Shinde
ACAI: Extending Arm Confidential Computing Architecture Protection from CPUs to Accelerators. CoRR (2023)
Christof Ferreira Torres, Fiona Willi, Shweta Shinde
Is Your Wallet Snitching On You? An Analysis on the Privacy Implications of Web3. CoRR (2023)
Christof Ferreira Torres, Fiona Willi, Shweta Shinde
Is Your Wallet Snitching On You? An Analysis on the Privacy Implications of Web3. USENIX Security Symposium (2023)
Jason Zhijingcheng Yu, Shweta Shinde, Trevor E. Carlson, Prateek Saxena
Elasticlave: An Efficient Memory Model for Enclaves. USENIX Security Symposium (2022)
Moritz Schneider, Ramya Jayaram Masti, Shweta Shinde, Srdjan Capkun, Ronald Perez
SoK: Hardware-supported Trusted Execution Environments. CoRR (2022)
Friederike Groschupp, Mark Kuhne, Moritz Schneider, Ivan Puddu, Shweta Shinde, Srdjan Capkun
It's TEEtime: Bringing User Sovereignty to Smartphones. CoRR (2022)
Aritra Dhar, Supraja Sridhara, Shweta Shinde, Srdjan Capkun, Renzo Andri
Empowering Data Centers for Next Generation Trusted Computing. CoRR (2022)
Jinhua Cui, Shweta Shinde, Satyaki Sen, Prateek Saxena, Pinghai Yuan
Dynamic Binary Translation for SGX Enclaves. ACM Trans. Priv. Secur. 25 (4) (2022)
Jinhua Cui, Jason Zhijingcheng Yu, Shweta Shinde, Prateek Saxena, Zhiping Cai
SmashEx: Smashing SGX Enclaves Using Exceptions. CoRR (2021)
Jinhua Cui, Shweta Shinde, Satyaki Sen, Prateek Saxena, Pinghai Yuan
Dynamic Binary Translation for SGX Enclaves. CoRR (2021)
Friederike Groschupp, Moritz Schneider, Ivan Puddu, Shweta Shinde, Srdjan Capkun
Sovereign Smartphone: To Enjoy Freedom We Have to Control Our Phones. CoRR (2021)
Jinhua Cui, Jason Zhijingcheng Yu, Shweta Shinde, Prateek Saxena, Zhiping Cai
SmashEx: Smashing SGX Enclaves Using Exceptions. CCS (2021)
Shweta Shinde, Shengyi Wang, Pinghai Yuan, Aquinas Hobor, Abhik Roychoudhury, Prateek Saxena
BesFS: A POSIX Filesystem for Enclaves with a Mechanized Safety Proof. USENIX Security Symposium (2020)
David Kohlbrenner, Shweta Shinde, Dayeol Lee, Krste Asanovic, Dawn Song
Building Open Trusted Execution Environments. IEEE Secur. Priv. 18 (5) (2020)
Shweta Shinde, Jinhua Cui, Satyaki Sen, Pinghai Yuan, Prateek Saxena
Binary Compatibility For SGX Enclaves. CoRR (2020)
Dayeol Lee, David Kohlbrenner, Shweta Shinde, Krste Asanovic, Dawn Song
Keystone: an open framework for architecting trusted execution environments. EuroSys (2020)
Zhijingcheng Yu, Shweta Shinde, Trevor E. Carlson, Prateek Saxena
Elasticlave: An Efficient Memory Model for Enclaves. CoRR (2020)
Dayeol Lee, David Kohlbrenner, Shweta Shinde, Dawn Song, Krste Asanovic
Keystone: A Framework for Architecting TEEs. CoRR (2019)
Deli Gong, Muoi Tran, Shweta Shinde, Hao Jin, Vyas Sekar, Prateek Saxena, Min Suk Kang
Practical Verifiable In-network Filtering for DDoS Defense. ICDCS (2019)
Deli Gong, Muoi Tran, Shweta Shinde, Hao Jin, Vyas Sekar, Prateek Saxena, Min Suk Kang
Practical Verifiable In-network Filtering for DDoS defense. CoRR (2019)
Teodora Baluta, Shiqi Shen, Shweta Shinde, Kuldeep S. Meel, Prateek Saxena
Quantitative Verification of Neural Networks and Its Security Applications. CCS (2019)
Shiqi Shen, Shweta Shinde, Soundarya Ramesh, Abhik Roychoudhury, Prateek Saxena
Neuro-Symbolic Execution: Augmenting Symbolic Execution with Neural Constraints. NDSS (2019)
Teodora Baluta, Shiqi Shen, Shweta Shinde, Kuldeep S. Meel, Prateek Saxena
Quantitative Verification of Neural Networks And its Security Applications. CoRR (2019)
Shruti Tople, Karan Grover, Shweta Shinde, Ranjita Bhagwan, Ramachandran Ramjee
Privado: Practical and Secure DNN Inference. CoRR (2018)
Shweta Shinde, Shengyi Wang, Pinghai Yuan, Aquinas Hobor, Abhik Roychoudhury, Prateek Saxena
BesFS: Mechanized Proof of an Iago-Safe Filesystem for Enclaves. CoRR (2018)
Shiqi Shen, Soundarya Ramesh, Shweta Shinde, Abhik Roychoudhury, Prateek Saxena
Neuro-Symbolic Execution: The Feasibility of an Inductive Approach to Symbolic Execution. CoRR (2018)
Shweta Shinde, Dat Le Tien, Shruti Tople, Prateek Saxena
Panoply: Low-TCB Linux Applications With SGX Enclaves. NDSS (2017)
Hong Hu, Shweta Shinde, Sendroiu Adrian, Zheng Leong Chua, Prateek Saxena, Zhenkai Liang
Data-Oriented Programming: On the Expressiveness of Non-control Data Attacks. IEEE Symposium on Security and Privacy (2016)
Shweta Shinde, Zheng Leong Chua, Viswesh Narayanan, Prateek Saxena
Preventing Page Faults from Telling Your Secrets. AsiaCCS (2016)
Inian Parameshwaran, Enrico Budianto, Shweta Shinde, Hung Dang, Atul Sadhu, Prateek Saxena
DexterJS: robust testing platform for DOM-based XSS vulnerabilities. ESEC/SIGSOFT FSE (2015)
Shweta Shinde, Zheng Leong Chua, Viswesh Narayanan, Prateek Saxena
Preventing Your Faults From Telling Your Secrets: Defenses Against Pigeonhole Attacks. CoRR (2015)
Inian Parameshwaran, Enrico Budianto, Shweta Shinde, Hung Dang, Atul Sadhu, Prateek Saxena
Auto-patching DOM-based XSS at scale. ESEC/SIGSOFT FSE (2015)
Loi Luu, Shweta Shinde, Prateek Saxena, Brian Demsky
A model counter for constraints over unbounded strings. PLDI (2014)
Shruti Tople, Shweta Shinde, Zhaofeng Chen, Prateek Saxena
AUTOCRYPT: enabling homomorphic computation on servers to protect sensitive web content. CCS (2013)