Shweta Shinde

According to our database, Shweta Shinde authored at least 28 papers between 2013 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

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

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

Christof Ferreira Torres, Fiona Willi, Shweta Shinde

Proceedings of the 32nd USENIX Security Symposium, 2023

2022

Dynamic Binary Translation for SGX Enclaves.

Jinhua Cui, Shweta Shinde, Satyaki Sen, Prateek Saxena, Pinghai Yuan

ACM Trans. Priv. Secur., 2022

It's TEEtime: Bringing User Sovereignty to Smartphones.

Friederike Groschupp, Mark Kuhne, Moritz Schneider, Ivan Puddu, Shweta Shinde, Srdjan Capkun

CoRR, 2022

Empowering Data Centers for Next Generation Trusted Computing.

Aritra Dhar, Supraja Sridhara, Shweta Shinde, Srdjan Capkun, Renzo Andri

CoRR, 2022

SoK: Hardware-supported Trusted Execution Environments.

Moritz Schneider, Ramya Jayaram Masti, Shweta Shinde, Srdjan Capkun, Ronald Perez

CoRR, 2022

Elasticlave: An Efficient Memory Model for Enclaves.

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.

Friederike Groschupp, Moritz Schneider, Ivan Puddu, Shweta Shinde, Srdjan Capkun

CoRR, 2021

SmashEx: Smashing SGX Enclaves Using Exceptions.

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.

David Kohlbrenner, Shweta Shinde, Dayeol Lee, Krste Asanovic, Dawn Song

IEEE Secur. Priv., 2020

Binary Compatibility For SGX Enclaves.

Shweta Shinde, Jinhua Cui, Satyaki Sen, Pinghai Yuan, Prateek Saxena

CoRR, 2020

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

Shweta Shinde, Shengyi Wang, Pinghai Yuan, Aquinas Hobor, Abhik Roychoudhury, Prateek Saxena

Proceedings of the 29th USENIX Security Symposium, 2020

Keystone: an open framework for architecting trusted execution environments.

Dayeol Lee, David Kohlbrenner, Shweta Shinde, Krste Asanovic, Dawn Song

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

2019

Keystone: A Framework for Architecting TEEs.

Dayeol Lee, David Kohlbrenner, Shweta Shinde, Dawn Song, Krste Asanovic

CoRR, 2019

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

Shiqi Shen, Shweta Shinde, Soundarya Ramesh, Abhik Roychoudhury, Prateek Saxena

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

Practical Verifiable In-network Filtering for DDoS Defense.

Deli Gong, Muoi Tran, Shweta Shinde, Hao Jin, Vyas Sekar, Prateek Saxena, Min Suk Kang

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

Quantitative Verification of Neural Networks and Its Security Applications.

Teodora Baluta, Shiqi Shen, Shweta Shinde, Kuldeep S. Meel, Prateek Saxena

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

2018

Privado: Practical and Secure DNN Inference.

Shruti Tople, Karan Grover, Shweta Shinde, Ranjita Bhagwan, Ramachandran Ramjee

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

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

Shweta Shinde, Shengyi Wang, Pinghai Yuan, Aquinas Hobor, Abhik Roychoudhury, Prateek Saxena

CoRR, 2018

2017

Panoply: Low-TCB Linux Applications With SGX Enclaves.

Shweta Shinde, Dat Le Tien, Shruti Tople, Prateek Saxena

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

2016

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

Hong Hu, Shweta Shinde, Sendroiu Adrian, Zheng Leong Chua, Prateek Saxena, Zhenkai Liang

Proceedings of the IEEE Symposium on Security and Privacy, 2016

Preventing Page Faults from Telling Your Secrets.

Shweta Shinde, Zheng Leong Chua, Viswesh Narayanan, Prateek Saxena

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.

Shweta Shinde, Zheng Leong Chua, Viswesh Narayanan, Prateek Saxena

CoRR, 2015

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

Inian Parameshwaran, Enrico Budianto, Shweta Shinde, Hung Dang, Atul Sadhu, Prateek Saxena

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

Auto-patching DOM-based XSS at scale.

Inian Parameshwaran, Enrico Budianto, Shweta Shinde, Hung Dang, Atul Sadhu, Prateek Saxena

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

2014

A model counter for constraints over unbounded strings.

Loi Luu, Shweta Shinde, Prateek Saxena, Brian Demsky

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.

Shruti Tople, Shweta Shinde, Zhaofeng Chen, Prateek Saxena

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