research
∙
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...
share
research
∙
02/25/2023
RETEXO: Scalable Neural Network Training over Distributed Graphs
Graph neural networks offer a promising approach to supervised learning ...
research
∙
01/26/2023
User-Customizable Transpilation of Scripting Languages
A transpiler converts code from one programming language to another. Man...
research
∙
09/18/2022
Membership Inference Attacks and Generalization: A Causal Perspective
Membership inference (MI) attacks highlight a privacy weakness in presen...
research
∙
05/06/2022
LPGNet: Link Private Graph Networks for Node Classification
Classification tasks on labeled graph-structured data have many importan...
research
∙
10/13/2021
SmashEx: Smashing SGX Enclaves Using Exceptions
Exceptions are a commodity hardware functionality which is central to mu...
research
∙
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...
research
∙
06/22/2021
SynGuar: Guaranteeing Generalization in Programming by Example
Programming by Example (PBE) is a program synthesis paradigm in which th...
research
∙
05/19/2021
Private Hierarchical Clustering in Federated Networks
Analyzing structural properties of social networks, such as identifying ...
research
∙
03/29/2021
Dynamic Binary Translation for SGX Enclaves
Enclaves, such as those enabled by Intel SGX, offer a hardware primitive...
research
∙
02/04/2021
Refined Grey-Box Fuzzing with SIVO
We design and implement from scratch a new fuzzer called SIVO that refin...
research
∙
10/16/2020
Elasticlave: An Efficient Memory Model for Enclaves
Trusted-execution environments (TEE), like Intel SGX, isolate user-space...
research
∙
09/02/2020
Binary Compatibility For SGX Enclaves
Enclaves, such as those enabled by Intel SGX, offer a powerful hardware ...
research
∙
08/11/2020
Localizing Patch Points From One Exploit
Automatic patch generation can significantly reduce the window of exposu...
research
∙
06/16/2020
EPIE Dataset: A Corpus For Possible Idiomatic Expressions
Idiomatic expressions have always been a bottleneck for language compreh...
research
∙
04/28/2020
Epione: Lightweight Contact Tracing with Strong Privacy
Contact tracing is an essential tool in containing infectious diseases s...
research
∙
02/17/2020
Scalable Quantitative Verification For Deep Neural Networks
Verifying security properties of deep neural networks (DNNs) is becoming...
research
∙
06/25/2019
Quantitative Verification of Neural Networks And its Security Applications
Neural networks are increasingly employed in safety-critical domains. Th...
research
∙
01/04/2019
Practical Verifiable In-network Filtering for DDoS defense
In light of ever-increasing scale and sophistication of modern DDoS atta...
research
∙
11/30/2018
OHIE: Blockchain Scaling Made Simple
Blockchain protocols, originating from Bitcoin, have established a new m...
research
∙
10/27/2018
Exploiting The Laws of Order in Smart Contracts
We investigate a family of bugs in blockchain-based smart contracts, whi...
research
∙
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...
research
∙
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...
research
∙
02/16/2018