Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Tidjani Négadi
Daniel P. Kennedy
Barbara Aquilani
Yuer Wang
Manuel Patino
Maximilian Dürr
Jhonathan Pinzon
Andrew E. Santosa
Liangliang Shang
Chen Ma
Home
/
Author
/
SHWETA SHINDE
Author Info
Open Visualization
Name
Affiliation
Papers
SHWETA SHINDE
National University of Singapore, Singapore, Singapore
17
Collaborators
Citations
PageRank
40
173
9.15
Referers
Referees
References
593
630
264
Search Limit
100
630
Publications (17 rows)
Collaborators (40 rows)
Referers (100 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
ELASTICLAVE: An Efficient Memory Model for Enclaves
0
0.34
2022
Dynamic Binary Translation for SGX Enclaves
0
0.34
2022
SmashEx: Smashing SGX Enclaves Using Exceptions
0
0.34
2021
Keystone: an open framework for architecting trusted execution environments
10
0.52
2020
Neuro-Symbolic Execution - Augmenting Symbolic Execution with Neural Constraints.
0
0.34
2019
Quantitative Verification of Neural Networks And its Security Applications.
3
0.43
2019
Neuro-Symbolic Execution: The Feasibility of an Inductive Approach to Symbolic Execution.
1
0.35
2018
BesFS: Mechanized Proof of an Iago-Safe Filesystem for Enclaves.
0
0.34
2018
Privado: Practical and Secure DNN Inference.
1
0.35
2018
Panoply: Low-TCB Linux Applications With SGX Enclaves.
23
0.67
2017
Preventing Page Faults from Telling Your Secrets.
46
1.32
2016
Data-Oriented Programming: On the Expressiveness of Non-control Data Attacks
47
1.05
2016
Auto-patching DOM-based XSS at scale
8
0.61
2015
DexterJS: robust testing platform for DOM-based XSS vulnerabilities
7
0.51
2015
Preventing Your Faults From Telling Your Secrets: Defenses Against Pigeonhole Attacks
6
0.50
2015
A model counter for constraints over unbounded strings
11
0.51
2014
AUTOCRYPT: enabling homomorphic computation on servers to protect sensitive web content
10
0.64
2013
1
