Author Search Results

Shweta Shinde

Shweta Shinde is an Indian actress and producer, known for Lagira Zala Ji's producer and ''Doctor Don''. She launched Vajra Production with Film director Sanjay Khambe in 2016. Provided by Wikipedia

SECURING APPLICATIONS FROM UNTRUSTED OPERATING SYSTEMS USING ENCLAVES

by SHINDE SHWETA SHIVAJI
Published 2018

Get full text

Theses and Dissertations

Elasticlave: An Efficient Memory Model for Enclaves.

by Yu, Zhijingcheng, Shinde, Shweta, Carlson, Trevor E, Saxena, Prateek
Published 2022

Get full text

Article

Neuro-Symbolic Execution: Augmenting Symbolic Execution with Neural Constraints

by Shiqi, Shen, Shinde, Shweta, Ramesh, Soundarya, Roychoudhury, Abhik, Saxena, Prateek
Published 2019

Get full text

Conference or Workshop Item

BesFS: A POSIX Filesystem for Enclaves with a Mechanized Safety Proof

by Shinde, Shweta, Wang, Shengyi, Yuan, Pinghai, Hobor, Aquinas, Roychoudhury, Abhik, Saxena, Prateek
Published 2023

Get full text

Article

Practical Verifiable In-network Filtering for DDoS defense

by Gong, Deli, Tran, Muoi, Shinde, Shweta, Jin, Hao, Sekar, Vyas, Saxena, Prateek, Kang, Min Suk
Published 2019

Get full text

Conference or Workshop Item