About Me


I am currently a postdoctoral scholar at UC Berkeley with Dawn Song. I got my PhD from 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.

CV

Research


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% PDF

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% PDF

Practical Verifiable In-network Filtering for DDoS defense

Deli Gong, Muoi Tran, Shweta Shinde, Hao Jin, Vyas Sekar, Prateek Saxena, Min Suk Kang
arXiv preprint arXiv:1901.00955
PDF

Privado: Practical and Secure DNN Inference

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

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

Shweta Shinde, Shengyi Wang, Pinghai Yuan, Aquinas Hobor, Abhik Roychoudhury, Prateek Saxena
arXiv preprint arXiv:1807.00477
PDF Code BibTeX

Neuro-Symbolic Execution: The Feasibility of an Inductive Approach to Symbolic Execution

Shiqi Shen, Soundarya Ramesh, Shweta Shinde, Abhik Roychoudhury, Prateek Saxena
arXiv preprint arXiv:1807.00575
PDF

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% PDF 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% PDF 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% PDF 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% PDF Code 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% PDF 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% PDF Code BibTeX

Preventing your Faults from Telling your Secrets: Defenses against Pigeonhole Attacks

Shweta Shinde, Zheng Leong Chua, Viswesh Narayanan, Prateek Saxena
arXiv preprint arXiv:1506.04832
PDF 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)
PDF Code 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)
PDF Poster 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


  • Jan 2019
    -
    Present

    University of California, Berkeley

    Postdoctoral Scholar

  • Jun 2017
    -
    Aug 2017

    Intel Labs

    Graduate Intern

    Enhancing expressiveness of Intel SGX applications & defenses against side-channels
    • Advisor: Mona Vij

  • Sept 2012
    -
    Aug 2013

    National University of Singapore

    Research Intern

    Trusted Computing Support on Mobile Platforms
    • Advisor: Prateek Saxena

  • Jan 2012
    -
    May 2012

    Storage Labs, IBM INDIA

    Undergraduate Intern

    Multi-tenancy in Storage Cloud using Operating System Virtualization
    • Advisors: Sandeep Patil & Satish Kumbhar

Education


  • 2013
    -
    2018

    National University of Singapore

    PhD in Computer Science

    Courses:
    Systems Security, Topics in System Security,
    Virtual Machines, Advanced Topics in  PL,
    Advanced Algorithms,   Uncertainty Modelling in AI, Social & Digital Multimedia Analytics

    GPA: 4/5

  • 2008
    -
    2012

    College of Engineering, Pune

    B. Tech in Information Technology

    Courses: Discrete Structures & Graph Theory, Microprocessors, Computer Graphics, Human Computer Interface, Automata Theory, Language Processors, System Programming & Operating Systems, Advanced Database Management, Network Architecture & Wireless Protocols, Distributed Systems, Computer Security, Storage Virtualization, Cyber Laws

    GPA: 9.2/10

    Rank: 3

Contact


711 Soda Hall,
Berkeley, CA 94709

shwetas@berkeley.edu

shwetas@eecs.berkeley.edu