Shweta Shinde
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
22
Venues
12
Active years
2013–2026
Best venue rank
A*
Where they publish
Papers
22 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FCCM | LLM-Assisted Analysis of On-Chip Protocol Implementations. | Melisande Zonta-Roudes, Nora Hinderling, Supraja Sridhara, Srinidhi Nagendra, Shweta Shinde |
| 2026 | Mobisys | Bringing Confidential Computing to Android. | Mark Kuhne, Supraja Sridhara, Andrin Bertschi, Nicolas Dutly, Fabio Aliberti, Srdjan Capkun, Shweta Shinde |
| 2026 | SP | BreakFAST: Confused Deputy Attack on Infinity Fabric to Break AMD SEV-SNP. | Philipp Giersfeld, Benedict Schlter, Shweta Shinde |
| 2025 | AsiaCCS | Monocle: Transient Execution Proof Memory Views for Runtime Compiled Code. | Matteo Oldani, William Blair, Shweta Shinde, Matthias Neugschwandtner |
| 2025 | AsiaCCS | Sigy: Breaking Intel SGX Enclaves with Malicious Exceptions & Signals. | Supraja Sridhara, Andrin Bertschi, Benedict Schlter, Shweta Shinde |
| 2025 | CCS | RMPocalypse: How a Catch-22 Breaks AMD SEV-SNP. | Benedict Schlter, Shweta Shinde |
| 2025 | CCS | Heracles: Chosen Plaintext Attack on AMD SEV-SNP. | Benedict Schlter, Christoph Wech, Shweta Shinde |
| 2025 | DATE | Xray: Detecting and Exploiting Vulnerabilities in Arm AXI Interconnects. | Melisande Zonta-Roudes, Nora Hinderling, Shweta Shinde |
| 2024 | ACSAC | Confidential Computing with Heterogeneous Devices at Cloud-Scale. | Aritra Dhar, Supraja Sridhara, Shweta Shinde, Srdjan Capkun, Renzo Andri |
| 2024 | CCS | Rolling in the Shadows: Analyzing the Extraction of MEV Across Layer-2 Rollups. | Christof Ferreira Torres, Albin Mamuti, Ben Weintraub, Cristina Nita-Rotaru, Shweta Shinde |
| 2024 | ICCAD | eXpect: On the Security Implications of Violations in AXI Implementations. | Melisande Zonta-Roudes, Andres Meza, Nora Hinderling, Lucas Deutschmann, Francesco Restuccia, Ryan Kastner, Shweta Shinde |
| 2024 | SP | WeSee: Using Malicious #VC Interrupts to Break AMD SEV-SNP. | Benedict Schlter, Supraja Sridhara, Andrin Bertschi, Shweta Shinde |
| 2021 | CCS | SmashEx: Smashing SGX Enclaves Using Exceptions. | Jinhua Cui, Jason Zhijingcheng Yu, Shweta Shinde, Prateek Saxena, Zhiping Cai |
| 2020 | EuroSys | Keystone: an open framework for architecting trusted execution environments. | Dayeol Lee, David Kohlbrenner, Shweta Shinde, Krste Asanovic, Dawn Song |
| 2019 | CCS | Quantitative Verification of Neural Networks and Its Security Applications. | Teodora Baluta, Shiqi Shen, Shweta Shinde, Kuldeep S. Meel, Prateek Saxena |
| 2019 | ICDCS | Practical Verifiable In-network Filtering for DDoS Defense. | Deli Gong, Muoi Tran, Shweta Shinde, Hao Jin, Vyas Sekar, Prateek Saxena, Min Suk Kang |
| 2019 | NDSS | Neuro-Symbolic Execution: Augmenting Symbolic Execution with Neural Constraints. | Shiqi Shen, Shweta Shinde, Soundarya Ramesh, Abhik Roychoudhury, Prateek Saxena |
| 2017 | NDSS | Panoply: Low-TCB Linux Applications With SGX Enclaves. | Shweta Shinde, Dat Le Tien, Shruti Tople, Prateek Saxena |
| 2016 | CCS | Preventing Page Faults from Telling Your Secrets. | Shweta Shinde, Zheng Leong Chua, Viswesh Narayanan, Prateek Saxena |
| 2016 | SP | Data-Oriented Programming: On the Expressiveness of Non-control Data Attacks. | Hong Hu, Shweta Shinde, Sendroiu Adrian, Zheng Leong Chua, Prateek Saxena, Zhenkai Liang |
| 2014 | PLDI | A model counter for constraints over unbounded strings. | Loi Luu, Shweta Shinde, Prateek Saxena, Brian Demsky |
| 2013 | CCS | AUTOCRYPT: enabling homomorphic computation on servers to protect sensitive web content. | Shruti Tople, Shweta Shinde, Zhaofeng Chen, Prateek Saxena |