Shweta Shinde

Identifiers

• name variant Shweta Shinde 0.60 · backfill

Papers (4)

1. Quantitative Verification of Neural Networks And its Security Applications cs.CR · 2019 · author #3
2. Practical Verifiable In-network Filtering for DDoS defense cs.CR · 2019 · author #3
3. Neuro-Symbolic Execution: The Feasibility of an Inductive Approach to Symbolic Execution cs.PL · 2018 · author #3
4. Preventing Your Faults From Telling Your Secrets: Defenses Against Pigeonhole Attacks cs.CR · 2015 · author #1

Mentions

• 1506.04832 #1 · backfill · confidence 0.70 Shweta Shinde

Frequent Coauthors

• Prateek Saxena 4 shared papers
• Shiqi Shen 2 shared papers
• Abhik Roychoudhury 1 shared papers
• Deli Gong 1 shared papers
• Hao Jin 1 shared papers
• Kuldeep S. Meel 1 shared papers
• Min Suk Kang 1 shared papers
• Muoi Tran 1 shared papers
• Soundarya Ramesh 1 shared papers
• Teodora Baluta 1 shared papers
• Viswesh Narayanan 1 shared papers
• Vyas Sekar 1 shared papers
• Zheng Leong Chua 1 shared papers