Prateek Saxena | DeepAI

AI Chat

Featured Co-authors

Dawn Song
130 publications
Bo Wang
117 publications
Bryan Hooi
67 publications
Kuldeep S. Meel
49 publications
Zhen Dong
36 publications
Reza Shokri
30 publications
Abhik Roychoudhury
24 publications
Shruti Tople
19 publications
Vyas Sekar
19 publications
Shweta Shinde
17 publications
Ilya Sergey
16 publications

∙ 02/27/2023

Capstone: A Capability-based Foundation for Trustless Secure Memory Access (Extended Version)

Capability-based memory isolation is a promising new architectural primi...

0 Jason Zhijingcheng Yu, et al. ∙

∙ 02/25/2023

RETEXO: Scalable Neural Network Training over Distributed Graphs

Graph neural networks offer a promising approach to supervised learning ...

0 Aashish Kolluri, et al. ∙

∙ 01/26/2023

User-Customizable Transpilation of Scripting Languages

A transpiler converts code from one programming language to another. Man...

0 Bo Wang, et al. ∙

∙ 09/18/2022

Membership Inference Attacks and Generalization: A Causal Perspective

Membership inference (MI) attacks highlight a privacy weakness in presen...

0 Teodora Baluta, et al. ∙

∙ 05/06/2022

LPGNet: Link Private Graph Networks for Node Classification

Classification tasks on labeled graph-structured data have many importan...

0 Aashish Kolluri, et al. ∙

∙ 10/13/2021

SmashEx: Smashing SGX Enclaves Using Exceptions

Exceptions are a commodity hardware functionality which is central to mu...

0 Jinhua Cui, et al. ∙

∙ 08/03/2021

Using Throughput-Centric Byzantine Broadcast to Tolerate Malicious Majority in Blockchains

Fault tolerance of a blockchain is often characterized by the fraction f...

0 Ruomu Hou, et al. ∙

∙ 06/22/2021

SynGuar: Guaranteeing Generalization in Programming by Example

Programming by Example (PBE) is a program synthesis paradigm in which th...

0 Bo Wang, et al. ∙

∙ 05/19/2021

Private Hierarchical Clustering in Federated Networks

Analyzing structural properties of social networks, such as identifying ...

0 Aashish Kolluri, et al. ∙

∙ 03/29/2021

Dynamic Binary Translation for SGX Enclaves

Enclaves, such as those enabled by Intel SGX, offer a hardware primitive...

0 Jinhua Cui, et al. ∙

∙ 02/04/2021

Refined Grey-Box Fuzzing with SIVO

We design and implement from scratch a new fuzzer called SIVO that refin...

0 Ivica Nikolic, et al. ∙

∙ 10/16/2020

Elasticlave: An Efficient Memory Model for Enclaves

Trusted-execution environments (TEE), like Intel SGX, isolate user-space...

0 Zhijingcheng Yu, et al. ∙

∙ 09/02/2020

Binary Compatibility For SGX Enclaves

Enclaves, such as those enabled by Intel SGX, offer a powerful hardware ...

0 Shweta Shinde, et al. ∙

∙ 08/11/2020

Localizing Patch Points From One Exploit

Automatic patch generation can significantly reduce the window of exposu...

0 Shiqi Shen, et al. ∙

∙ 06/16/2020

EPIE Dataset: A Corpus For Possible Idiomatic Expressions

Idiomatic expressions have always been a bottleneck for language compreh...

0 Prateek Saxena, et al. ∙

∙ 04/28/2020

Epione: Lightweight Contact Tracing with Strong Privacy

Contact tracing is an essential tool in containing infectious diseases s...

0 Ni Trieu, et al. ∙

∙ 02/17/2020

Scalable Quantitative Verification For Deep Neural Networks

Verifying security properties of deep neural networks (DNNs) is becoming...

0 Teodora Baluta, et al. ∙

∙ 06/25/2019

Quantitative Verification of Neural Networks And its Security Applications

Neural networks are increasingly employed in safety-critical domains. Th...

0 Teodora Baluta, et al. ∙

∙ 01/04/2019

Practical Verifiable In-network Filtering for DDoS defense

In light of ever-increasing scale and sophistication of modern DDoS atta...

0 Deli Gong, et al. ∙

∙ 11/30/2018

OHIE: Blockchain Scaling Made Simple

Blockchain protocols, originating from Bitcoin, have established a new m...

0 Haifeng Yu, et al. ∙

∙ 10/27/2018

Exploiting The Laws of Order in Smart Contracts

We investigate a family of bugs in blockchain-based smart contracts, whi...

0 Aashish Kolluri, et al. ∙

∙ 07/02/2018

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

Symbolic execution is a powerful technique for program analysis. However...

0 Shiqi Shen, et al. ∙

∙ 07/02/2018

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

New trusted computing primitives such as Intel SGX have shown the feasib...

0 Shweta Shinde, et al. ∙

∙ 02/16/2018

Finding The Greedy, Prodigal, and Suicidal Contracts at Scale

Smart contracts---stateful executable objects hosted on blockchains like...

0 Ivica Nikolic, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world