I am an assistant professor at the Computer Science department in ETH Zurich. I lead the Secure & Trustworthy Systems (Sectrs) group. I am a member of the Institute of Information Security and the ZISC Center.

Before joining ETH, I was a postdoctoral scholar at UC Berkeley with Dawn Song. I did my PhD at National University of Singapore. My research lies at the intersection of trusted computing, system security, program analysis, and formal verification. Check out my CV for more details.

My group has several open positions, see Sectrs group page.

Research


Sovereign Smartphone: To Enjoy Freedom We Have to Control Our Phones

Friederike Groschupp, Moritz Schneider, Ivan Puddu, Shweta Shinde, Srdjan Capkun
arXiv preprint arXiv:2102.02743
arXiv version BibTeX

Elasticlave: An Efficient Memory Model for Enclaves

Zhijingcheng Yu, Shweta Shinde, Trevor E. Carlson, Prateek Saxena
arXiv preprint arXiv:2010.08440
arXiv version BibTeX

Binary Compatibility For SGX Enclaves

Shweta Shinde, Jinhua Cui, Satyaki Sen, Pinghai Yuan, Prateek Saxena
arXiv preprint arXiv:2009.01144
arXiv version Project Page Code BibTeX

Building Open Trusted Execution Environments

David Kohlbrenner, Shweta Shinde, Dayeol Lee, Krste Asanovic, Dawn Song
IEEE Security & Privacy Magazine vol. 18, no. 5, Sept.-Oct. 2020
Article BibTeX

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)
Acc Rate: 16.1% Paper arXiv version Talk Video Code BibTeX

Keystone: An Open Framework for Architecting Trusted Execution Environments

Dayeol Lee, David Kohlbrenner, Shweta Shinde, Krste Asanović, Dawn Song
European Systems Conference (EuroSys 2020)
Acc Rate: 18.4% Paper arXiv version Project Page 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% Paper arXiv version Code 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 Code 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, ICISS 2020, PriSC 2021

Reviewer: IEEE S&P Magazine, IEEE Transactions on Information Forensics & Security

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

Program Chair/Co-Chair: ASIACCS-SBC 2021



Contact


CAB F 71.2
Universitätstrasse 6,
8092 Zürich

sshivaji@ethz.ch

shweta.shivajishinde@inf.ethz.ch