I am a postdoctoral scholar at UC Berkeley with Dawn Song. I did my PhD at National University of Singapore where I was advised by Prateek Saxena. My research lies at the intersection of trusted computing, system security, program analysis, and formal verification. See my latest CV for more details.

Research


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 (USENIX Security 2020)
Paper arXiv version Code BibTeX

Quantitative Verification of Neural Networks And its Security Applications

Teodora Baluta, Shiqi Shen, Shweta Shinde, Kuldeep S. Meel, Prateek Saxena
ACM Conference on Computer and Communications Security (CCS 2019)
Acc Rate: 16.2% arXiv version BibTeX

Keystone: An Open Framework for Architecting TEEs

Dayeol Lee, David Kohlbrenner, Shweta Shinde, Krste Asanović, Dawn Song
arXiv preprint arXiv:1907.10119
arXiv version BibTeX

Practical Verifiable In-network Filtering for DDoS defense

Deli Gong, Muoi Tran, Shweta Shinde, Hao Jin, Vyas Sekar, Prateek Saxena, Min Suk Kang
IEEE International Conference on Distributed Computing Systems (ICDCS 2019)
Acc Rate: 19.6% Paper arXiv version BibTeX

Neuro-Symbolic Execution: Augmenting Symbolic Execution with Neural Constraints

Shiqi Shen, Shweta Shinde, Soundarya Ramesh, Abhik Roychoudhury, Prateek Saxena
Network and Distributed System Security Symposium (NDSS 2019)
Acc Rate: 17% Paper arXiv version BibTeX

Privado: Practical and Secure DNN Inference with Enclaves

Karan Grover, Shruti Tople, Shweta Shinde, Ranjita Bhagwan, Ramachandran Ramjee
arXiv preprint arXiv:1810.00602
arXiv version BibTeX

Securing Applications From Untrusted Operating Systems Using Enclaves

National University of Singapore
PhD Thesis BibTeX

Panoply: Low-TCB Linux Applications With SGX Enclaves

Shweta Shinde, Dat Le Tien, Shruti Tople, Prateek Saxena
Network and Distributed System Security Symposium (NDSS 2017)
Acc Rate: 16.1% Paper Talk Video Code BibTeX

Preventing Page Faults from Telling your Secrets

Shweta Shinde, Zheng Leong Chua, Viswesh Narayanan, Prateek Saxena
ACM Asia Conference on Computer and Communications Security (ASIACCS 2016)
Acc Rate: 20.9% Paper arXiv version Talk BibTeX

Data-Oriented Programming: On the Expressiveness of Non-Control Data Attacks

Hong Hu, Shweta Shinde, Sendroiu Adrian, Zheng Leong Chua, Prateek Saxena, Zhenkai Liang
IEEE Symposium on Security and Privacy (Oakland 2016)
Acc Rate: 13.8% Paper Code BibTeX

Auto-patching DOM-Based XSS At Scale

Inian Parameshwaran, Enrico Budianto, Shweta Shinde, Hung Dang, Atul Sadhu, Prateek Saxena
ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE 2015)
Acc Rate: 25.4% Paper Project Page BibTeX

A Model Counter for Constraints Over Unbounded Strings

Loi Luu, Shweta Shinde, Prateek Saxena, Brian Demsky
ACM International Symposium on Programming Language Design and Implementation (PLDI 2014)
Acc Rate: 18.1% Paper Talk Code BibTeX

AutoCrypt: Enabling Homomorphic Computation on Servers to Protect Sensitive Web Content

Shruti Tople, Shweta Shinde, Zhaofeng Chen, Prateek Saxena
ACM Conference on Computer and Communications Security (CCS 2013)
Acc Rate: 19.8% Paper Code BibTeX

PodArch: Protecting Legacy Applications with a Purely Hardware TCB

Shweta Shinde, Shruti Tople, Deepak Kathayat, Prateek Saxena
Technical Report No. NUS-SL-TR-15-01
Tech Report Code BibTeX

DexterJS: Robust Testing Platform for DOM-Based XSS Vulnerabilities

Inian Parameshwaran, Enrico Budianto, Shweta Shinde, Hung Dang, Atul Sadhu, Prateek Saxena
ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE 2015)
Paper Project Page BibTeX

Poster: PodArch: Protecting Legacy Applications with a Purely Hardware TCB

Shweta Shinde, Shruti Tople, Deepak Kathayat, Prateek Saxena
IEEE Symposium on Security and Privacy (Oakland 2015)
BibTeX

Awards


Dean's Graduate Research Excellence Award, 2018


President Graduate Fellowship, National University of Singapore, 2013 - 2017


Service


PC: ICISS 2019, IEEE TIFS


Sub-reviewer: USENIX Security (2013, 2014), IEEE S&P (2014, 2015, 2016)


Experience


Contact


593 Soda Hall,
Berkeley, CA 94720-1776

shwetas@berkeley.edu

shwetas@eecs.berkeley.edu